Publication:3126181

zbMath0867.68086MaRDI QIDQ3126181

Józef Winkowski

Publication date: 23 March 1997

zbMATH Keywords

Petri nets; concatenable weighted pomsets

Mathematics Subject Classification ID

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

Related Items

Axiomatizing the subsumption and subword preorders on finite and infinite partial words