On the Symmetry Reduction Method for Petri Nets and Similar Formalisms (2003)
AUTHORS:
Junttila Tommi
@techreport{ Junttila:A80, author = "Junttila, Tommi", title = "On the Symmetry Reduction Method for Petri Nets and Similar Formalisms", year = "2003", number = "A80", institution = "Helsinki University of Technology, Laboratory for Theoretical Computer Science", flags = "copy SA-47754 SA-43963 SA-53695", address = "Espoo, Finland", keywords = "State space analysis, symmetry, Petri nets, place/transition nets, algebraic system nets, the Mur$\varphi$ system", month = "September", type = "Research Report", pages = "155" }