Date: August 1996
Pages: 40
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.