scientific article; zbMATH DE number 5051666

zbMATH Open1097.68101MaRDI QIDQ5486076

Józef Winkowski

Publication date: 6 September 2006

Title of this publication is not available (Why is that?)

zbMATH Keywords

statescategoryPetri netsprocessessequential compositionparallel compositionpartial monoid

Mathematics Subject Classification ID

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

Related Items (4)

Axiomatizing Petri net concatenable processes ⋮ Process algebras for Petri nets. The alphabetization of distributed systems ⋮ Title not available (Why is that?) ⋮ An Axiomatisation of Duplication Equivalence in the Petri Box Calculus

This page was built for publication:

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