scientific article

zbMath0634.68059MaRDI QIDQ3773356

Goltz, Ursula

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Petri netscondition/event systemssimulatabilityplace/transition system

Mathematics Subject Classification ID

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

Related Items

Normalization of place/transition-systems preserves net behaviour, Executions: A new partial-order semantics of Petri nets, Abstract processes and conflicts in place/transition systems, On Causal Semantics of Petri Nets