Giovanni Chiola. Manual and Automatic Exploitation of Symmetries in SPN Models. In Jörg Desel, Manuel Silva, editors, Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN 98, Lisbon, Portugal, June 22-26, 1998, Proceedings. Volume 1420 of Lecture Notes in Computer Science, pages 28-43, Springer, 1998. [doi]
Abstract is missing.