Computational Complexity of the Place/Transition-Net Symmetry Reduction Method

Reference:

Tommi Junttila. Computational complexity of the place/transition-net symmetry reduction method. Research Report A59, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, April 2000.

Keywords:

Petri nets, symmetry

Suggested BibTeX entry:

@techreport{Junttila:A59,
    address = {Espoo, Finland},
    author = {Tommi Junttila},
    institution = {Helsinki University of Technology, Laboratory for Theoretical Computer Science},
    month = {April},
    number = {A59},
    pages = {16},
    title = {Computational Complexity of the Place/Transition-Net Symmetry Reduction Method},
    type = {Research Report},
    year = {2000},
}