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 :

1.4. References

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.

Snow (last edited 2004-06-17 15:27:12 by AlexandreDuretLutz)

All text is available under the terms of the GNU Free Documentation License, see SpotWikiLicense for details.