19 citations · 61 across the 9 of their papers we have counts for
3 papers · 1 filter
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…
Abstract Processes of Place/Transition Systems
Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
A well-known problem in Petri net theory is to formalise an appropriate causality-based concept of process or run for place/transition systems. The so-called individual token inter…