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).