An Algebra of Non-safe Petri Boxes

DOI10.1007/3-540-45719-4_14zbMath1275.68104OpenAlexW1482603105MaRDI QIDQ2996143

Maciej Koutny, Hanna Klaudel, Raymond Devillers, Franck Pommereau

Publication date: 6 May 2011

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-45719-4_14

zbMATH Keywords

operational semanticsprocess algebraPetri nets

Mathematics Subject Classification ID

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

Related Items (2)

Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets ⋮ Nested-unit Petri nets

This page was built for publication: An Algebra of Non-safe Petri Boxes