An axiomatic characterization of algebras of processes of Petri nets

zbMATH Open1097.68101MaRDI QIDQ5486076FDOQ5486076

Józef Winkowski

Publication date: 6 September 2006

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

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)

Cited In (12)

• Title not available (Why is that?)
• Axiomatizing the algebra of net computations and processes
• On the algebraic structure of Petri nets
• Process algebras for Petri nets. The alphabetization of distributed systems
• An algebraic characterization of independence of Petri net processes
• APC semantics for Petri nets
• An Axiomatisation of Duplication Equivalence in the Petri Box Calculus
• Title not available (Why is that?)
• Axiomatizing Petri net concatenable processes
• Behaviour algebras
• Title not available (Why is that?)
• An axiomatization of the algebra of Petri net concatenable processes

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)