International Conference on Application and Theory of Petri Nets

ICATPN 1990: Advances in Petri Nets 1991 pp 118-139

Top-down synthesis of live and bounded free choice nets

  • Javier Esparza
  • Manuel Silva
Conference paper

DOI: 10.1007/BFb0019972

Volume 524 of the book series Lecture Notes in Computer Science (LNCS)
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

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

Free Choice nets synthesis structure theory 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1991

Authors and Affiliations

  • Javier Esparza
    • 1
  • Manuel Silva
    • 2
  1. 1.Institut für InformatikUniversität HildesheimHildesheimGermany
  2. 2.Dpt. de Ingeniería Eléctrica e InformáticaUniversidad de ZaragozaZaragozaSpain