Advertisement

On the mutual simulatability of different types of Petri nets

  • Peter H. Starke

Abstract

In this paper we consider the relative power of different types of Petri nets, namely Place/Transition nets, Coloured nets, Relation nets, Predicate/Event nets, Predicate/Transition nets, Self-modifying nets and Fifo nets. We do this by investigating whether there are possibilities to simulate one type of nets by other ones or not.

Keywords

Empty Word Counter Machine Local Simulation Reachable Marking Complement Place 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    D. Corbeel, J.C. Gentina, C. Vercauter: Application of an extension of Petri nets to modelization and control of production processes. 6. European Workshop on Applications and Theory of Petri nets, Espoo 1985.Google Scholar
  2. [2]
    A. Finkel: About monogenous fifo Petri nets. 3. European Workshop on Applications and Theory of Petri nets, Varenna, 1982.Google Scholar
  3. [3]
    M. Flynn, T. Agerwala: Comments on capabilities, limitations and “correctness” of Petri nets. Computer Architecture News, Vol. 2 (1973) No. 4.Google Scholar
  4. [4]
    H. Genrich, K. Lautenbach: The analysis of distributed systems by means of predicate/transition nets. Lect. Notes Comp. Sci. Vol. 70 (1979) 123–146.CrossRefMathSciNetGoogle Scholar
  5. [5]
    M. Hack: Decision Problems for Petri Nets and Vector Addition Systems. MIT-Project MAC, TM-59 (1975).Google Scholar
  6. [6]
    M. Hack: Petri net languages. MIT Project MAC, Comp. Struct. Group Memo 124 (1975).Google Scholar
  7. [7]
    K. Jensen: High-Level Petri nets. Informatik-Fachberichte Bd. 66 (1983) 166–180.CrossRefGoogle Scholar
  8. [8]
    H. Müller: Prompt and hangupfree simulations of place/transition nets by pure nets without multiple arcs. Petri Net Newsletter No. 15 (1983) 16–21.Google Scholar
  9. [9]
    W. Reisig: Petrinetze. Springer-Verlag, Berlin-Heidelberg-New York, 1982.MATHGoogle Scholar
  10. [10]
    P.H. Starke: Monogenous fifo nets and Petri nets are equivalent. Bull. EATCS No. 21 (1983).Google Scholar
  11. [11]
    P.H. Starke: Petri-Netze. VEB Deutscher Verlag der Wissenschaften, Berlin 1980.MATHGoogle Scholar
  12. [12]
    G. Ullrich: Der Entwurf von Steuerstrukturen fuer parallele Ablaeufe mit Hilfe von Petri-Netzen. Universitaet Hamburg, Institut f. Informatik, IFI-HH-B-36/77 (1976).Google Scholar
  13. [13]
    R. Valk: Self-modifying nets. Univ. Hamburg, Inst. f. Informatik, IFI-HH-B-34/77 (1977).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Peter H. Starke
    • 1
  1. 1.Sektion Mathematik der Humboldt-UniversitaetBerlin, PSF 1297Germany

Personalised recommendations