Top-down synthesis of live and bounded free choice nets
- Cite this paper as:
- Esparza J., Silva M. (1991) Top-down synthesis of live and bounded free choice nets. In: Rozenberg G. (eds) Advances in Petri Nets 1991. ICATPN 1990. Lecture Notes in Computer Science, vol 524. Springer, Berlin, Heidelberg
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.
KeywordsFree Choice nets synthesis structure theory
Unable to display preview. Download preview PDF.