Dear Petri-netters
We are pleased to announce the release of CPN-AMI 3.1. This new version brings:
new:
* LTL model checking on the symbolic reachability graph (thanks to
the GreatSPN firing module, jointly developped with the University of
Torino),
updated:
* 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),
* Bug fixed to the PetriScript interpretor
* Colored Petri Net unfolder (bug fixed),
* Much better performances when managing huge results from tools
... and all the usual features of CPN-AMI.
More information and distribution are available on http://www.lip6.fr/cpn-ami
--
--------------------------------------------------------------------------
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://www-src.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] ]]
