A class of composable high level Petri nets

DOI10.1007/3-540-60029-9_36MaRDI QIDQ5096360zbMATH OpenOpenAlexFDO

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

Publication date 16 August 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-60029-9_36

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• M-nets: An algebra of high-level Petri-nets, with an application to the semantics of concurrent programming languages
• Publication:4942095
• scientific article; zbMATH DE number 1435982
• scientific article; zbMATH DE number 1361124
• General composition for high level Petri nets and its properties

Cites work

• A calculus of communicating systems
• Free Choice Petri Nets
• scientific article; zbMATH DE number 1686270 (Why is no real title available?)
• scientific article; zbMATH DE number 4030998 (Why is no real title available?)
• scientific article; zbMATH DE number 4035156 (Why is no real title available?)
• scientific article; zbMATH DE number 4035160 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 47135 (Why is no real title available?)
• scientific article; zbMATH DE number 47952 (Why is no real title available?)
• scientific article; zbMATH DE number 107927 (Why is no real title available?)
• scientific article; zbMATH DE number 1501606 (Why is no real title available?)
• M-nets: An algebra of high-level Petri-nets, with an application to the semantics of concurrent programming languages
• Model checking using net unfoldings
• Modular Analysis of Petri Nets
• Petri nets and algebraic specifications

Cited in

(23)

• M-nets: a survey
• M-nets: An algebra of high-level Petri-nets, with an application to the semantics of concurrent programming languages
• General parameterised refinement and recursion for the M-net calculus
• The ins and outs of Petri net composition
• General composition for high level Petri nets and its properties
• scientific article; zbMATH DE number 1701348 (Why is no real title available?)
• Hierarchical timed high level nets and their branching processes
• scientific article; zbMATH DE number 1361124 (Why is no real title available?)
• scientific article; zbMATH DE number 1786651 (Why is no real title available?)
• scientific article; zbMATH DE number 1418813 (Why is no real title available?)
• scientific article; zbMATH DE number 1435982 (Why is no real title available?)
• Communication as unification in the Petri Box Calculus
• A programming language for spatial distribution of net systems
• Synchronous and asynchronous communications in composable parametrized high-level Petri nets
• scientific article; zbMATH DE number 5051646 (Why is no real title available?)
• Applications and Theory of Petri Nets 2005
• Compositional high-level Petri net semantics of a parallel programming language with procedures
• High level expressions with their SOS semantics
• Petri boxes and finite precedence
• Linear constraint systems as high-level nets
• Orthogonal transformations for coloured Petri nets
• A Compositional Petri Net Semantics for SDL
• M-net Calculus Based Semantics for Triggers

This page was built for publication: A class of composable high level Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096360)