For the most recent entries see the Petri Nets Newsletter.

Reduction and synthesis of live and bounded free-choice Petri nets.

Esparza, J.

In: Information and Computation, Vol. 114, No. 1, pages 50-87. 1994.

Abstract: This paper provides reduction rules that make it possible to reduce all and only live and bounded free-choice Petri nets to a circuit containing one place and one transition. The reduction algorithm is shown to require polynomial time in the size of the system. The reduction rules can be transformed into synthesis rules, which can be used for the stepwise construction of large systems.

Keywords: boundedness property, free-choice Petri nets, liveness property, net reductions.

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

Back to the Petri Nets Bibliography