APC semantics for Petri nets

zbMATH Open1172.68551MaRDI QIDQ3607693FDOQ3607693

Štefan Hudák, Štefan Korečko, Slavomír Šimoňák

Publication date: 26 February 2009

Recommendations

• The box algebra = Petri nets + process expressions
• On the algebraic structure of Petri nets
• Publication:2766559
• An axiomatic characterization of algebras of processes of Petri nets
• An algebraic semantics for hierarchical P/T nets

zbMATH Keywords

process algebraalgebraic semantics

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)

This page was built for publication: APC semantics for Petri nets

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