Untersuchung der Beziehungen zwischen Eigenschaften von Petrinetzen
| URL | http://edoc.sub.uni-hamburg.de/informatik/volltexte/2009/54/ |
|---|---|
| Dokumentart: | Report (Bericht) |
| Schriftenreihe: | Berichte des Fachbereichs Informatik der Universität Hamburg |
| Bandnummer: | 240 |
| Sprache: | Deutsch |
| Erstellungsjahr: | 2002 |
| Publikationsdatum: | 28.09.2009 |
| Freie Schlagwörter (Deutsch): | Petrinetze |
| Freie Schlagwörter (Englisch): | Petri nets |
| DDC-Sachgruppe: | Informatik |
| BK - Klassifikation: | 54.10 |
Kurzfassung auf Deutsch:
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 für eine gegebene Klasse von Eigenschaften alle Implikationen, die zwischen den Eigenschaften existieren, ermittelt werden können. 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.) durchgeführt. Dabei wurden Implikationen gefunden, die in der betrachteten Literatur nicht erwähnt werden.
Kurzfassung auf Englisch:
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.
Hinweis zum Urherberrecht
Für Dokumente, die in elektronischer Form über Datenenetze angeboten werden, gilt uneingeschränkt das Urheberrechtsgesetz (UrhG). Insbesondere gilt:
Einzelne Vervielfältigungen, z.B. Kopien und Ausdrucke, dürfen nur zum privaten und sonstigen eigenen Gebrauch angefertigt werden (Paragraph 53 Urheberrecht). Die Herstellung und Verbreitung von weiteren Reproduktionen ist nur mit ausdrücklicher Genehmigung des Urhebers gestattet.
Der Benutzer ist für die Einhaltung der Rechtsvorschriften selbst verantwortlich und kann bei Mißbrauch haftbar gemacht werden.