In: Desel, J.; Kemper, P.; Kindler, E.; Oberweis, A.: Forschungsbericht, No. 694: 5. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 101-106. Universität Dortmund, Fachbereich Informatik, 1998.
Abstract: Various approaches to incorporate known symmetries of ordinary Petri nets into the reachability analysis are sketched and evaluated.