M-net Calculus Based Semantics for Triggers

DOI10.1007/3-540-69108-1_17MaRDI QIDQ6487398zbMATH OpenFDO

Authors Véronique Benzaken, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann

Publication date 9 December 2022

Full work available at URL https://doi.org/10.1007/3-540-69108-1_17

Mathematics Subject Classification ID

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

Cites work

• A class of composable high level Petri nets
• Formal stystems specification. The RPC-memory specification case study
• scientific article; zbMATH DE number 4035160 (Why is no real title available?)
• scientific article; zbMATH DE number 107927 (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

Cited in

(1)

• scientific article; zbMATH DE number 1945871 (Why is no real title available?)

This page was built for publication: M-net Calculus Based Semantics for Triggers

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