Dear Petri-netters
We are pleased to announce the release of CPN-AMI 3.2. This new version brings:
new:
* aside of MACAO that runs on Macintosh, we also propose COLOANE, a
new User interface on top of Eclipse is also available on numerous
platforms running Eclipse.
So, CPN-AMI 3.2 can be operated on:
- MacOS (Macao or Coloane and the tool server)
- Linux (Coloane and the tool server)
- Windows (Coloane, the tool server being in another unix machine)
New screencast tutorials to illustrate the use of MACAO, COLOANE and CPN-AMI.
updated:
* Bug fixed to the PetriScript interpretor
* Bug fixed in the export to GreaSPN (it could affect LTL model
checking on the symbolic reachability graph)
* Better support of the PNML format (standard ISO/IEC 15909) with
both export and import function for P/T nets (Colored nets should
come soon),
.. and all the usual features of CPN-AMI.
--
ATTENTION: new address for the LIP6!
104 Avenue du Président Kennedy
75016 Paris
--------------------------------------------------------------------------
Fabrice Kordon Laboratoire d'Informatique de Paris 6/MoVe
Tel: +33 1 44 27 88 20 Université Pierre & Marie Curie
Fax: +33 1 44 27 87 71 4 place Jussieu, 75252 Paris Cedex 05
http://pagesperso-systeme.lip6.fr/Fabrice.Kordon/
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
