Dear all,
We are please to announce the latest version of CPN-AMI (3.0).
CPN-AMI is a tool for creating and analyzing high level Petri nets,
and includes many analysis possibilities, from structural
computations to full model-checking.
This is a major release with a lot of work done on the internals. It
now runs on both Linux and MacOS (for the application server). The
User interface runs on MacOS 9 and X. Thus, there is now a one
machine solution on MacOS X. Thus CPN-AMI and the graphical interface
Macao can now run on a single MacOS machine.
On the Petri net analysis side, version 3.0 also introduces new
features on top of those of CPN-AMI 2.5.2
NEW: a first support of the symbolic reachability graph, in
particular, automatic computation of symmetries ; this service relies
on GreatSPN. This prepares a new model checker on the symbolic
reachability graph to come in a later version.
NEW: a new CPN unfolder based on Data decision Diagrams that supports
very large models (still in beta)
NEW: partial support of the PNML standard (ISO/IEC 15909 standard)
UPDATED: modeling services now embed a PetriScript language to
automatically generate model patterns (such as a N-FIFO) and
automatically assemble Petri net components.
All details and the distribution are provided on:
http://www.lip6.fr/cpn-ami
Best regards.
--
--------------------------------------------------------------------------
Fabrice Kordon Laboratoire d'Informatique de Paris 6/SRC
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] ]]
