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.


Transition System Data Domain Relation Symbol Atomic Step Assertion System 
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. /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