Publication:3820019
From MaRDI portal
zbMath0667.68073MaRDI QIDQ3820019
Publication date: 1988
events; elementary net systems; contact-free EN-systems; labelled occurrence nets; occurrence traces
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N25: Theory of operating systems
Related Items
On the Analysis of Petri Nets and their Synthesis from Process Languages, On the border of causality: contact and confusion