In: TIK-Schriftenreihe Nr. 1, ETH Zürich, Schweiz. 1994.
Abstract: Usually, both paradigms non-determinism as well as concurrency are used in compound descriptions to specify and model the behavior of systems. Due to the inherent complexity of distributed and concurrent systems their specifications are rarely transparent enough to be easily understandable. Our approach to specify systems alternatively to Petri Nets is to use `runs' of concurrent executions of the target system. In Petri Net terminology runs are non-sequential processes and support specifications with true concurrency.