Skip to main content
SpringerLink
Log in
Book cover

International Conference on Application and Theory of Petri Nets

ICATPN 1995: Application and Theory of Petri Nets 1995 pp 103–120Cite as

A class of composable high level Petri nets

  • Full Papers
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 935))

Abstract

In this paper a high-level Petri net model called M-nets (for multilabeled nets) is developed. A distinctive feature of this model is that it allows not only vertical unfolding, as do most other high-level net models, but also horizontal composition — in particular, synchronisation — in a manner similar to process algebras such as CCS. This turns the set of M-nets into a domain whose composition operations satisfy various algebraic properties. The operations are shown to be consistent with unfolding in the sense that the unfolding of a composite high-level net is the composition of the unfoldings of its components. A companion paper shows how this algebra can be used to define the semantics of a concurrent programming language compositionally.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bernd Baumgarten: Petri-Netze. Grundlagen und Anwendungen. BI-Wissenschaftsverlag, 1990.

    Google Scholar 

  2. Eike Best, Raymond Devillers, and Jon Hall: The Box Calculus: a New Causal Algebra with Multi-label Communication. In Vol. 609 of LNCS, 21–69. Springer Verlag, 1992.

    Google Scholar 

  3. Eike Best and Hans Fleischhack: PEP — Programming Environment Based on Petri Nets (project supported by the Deutsche Forschungsgemeinschaft, 1993–1994).

    Google Scholar 

  4. Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel and Elisabeth Pelz: An M-net Semantics of B(PN) 2. To appear in STRICT, Berlin, May 1995.

    Google Scholar 

  5. Eike Best and Richard P. Hopkins: B(PN) 2 — a Basic Petri Net Programming Notation. In Proc. of PARLE, Springer LNCS, June 1993.

    Google Scholar 

  6. Didier Buchs and Nicolas Guelfi: CO-OPN: A Concurrent Object-Oriented Petri Nets Approach for System Specification. In Proc. of 12th ICPN, Springer LNCS, 1991, also LRI Technical Report 616, Orsay, 1990.

    Google Scholar 

  7. Jörg Desel and Javier Esparza: Free Choice Petri Nets. Cambridge University Press, Tracts in Theoretical Computer Science, 1994.

    Google Scholar 

  8. Soren Christensen and Laure Petrucci: Towards a Modular Analysis of Coloured Petri Nets. In Vol. 609 of LNCS, 113–133. Springer Verlag, 1992.

    Google Scholar 

  9. Javier Esparza: Model Checking based on Branching Processes. Hildesheimer Informatik-Bericht (December 1992). Published as: J. Esparza: Model Checking Using Net Unfoldings. Proceedings of TAPSOFT, M.C. Gaudel, J.P. Jouannaud (ed.), In Vol. 668 of LNCS, 613–628, 1993. To appear in Science of Computer Programming.

    Google Scholar 

  10. Hartmann Genrich: Predicate-transition Nets. In Petri Nets: Central Models and their Properties, Advances in Petri Nets 1986, Part I, LNCS Vol.254, Springer-Verlag, 207–247, 1987.

    Google Scholar 

  11. Kurt Jensen: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1. EATCS Monographs on Theoretical Computer Science, 1992.

    Google Scholar 

  12. Hanna Klaudel and Elisabeth Pelz: Communication as Unification in the Petri Box Calculus. To appear in FCT'95, Dresden, August 1995.

    Google Scholar 

  13. Robin Milner: A Calculus of Communicating Systems. Vol. 92 of LNCS. Springer Verlag, 1980.

    Google Scholar 

  14. Robin Milner: Communication and Concurrency. Prentice Hall, 1989.

    Google Scholar 

  15. Giuseppe Pinna: Petri Nets and Their Composition Problem. PhD Thesis: TD-2/90, Dipartimento di Informatica, Universita degli Studi di Pisa, March 1990.

    Google Scholar 

  16. Wolfgang Reisig: Petri Nets and Algebraic Specifications. SFB-Bericht 342/1/90/B (March 90). Theoretical Computer Science Vol.80, 1–34, 1991.

    Google Scholar 

  17. Einar Smith: A Primer on High-Level Petri-Net Theory, Informatik-Bericht Nr. 25 der Humboldt-Universität zu Berlin, 1993.

    Google Scholar 

  18. Einar Smith and Wolfgang Reisig: The Semantics of a Net is a Net — an Exercise in General Net Theory. Advances in Petri Nets 87, LNCS, Springer-Verlag, 461–480, 1987.

    Google Scholar 

  19. Peter H. Starke: Analyse von Petrinetz-Modellen. Verlag Teubner, 1990.

    Google Scholar 

  20. Jacques Vautherin: Un modèle algebrique, basé sur les réseaux de Petri, pour l'étude des systèmes parallèles; Thèse de 3ème cycle, LRI, Orsay, 1985.

    Google Scholar 

  21. Jacques Vautherin: Parallel systems specification with colored Petri nets and algebraic specification, In Vol. 266 of LNCS, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Universität Hildesheim, Marienburger Platz 22, D-31141, Hildesheim, Germany

    Eike Best

  2. Institut für Informatik, Universität Oldenburg, Germany

    Hans Fleischhack

  3. L.R.I. bât. 490, Université Paris Sud, 91405, Orsay Cedex, France

    Wojciech Fraczak & Hanna Klaudel

  4. Department of Computing Science, University of Newcastle upon Tyne, UK

    Richard P. Hopkins

  5. L.R.I, bât. 490, UPS, F-91405, Orsay

    Elisabeth Pelz

  6. Equipe d'Informatique Fondamentale, UPVM, F-94010, Créteil

    Elisabeth Pelz

Authors
  1. Eike Best
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hans Fleischhack
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Wojciech Fraczak
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Richard P. Hopkins
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Hanna Klaudel
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Elisabeth Pelz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Giorgio De Michelis Michel Diaz

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Best, E., Fleischhack, H., Fraczak, W., Hopkins, R.P., Klaudel, H., Pelz, E. (1995). A class of composable high level Petri nets. In: De Michelis, G., Diaz, M. (eds) Application and Theory of Petri Nets 1995. ICATPN 1995. Lecture Notes in Computer Science, vol 935. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60029-9_36

Download citation

  • DOI: https://doi.org/10.1007/3-540-60029-9_36

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60029-9

  • Online ISBN: 978-3-540-49408-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation