19 citations · 61 across the 9 of their papers we have counts for
9 papers
Abstract Processes in the Absence of Conflicts in General Place/Transition Systems
Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann
Goltz and Reisig generalised Petri's concept of processes of one-safe Petri nets to general nets where places carry multiple tokens. BD-processes are equivalence classes of Goltz-R…
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…
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…
On Distributability of Petri Nets
Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann
We formalise a general concept of distributed systems as sequential components interacting asynchronously. We define a corresponding class of Petri nets, called LSGA nets, and prec…
Synchrony vs. Causality in Asynchronous Petri Nets
Jens-Wolfhard Schicke, Kirstin Peters, Ursula Goltz
Given a synchronous system, we study the question whether the behaviour of that system can be exhibited by a (non-trivially) distributed and hence asynchronous implementation. In t…
Synchrony vs Causality in the Asynchronous Pi-Calculus
Kirstin Peters, Jens-Wolfhard Schicke, Uwe Nestmann
We study the relation between process calculi that differ in their either synchronous or asynchronous interaction mechanism. Concretely, we are interested in the conditions under w…