scientific article
From MaRDI portal
Publication:3776635
zbMath0636.68063MaRDI QIDQ3776635
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
Related Items
Petri Nets as Token Objects ⋮ The synthesis problem of Petri nets ⋮ Concurrent transition systems ⋮ Synthesis of nets with inhibitor arcs ⋮ Some behavioural aspects of net theory ⋮ Executions: A new partial-order semantics of Petri nets ⋮ Complexity results for 1-safe nets ⋮ On the border of causality: contact and confusion ⋮ Elementary transition systems ⋮ Petri net semantics of priority systems ⋮ Rabin's theorem in the concurrency setting: a conjecture ⋮ An environment for rapid prototyping of interactive systems ⋮ A generic causal model for place latency. ⋮ Proving partial order properties
