1. Snow: Symmetry aNalysis Over Well-Formed nets
This tool allows symmetry analysis of high level Petri Nets and produces a description of the symmetries suitable for exploitation by GreatSPN and associated tools.
1.1. Obtaining Snow
Snow is stored under CVS on minium.lip6.fr
We will also provide packaged distributions as soon as possible. There is a small problem linked to a dependency on FrameKit that needs to be solved first.
For now you can contact Yann.Thierry-Mieg@lip6.fr to obtain the latest version.
1.2. What does Snow do ?
It runs a structural anlysis of your model, and computes an optimal separation of classes into static subclassses, and of static subclasses into dynamic subclasses.
This allows construction of reduced state-space graphs using GreatSPN family tools, or soon Set Decision Diagrams.
1.3. Using Snow
Snow allows the following options :
-m path: specifies the path to cami model
-p path: specifies the path to properties file in TobsFormat
-d directory: specifies the directory in which to generate .def .net files (default "./FK_MNGR")
-f filter: specifies the transitions to parse in the properties file filter is a list of comma separated atomic property names
Yann Thierry-Mieg, Claude Dutheillet, and Isabelle Mounier.
Automatic symmetry detection in well-formed nets.
In Wil van der Aalst and Eike Best, editors, Proceedings of the
24th International Conference on Application and Theory of Petri Nets
(ICATPN'03), volume 2679 of Lecture Notes in Computer Science, pages
82-101, Eindhoven, The Netherlands, June 2003. ©Springer-Verlag.