An axiomatic characterization of algebras of processes of Petri nets

MaRDI QIDQ5486076zbMATHFDO

Authors Józef Winkowski

Publication date 6 September 2006

zbMATH Keywords

statesPetri netscategoryprocessessequential compositionparallel compositionpartial monoid

Mathematics Subject Classification ID

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

Recommendations

• An algebraic characterization of independence of Petri net processes
• An axiomatization of the algebra of Petri net concatenable processes
• Axiomatizing the algebra of net computations and processes
• Lectures on Concurrency and Petri Nets
• On the algebraic structure of Petri nets

Cited in

(12)

• Process algebras for Petri nets. The alphabetization of distributed systems
• On the algebraic structure of Petri nets
• An Axiomatisation of Duplication Equivalence in the Petri Box Calculus
• Axiomatizing Petri net concatenable processes
• An algebraic characterization of independence of Petri net processes
• An axiomatization of the algebra of Petri net concatenable processes
• Axiomatizing the algebra of net computations and processes
• Behaviour algebras
• scientific article; zbMATH DE number 4128403 (Why is no real title available?)
• scientific article; zbMATH DE number 13472 (Why is no real title available?)
• APC semantics for Petri nets
• scientific article; zbMATH DE number 1696454 (Why is no real title available?)

This page was built for publication: An axiomatic characterization of algebras of processes of Petri nets

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