In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 674; Advances in Petri Nets 1993, pages 126-147. Springer-Verlag, 1993.
Abstract: In this paper we propose a new solution to the problem of finding generating families of siphons (structural dead-locks in classical terminology), traps and st-components in Petri Nets. These families are obtained as solutions of some systems of linear inequalities. Their transformation into a system of linear equations allows to interpret the technique as follows: traps (siphons, st-components) of a net are deduced from the support of p-semiflows of a transformed net. One of the basic advantages of the proposed technique is its direct applicability to colored nets, allowing the symbolic computation of traps (siphons, st-components), whose definitions are introduced in this work.
Keywords: Petri net; colored Petri net; siphon; trap; st-component; p-semiflow.