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
• Algebraic high level nets. Petri nets revisited
• scientific article; zbMATH DE number 1435982
• Weak and strong composition of high-level Petri nets
• General composition for high level Petri nets and its properties

Cites work

• A calculus of communicating systems
• Coloured Petri nets. Basic concepts, analysis methods and practical use. Vol. 1
• Free Choice Petri Nets
• 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 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
• Object-oriented nets with algebraic specifications: the CO-OPN/2 formalism
• 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
• High-level Petri nets as type theories in the join calculus
• Hierarchical timed high level nets and their branching processes
• Weak and strong composition of high-level Petri nets
• scientific article; zbMATH DE number 1786651 (Why is no real title available?)
• Algebraic high level nets. Petri nets revisited
• 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?)
• High level Petri nets analysis with Helena
• 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)