Synthesis rules for Petri nets, and how they lead to new results

  • Javier Esparza
Selected Presentations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 458)


Three kits of rules for top-down synthesis of Petri nets are introduced. The properties and expressive power of the kits are compared. They are then used to characterise the class of structurally live Free Choice nets by means of the rank of the incidence matrix.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Best, E.: Structure Theory of Petri Nets: the Free Choice Hiatus, Advanced Course on Petri Nets, Bad Honnef, Lecture Notes on Computer Science 254–255, Springer (1987).Google Scholar
  2. [2]
    Campos, J; Chiola, G.: Private communication (1989).Google Scholar
  3. [3]
    Esparza, J.; Silva, M.: Top-down Synthesis of Live & Bounded Free Choice Nets. To appear in: Proceedings of the XI International Conference on Applications and Theory of Petri Nets, Paris (June 1990).Google Scholar
  4. [4]
    Esparza, J.: Structure Theory of Free Choice nets. Ph.D. Thesis, University of Zaragoza (June 1990).Google Scholar
  5. [5]
    Genrich, H.; Thiagarajan, P.S.: A theory of bipolar synchronisation schemes, Theoretical Computer Science, 30, pp. 241–318 (1984).Google Scholar
  6. [6]
    Jones, N.; Landweber, L.; Lien, Y.: Complexity of some Problems in Petri Nets, Theoretical Computer Science Vol. 4, pp. 277–299 (1977).Google Scholar
  7. [7]
    Hack, M.H.T.: Analysis of Production Schemata by Petri Nets. TR-94 MIT, Boston (1972, corrected June 1974).Google Scholar
  8. [8]
    Reisig, W.: Petri Nets. An Introduction. EATCS monographs on Theoretical Computer Science, Vol. 4 (1985).Google Scholar
  9. [9]
    Silva, M.: Private communication (1989).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Javier Esparza
    • 1
  1. 1.Institut für InformatikUniversität HildesheimHildesheim

Personalised recommendations