Advertisement

Quality criteria for partial order semantics of place/transition-nets

  • Robert Gold
  • Walter Vogler
Communications
Part of the Lecture Notes in Computer Science book series (LNCS, volume 452)

Abstract

This paper discusses a number of properties a partial order semantics should have in order to support the modular construction of nets and to deal with finite capacities. Characterizations for these properties are shown, and a new semantics is introduced which seems to be the natural choice if a certain set of properties is required.

Keywords

Partial Order Composition Operator Firing Sequence Finite Capacity Compositional Semantic 
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. [Ber86]
    Berthelot, G.: Transformations and Decompositions of Nets; in: W. Brauer, W. Reisig, G. Rozenberg (eds.): Petri Nets: Central Models and Their Properties. Springer 1987, LNCS 254, 359–376Google Scholar
  2. [GV90]
    Gold, R., Vogler, W.: Quality Criteria for Partial Order Semantics of Place/Transition-Nets; Techn. Univ. München, Inst. für Informatik Report TUM-I9004, January 1990Google Scholar
  3. [GR83]
    Goltz, U., Reisig, W.: The Non-Sequential Behaviour of Petri Nets; Information and Control 57 (1983) 125–147Google Scholar
  4. [Gra81]
    Grabowski, J.: On Partial Languages; Ann. Soc. Math. Pol., Fundamenta Informaticae IV.2 (1981) 428–498Google Scholar
  5. [Hac76]
    Hack, M.: Petri Net Languages; MIT, Laboratory Computer Science, TR-159, 1976Google Scholar
  6. [HRT89]
    Hirshfeld, J., Rabinovich, A., Trakhtenbrot, B.A.: Discerning Causality in Interleaving Behaviour; Tel Aviv Univ., School of Math. Sci., Technical Report 133/89, 1989Google Scholar
  7. [Kie88]
    Kiehn, A.: On the Interrelation between Synchronized and Non-Synchronized Behaviour of Petri Nets; J. Inf. Process. Cybern. EIK 24 (1988) 3–18Google Scholar
  8. [Maz86]
    Mazurkiewicz, A.: Trace Theory; in: W. Brauer, W. Reisig, G. Rozenberg (eds.): Petri Nets: Central Models and Their Properties. Springer 1987, LNCS 254, 279–324Google Scholar
  9. [Maz88]
    Mazurkiewicz, A.: Compositional Semantics of Pure Place/Transition Systems; Fundamenta Informatica XI (1988) 331–356Google Scholar
  10. [Pra86]
    Pratt, V.: Modelling Concurrency with Partial Orders; Int. J. of Parallel Programming 15, 1986Google Scholar
  11. [Sta81]
    Starke, P.H.: Processes in Petri Nets; J. Inf. Process. Cybern. EIK 17 (1981) 389–416Google Scholar
  12. [Vog90]
    Vogler, W.: Failures Semantics Based on Intervall Semiwords Is a Congruence for Refinements; Proc. STACS 90, LNCS 415, 285–297Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Robert Gold
    • 1
  • Walter Vogler
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenMünchen 2

Personalised recommendations