Mutex Causality in Processes and Traces of General Elementary Nets
Jetty Kleijn, Maciej Koutny · Fundamenta Informaticae · 2013
A concurrent history represented by a causality structure that captures the intrinsic, invariant dependencies between its actions, can be interpreted as defining a set of closely related observations (e.g., step sequences). Depending on the relations