scientific article; zbMATH DE number 2064221

MaRDI QIDQ4461748zbMATH OpenFDO

Authors Raymond Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau

Publication date 18 May 2004

zbMATH Keywords

algebraic Petri netprocess algebrastructured operational semantics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1500562
• The box algebra = Petri nets + process expressions
• scientific article; zbMATH DE number 1501606
• Compositional process semantics of Petri Boxes
• An algebra of non-safe Petri boxes

Cited in

(10)

• M-nets: a survey
• Nested-unit Petri nets
• Nested-unit Petri nets: a structural means to increase efficiency and scalability of verification on elementary nets
• Asynchronous traces and open Petri nets
• scientific article; zbMATH DE number 1500562 (Why is no real title available?)
• Communication as unification in the Petri Box Calculus
• Equations for asynchronous message passing
• Timed mobility in process algebra and Petri nets
• Trapping mutual exclusion in the box calculus
• A compositional Petri net translation of general -calculus terms

This page was built for publication:

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