*For the most recent entries see the
Petri Nets Newsletter.*

## M-nets: an algebra of high-level Petri nets with an applications to the semantics of concurrent programming languages.

Best, E.;
Fraczak, W.;
Hopkins, R.P.;
Klaudel, H.;
Pelz, E.
In:
*Acta Informatica, Vol. 35, No. 10*, pages 813-857.
1998.

Abstract:
This paper describes a high-level Petri net model called M-nets (for
modular multilabeled 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, synchronization - 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)² - 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.

Keywords:
M-nets, concurrent programming languages, formal semantics, high-level
Petri nets.

*Do you need a refined search? Try our search engine
which allows complex field-based queries.*
*Back to the Petri Nets Bibliography*