High Level Petri Nets and Distributed Termination

  • Horst Müller


The paper presents a high level Petri net (HLPN) specification of an algorithm for global termination detection of a system of parallel processes. The correctness is proved using invariants and an assertion system.




Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. /BeFe/.
    E. Best, C. Fernández: Notations and Terminology on Petri Net Theory. Petri Net Newsletter 23 (1986)Google Scholar
  2. /BeMa/.
    C. Beilken, F. Mattern, M. Reinfrank: Verteilte Terminierung-ein wesentlicher Aspekt der Kontrolle in verteilten Systemen. Bericht Nr. 41/85 Uni Kaiserslautern, FB Informatik SFB124 (1985)Google Scholar
  3. /GeLa/.
    H.J. Genrich, K. Lautenbach: System Modelling with High Level Petri Nets. Theor. Comp. Sc. 13, 109–136 (1981)CrossRefMATHMathSciNetGoogle Scholar
  4. /Jen/.
    K. Jensen: Coloured Petri Nets and the Invariant-Method. Theor. Comp. Sc. 14, 317–336 (1981)CrossRefMATHGoogle Scholar
  5. /Kos/.
    S.R. Kosaraju: Decidability of reachability in vector addition systems. Proc.14th Ann.Symp. on Theory of Comp. (1982)Google Scholar
  6. /Ma/.
    F. Mattern: New Algorithms for Distributed Termination Detection in Asyncronous Message Passing Systems. Report 42/85 Uni Kaiserslautern, FB Informatik SFB124 (1985)Google Scholar
  7. /Ma2/.
    F. Mattern: Das Märchen von der verteilten Terminierung. Informatik-Spektrum 8, 342–343 (1985)Google Scholar
  8. /Min/.
    L. Minsky: Computation, Finite and Infinite Machines. Prentice Hall (1967)Google Scholar
  9. /Mü/.
    H. Müller: Reachability Analysis with Assertion Systems. In: Theoretical Computer Science, 5th GI-Conference Karlsruhe 1981. Ed.: P. Deussen. Springer Lect. Notes in Comp. Sc. 104, 214–223 (1981)Google Scholar
  10. /Rei/.
    W. Reisig: Petri Nets, EATCS Monographs on Theoretical Comp. Science, Vol. 4, Springer (1985)Google Scholar
  11. /Sif/.
    J. Sifakis: Global and Local Invariants in Transition Systems. Information and Control 53, 91–107 (1982)CrossRefMATHMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Horst Müller
    • 1
  1. 1.Institut für Mathematische Maschinen und Datenverarbeitung (III)Universität Erlangen-NürnbergErlangenGermany

Personalised recommendations