Untersuchung der Beziehungen zwischen Eigenschaften von Petrinetzen

In dieser Arbeit geht es um die Beziehungen zwischen Eigenschaften von Petrinetzen. Als Petrinetze werden S/T-Netze mit anonymen Marken betrachtet. Eine Eigenschaft stellt jeweils eine Teilmenge der Menge aller Petrinetze dar. Ziel der Arbeit ist es, ein Untersuchungsverfahren zu entwickeln, mit dem fur eine gegebene Klasse von Eigenschaften alle Implikationen, die zwischen den Eigenschaften existieren, ermittelt werden konnen. Es wird bewiesen, dass das Verfahren genau die Implikationen findet, die zwischen den Eigenschaften existieren. Das Verfahren wurde mit einer Klasse von 11 strukturellen Eigenschaften (free-choice, Zustandsgraph, markierter Graph, u.a.) und mit einer Klasse von 15 dynamischen Eigenschaften (Lebendigkeit, Fairness, Persistenz, u.a.) durchgefuhrt. Dabei wurden Implikationen gefunden, die in der betrachteten Literatur nicht erwahnt werden. This work is concerned with the relationship between properties of petri nets. As petri nets, P/T-Nets with anonymous tokens are considered. A property represents a subset of the set of all petri nets. The objective of this work is to develop a procedure which determines for a given class of properties, all true implications between the properties. It is proven that the procedure determines exactly all implications. The procedure has been applied to a class of 11 structurally properties (free-choice, state machine, marked graph, etc.) and a class of 15 dynamically properties (liveness, fairness, persistence, etc.). In this way implications have been found which aren't mentioned in the considered literature.