Advertisement

Observing partial order runs of Petri Nets

  • Astrid Kiehn
Chapter
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1337)

Abstract

A reformulation of the standard causal semantics for Petri nets is proposed which allows one to reconstruct a partial order run from sequential observations without any knowledge of the underlying net structure or its current marking. It provides a new solution to how Mazurkiewicz's trace theory can be generalized to unbounded nets.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BDKP91]
    E. Best, R. Devillers, A. Kiehn, and L. Pomello. Concurrent bisimulations in Petri nets. Acta Informatica, (28):231–264, 1991.CrossRefMathSciNetMATHGoogle Scholar
  2. [DD89]
    P. Darondeau and P. Degano. Causal trees. In Proceedings of ICALP 89, number 372 in Lecture Notes in Computer Science, pages 234–248, 1989.Google Scholar
  3. [DNM88]
    P. Degano, R. De Nicola, and U. Montanari. A distributed operational semantics for CCS based on condition/event systems. Acta Informatica, 26:59–91, 1988.MathSciNetCrossRefMATHGoogle Scholar
  4. [Die90]
    V. Diekert. Combinatorics of Traces. number 454 in Ledure Notes in Computer Science, 1990.Google Scholar
  5. [GR83]
    U. Goltz and W. Reisig. The non-sequential behaviour of Petri nets. Information and Control, 57(2–3): 125–147, 1983.CrossRefMathSciNetMATHGoogle Scholar
  6. [HKT92]
    P. W. Hoogers, H. C. M. Kleijn, and P. S. Thiagarajan. A trace semantics for Petri nets. In W. Kuich, editor, Proceedings of ICALP 92, number 623 in Lecture Notes in Computer Science, pages 595–604, 1992.Google Scholar
  7. [Kie94]
    A. Kiehn. Comparing locality and causality based equivalences. Acta Informatica, 31:697–718, 1994.MATHCrossRefMathSciNetGoogle Scholar
  8. [Maz77]
    A. Mazurkiewicz. Concurrent program schemes and their interpretation. Report DAIMI PB-78, Aarhus University, 1977.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Astrid Kiehn
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenMünchenGermany

Personalised recommendations