For the most recent entries see the Petri Nets Newsletter.

A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri Nets.

Ezpeleta, J.; Couvreur, J.M.; Silva, M.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography