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

DOI10.1007/S002360050144zbMath0917.68160OpenAlexW2073122176WikidataQ114852493 ScholiaQ114852493MaRDI QIDQ1284690

Richard P. Hopkins, Eike Best, Elisabeth Pelz, Hanna Klaudel, Wojciech Fraczak

Publication date: 13 June 1999

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s002360050144

zbMATH Keywords

high-level Petri netM-nets

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (8)

A class of composable high level Petri nets ⋮ General parameterised refinement and recursion for the M-net calculus ⋮ Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets ⋮ Timed mobility in process algebra and Petri nets ⋮ A compositional Petri net translation of general \(\pi\)-calculus terms ⋮ Unnamed Item ⋮ M-nets: a survey ⋮ Towards Efficient Verification of Systems with Dynamic Process Creation

Uses Software

• M-nets

This page was built for publication: M-nets: An algebra of high-level Petri-nets, with an application to the semantics of concurrent programming languages