Reference:
Tommi Junttila. New canonical representative marking algorithms for place/transition-nets. Research Report A75, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, October 2002.
Keywords:
Reachability analysis, Place/Transition-nets, symmetry
Suggested BibTeX entry:
@techreport{Junttila:A75,
address = {Espoo, Finland},
author = {Tommi Junttila},
institution = {Helsinki University of Technology, Laboratory for Theoretical Computer Science},
month = {October},
number = {A75},
pages = {37},
title = {New Canonical Representative Marking Algorithms for Place/Transition-Nets},
type = {Research Report},
year = {2002},
}
|