Improved implementations via a new structural equivalence on labeled nets

DOI10.1007/3-540-63139-9_33MaRDI QIDQ6487372zbMATH OpenFDO

Authors Wojciech Fraczak, Elisabeth Pelz

Publication date 9 December 2022

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• An Axiomatisation of Duplication Equivalence in the Petri Box Calculus
• Compositional process semantics of Petri Boxes
• scientific article; zbMATH DE number 3967922
• The box algebra = Petri nets + process expressions
• scientific article; zbMATH DE number 3980501

Cites work

• Concurrent bisimulations in Petri nets
• Model checking using net unfoldings

This page was built for publication: Improved implementations via a new structural equivalence on labeled nets

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