How to Calculate Symbolically Siphons and Traps for some Algebraic Petri nets

Reference:

Karsten Schmidt. How to calculate symbolically siphons and traps for some algebraic Petri nets. Research Report A39, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, August 1996.

Abstract:

We present a symbolic approach to the calculation of siphons and traps for algebraic Petri nets where the color domains are specified without equations and with at most unary operation symbols.

Keywords:

petri nets, structural analysis, symbolic analysis

Suggested BibTeX entry:

@techreport{HUT-TCS-A39,
    address = {Espoo, Finland},
    author = {Karsten Schmidt},
    institution = {Helsinki University of Technology, Digital Systems Laboratory},
    month = {August},
    number = {A39},
    pages = {40},
    title = {How to Calculate Symbolically Siphons and Traps for some Algebraic {P}etri nets},
    type = {Research Report},
    year = {1996},
}