Detecting and Exploiting Data Type Symmetries of Algebraic System Nets during Reachability Analysis

Reference:

Tommi Junttila. Detecting and exploiting data type symmetries of algebraic system nets during reachability analysis. Research Report A57, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 1999.

Keywords:

Symmetry, reachability analysis, Petri nets, algebraic system nets

Suggested BibTeX entry:

@techreport{Junttila:A57,
    address = {Espoo, Finland},
    author = {Tommi Junttila},
    institution = {Helsinki University of Technology, Laboratory for Theoretical Computer Science},
    month = {December},
    number = {A57},
    pages = {67},
    title = {Detecting and Exploiting Data Type Symmetries of Algebraic System Nets during Reachability Analysis},
    type = {Research Report},
    year = {1999},
}