Publication:3776635
From MaRDI portal
zbMath0636.68063MaRDI QIDQ3776635
Publication date: 1987
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N25: Theory of operating systems
Related Items
Complexity results for 1-safe nets, On the border of causality: contact and confusion, Some behavioural aspects of net theory, Concurrent transition systems, Executions: A new partial-order semantics of Petri nets, Elementary transition systems, Petri net semantics of priority systems, Proving partial order properties, A generic causal model for place latency., The synthesis problem of Petri nets, An environment for rapid prototyping of interactive systems