APC semantics for Petri nets

MaRDI QIDQ3607693zbMATH OpenFDO

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

Publication date 26 February 2009

zbMATH Keywords

algebraic semanticsprocess algebra

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)

Recommendations

• The box algebra = Petri nets + process expressions
• On the algebraic structure of Petri nets
• scientific article; zbMATH DE number 1696454
• An axiomatic characterization of algebras of processes of Petri nets
• An algebraic semantics for hierarchical P/T nets

Cited in

(1)

• A denotational semantics for parameterised networks of synchronised automata

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)