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.
Back to the Petri Nets Bibliography