For the most recent entries see the Petri Nets Newsletter.

Top-Down Synthesis of Live and Bounded Free Choice Nets.

Esparza, Javier; Silva, Manuel

In: Proceedings of the 11th International Conference on Application and Theory of Petri Nets, 1990, Paris, France, pages 63-83. 1990.

Also in: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 524; Advances in Petri Nets 1991, pages 118-139. Berlin, Germany: Springer-Verlag, 1991.

Abstract: The paper provides a set of rules for the stepwise synthesis of all and only live and bounded Free Choice Nets. The starting point are nets composed by a circuit containing one place and one transition.

Keywords: top-down synthesis (of) live (and) safe free choice net; bipolar scheme; structure theory.

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

Back to the Petri Nets Bibliography