19 citations · 61 across the 9 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021★ 1 cited
Abstract Processes and Conflicts in Place/Transition Systems
Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann
For one-safe Petri nets or condition/event-systems, a process as defined by Carl Adam Petri provides a notion of a run of a system where causal dependencies are reflected in terms…
cs.LO2021
On Causal Semantics of Petri Nets
Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
We consider approaches for causal semantics of Petri nets, explicitly representing dependencies between transition occurrences. For one-safe nets or condition/event-systems, the no…