The synthesis problem of Petri nets

  • Jörg Desel
  • Wolfgang Reisig
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 665)


The problem of deriving concurrent operational models from sequentially observed behaviour is solved for elementary Petri nets. Labelled directed graphs are used to represent behaviour. A new characterization of graphs representing the behaviour of some elementary Petri net is given. It is shown how the set of all nets exhibiting the behaviour given by a graph can be constructed and that, if this set is not empty, it contains a net with a polynomial number of elements in the size of the graph.


State Transition Transition System State Graph Synthesis Problem Reachable State 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    J. Desel, W. Reisig: The Synthesis Problem of Petri Nets. Technische Universität München, SFB-Bericht 342/20/92 A (1992)Google Scholar
  2. [2]
    A. Ehrenfeucht, G. Rozenberg: Partial (Set) 2-Structures. Part I, II. Acta Informatica 27, pp. 315–368 (1990)Google Scholar
  3. [3]
    R. Janicki: Transforming Sequential Systems into Concurrent Systems. Theoretical Computer Science 36, pp. 27–58 (1985)Google Scholar
  4. [4]
    B. Krieg: Petrinetze und Zustandsgraphen. Institut für Informatik, Universität Hamburg, IFI-Bericht B-29/77 (1977)Google Scholar
  5. [5]
    C. Lengauer, E.C.R. Hehner: A methodology for programming with concurrency: An informal presentation. Science of Computer Programming 2, pp. 1–18 (1982)Google Scholar
  6. [6]
    M. Mukund: A transition system characterization of Petri nets. SPIC science foundation, school of mathematics, Madras, internal report TCS-91-2 (1991)Google Scholar
  7. [7]
    P.S. Thiagarajan: Elementary Net Systems. Advances in Petri Nets 1986, Part I, Lecture Notes in Computer Science 254, Springer-Verlag, pp. 26–59 (1987)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Jörg Desel
    • 1
  • Wolfgang Reisig
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenMünchen 2

Personalised recommendations