For the most recent entries see the Petri Nets Newsletter.

Kausale Beschreibung von Systemen.

Gisiger, H.P.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography