M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages |
| |
Authors: | Eike Best Wojciech Frączak Richard P. Hopkins Hanna Klaudel Elisabeth Pelz |
| |
Affiliation: | Fachbereich Informatik, Carl-von-Ossietzky-Universit?t zu Oldenburg, D-26111 Oldenburg, Germany (e-mail: e.best@informatik.uni-oldenburg.de), DE Département d'Informatique, Université du Quebec à Hull, C.P. 1250, succ. B, Hull, Quebec, Canada J8X-3X7 (e-mail: fraczak@UQAH.UQuebec.CA), CA Department of Computing Science, University of Newcastle upon Tyne, UK (e-mail: R.P.Hopkins@newcastle.ac.uk), GB Université Paris Val de Marne, Equipe d'Informatique, 61 Av. du Général de Gaulle, Bat.P3, 4eme étage, F-94010 Créteil, France (e-mail: {klaudel,pelz}@lri.fr), FR
|
| |
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 – 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. Received: 20 November 1996 / 13 January 1998 |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|