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