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.

In: Proceedings of the 12th International Conference on Application and Theory of Petri Nets, 1991, Gjern, Denmark, pages 145-164. June 1991.

Abstract: The authors propose a new solution to the problem of finding generating families of siphons (dead-locks in classical terminology), traps and siphon/trap-components (st-components) in Petri nets. These families are obtained as solutions of some systems of linear inequalities. Their transformation into a system of linerar equations allows to interpret the technique as follows: traps (siphons, st-components) of a net are deduced from the supports of p-semiflows of a transformed net. One of the advantages of the proposed technique is its direct applicability to colored nets, allowing the symbolic computation of traps, siphons, and st-components.

Keywords: generating family (of) siphon(s), trap(s), siphon/trap-component(s); p-semiflow support; coloured net; symbolic computation (of) siphon(s), trap(s), siphon/trap-component(s).

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

Back to the Petri Nets Bibliography