M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages

Abstract. This paper describes a high-level Petri net model called M-nets (for modular multilabelled nets). A distinctive feature of this model is that it allows both: unfolding, as do most other high-level net models; and composition – in particular, synchronisation – in a process algebraic style, turning the set of M-nets into an algebraic domain. It turns out that the composition operations of this domain have various algebraic properties. Moreover, the model is such that composition operations are coherent with unfolding, in the sense that the unfolding of a composite high-level net is the composition of the unfoldings of its components. One of the motivations for M-nets is that they be a vehicle for giving semantics of concurrent programming languages. To illustrate their capability for that, the compositional semantics of $B(PN)^2$– a simple, expressive concurrent programming language – is given. An associated low-level net semantics is described, and the coherence of these high-level and low-level semantics is proved.

[1]  Hanna Klaudel,et al.  Communication as Unification in the Petri Box Calculus , 1995, FCT.

[2]  Walter Vogler,et al.  Modular Construction and Partial Order Semantics of Petri Nets , 1992, Lecture Notes in Computer Science.

[3]  Richard P. Hopkins,et al.  B(PN)2 - a Basic Petri Net Programming Notation , 1993, PARLE.

[4]  Hanna Klaudel Kozlowska.  Modeles algebriques, bases sur les reseaux de petri, pour la semantique des langages de programmation concurrents , 1995 .

[5]  Wolfgang Reisig,et al.  The Semantics of a Net is a Net , 1987 .

[6]  Hanna Klaudel,et al.  An M-net Semantics of B(PN)2 , 1995, STRICT.

[7]  H. Cheng.  Calculus of Communicating Systems : a synopsis Mantis , 1994 .

[8]  W Emde.  GRUNDLAGEN UND ANWENDUNGEN DER RAS-W , 1991 .

[9]  Laure Petrucci,et al.  Towards a Modular Analysis of Coloured Petri Nets , 1992 .

[10]  David May.  OCCAM , 1983, SIGP.

[11]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[12]  Ludmila Cherkasova,et al.  Descriptive and analytical process algebras , 1988, European Workshop on Applications and Theory in Petri Nets.

[13]  Ernst-Rüdiger Olderog,et al.  Nets, terms and formulas , 1991 .

[14]  Giancarlo Mauri,et al.  OBJSA Nets: a Class of High- level Nets Having Objects as Domains , 1987, European Workshop on Applications and Theory of Petri Nets.

[15]  Hanna Klaudel,et al.  General Refinement in the M-net Calculus: (LIT 357) , 1997 .

[16]  Matthias Jantzen.  Language theory of Petri nets , 1986 .

[17]  James L. Peterson,et al.  Petri Nets , 1977, CSUR.

[18]  Jacques Vautherin,et al.  Parallel systems specitications with coloured Petri nets and algebraic specifications , 1986, European Workshop on Applications and Theory of Petri Nets.

[19]  Kurt Jensen.  Coloured Petri Nets , 1992, EATCS Monographs in Theoretical Computer Science.

[20]  Wolfgang Reisig,et al.  Petri Nets and Algebraic Specifications , 1991, Theor. Comput. Sci..

[21]  Richard P. Hopkins,et al.  A basic-net algebra for program semantics and its application to OCCAM , 1992, Advances in Petri Nets: The DEMON Project.

[22]  Hanna Klaudel,et al.  Refinement and Recursion in a High Level Petri Box Calculus , 1995, STRICT.

[23]  Raymond R. Devillers,et al.  The box calculus: a new causal algebra with multi-label communication , 1992, Advances in Petri Nets: The DEMON Project.

[24]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[25]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[26]  Hanna Klaudel,et al.  A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)2 , 1995, Application and Theory of Petri Nets.

[27]  James L. Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[28]  Eike Best,et al.  Orthogonal Transformations for Coloured Petri Nets , 1997, ICATPN.

[29]  Eike Best,et al.  PEP - More than a Petri Net Tool , 1996, TACAS.

[30]  Elisabeth Pelz,et al.  A Logical Approach of Petri Net Languages , 1985, Theor. Comput. Sci..

[31]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[32]  Hans Fleischhack,et al.  A Petri net semantics for B(PN)/sup 2/ with procedures , 1997, Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel and Distributed Systems.

[33]  Alan Mycroft,et al.  On the Relationship of CCS and Petri Nets , 1984, ICALP.

[34]  Hartmann J. Genrich,et al.  Predicate/Transition Nets , 1986, Advances in Petri Nets.

[35]  Khadija Iqbal,et al.  An introduction , 1996, Neurobiology of Aging.