On the Symmetry Reduction Method for Petri Nets and Similar Formalisms

Reference:

Tommi Junttila. On the symmetry reduction method for petri nets and similar formalisms. Research Report A80, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, September 2003.

Keywords:

State space analysis, symmetry, Petri nets, place/transition nets, algebraic system nets, the Mur system

Suggested BibTeX entry:

@techreport{Junttila:A80,
    address = {Espoo, Finland},
    author = {Tommi Junttila},
    institution = {Helsinki University of Technology, Laboratory for Theoretical Computer Science},
    month = {September},
    number = {A80},
    pages = {155},
    title = {On the Symmetry Reduction Method for Petri Nets and Similar Formalisms},
    type = {Research Report},
    year = {2003},
}