Advertisement

Towards reachability trees for high-level petri nets

  • Peter Huber
  • Arne M. Jensen
  • Leif O. Jepsen
  • Kurt Jensen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 188)

Keywords

Symmetry Type Proof Rule Philosopher System Firing Sequence Hash Code 
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]
    H.J. Genrich and K. Lautenbach: System modelling with high-level Petri nets, Theoretical Computer Science 13 (1981), 109–136.CrossRefGoogle Scholar
  2. [2]
    M. Hack: Decidability questions for Petri Nets. TR 161, MIT, 1976.Google Scholar
  3. [3]
    P. Huber, A.M. Jensen, L.O. Jepsen and K. Jensen: Towards reach-ability trees for high-level Petri nets. DAIMI PB-174, Computer Science Department, Aarhus University, 1984. Identical to the present paper, except for 3 appendices which contain the proof of lemmas 1–6, analysis of two examples, and our algorithm to test two ω-markings for equivalence.Google Scholar
  4. [4]
    K. Jensen: Coloured Petri nets and the invariant-method. Theoretical Computer Science 14 (1981), 317–336.CrossRefGoogle Scholar
  5. [5]
    K. Jensen: How to find invariants for coloured Petri nets. In: J. Gruska, M. Chytill (eds.): Mathematical Foundations of Computer Science 1981, Lecture Notes in Computer Science, vol. 118, Springer-Verlag, 1981, 327–338.Google Scholar
  6. [6]
    K. Jensen: High-level Petri nets. In: A. Pagnoni and G. Rozenberg (eds.): Applications and Theory of Petri Nets, Informatik-Fachberichte vol. 66, Springer-Verlag 1983, 166–180.Google Scholar
  7. [7]
    R.M. Karp and R.E. Miller: Parallel program schemata. Journal of Computer and System Sciences, vol. 3 (1969), 147–195.Google Scholar
  8. [8]
    J.L. Peterson: Petri net theory and the modellings of systems. Prentice-Hall 1981.Google Scholar
  9. [9]
    W. Reisig: Petri nets with individual tokens. In: A. Pagnoni and G. Rozenberg (eds.): Applications and Theory of Petri Nets, Informatik-Fachberichte vol. 66, Springer-Verlag 1983, 229–249.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Peter Huber
    • 1
  • Arne M. Jensen
    • 1
  • Leif O. Jepsen
    • 1
  • Kurt Jensen
    • 1
  1. 1.Computer Science DepartmentAarhus University Ny MunkegadeAarhus CDenmark

Personalised recommendations