New Canonical Representative Marking Algorithms for Place/Transition-Nets

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},
}