- search hit 1 of 1
Untersuchung ganzzahliger linear-algebraischer Ansätze zur Lösung des Erreichbarkeitsproblems in Stellen/Transitions-Netzen
- Das allgemeine Erreichbarkeitsproblem in Stellen/Transitions-Netzen behandelt die Frage, ob eine bestimmte Zielmarkierung aus einer anderen Markierung erreichbar ist. Die lineare Algebra als Teilgebiet der Mathematik kann zur Beschreibung und Analyse von Petri-Netzen herangezogen werden. Jedoch stellen Kreise in Netzen bei der Erreichbarkeitsanalyse ein Problem für sie dar: ob für bestimmte Transitionen erforderliche Marken sofort, erst nach dem Durchlaufen bestimmter Kreise oder gar nicht zur Verfügung stehen, ist nicht erkennbar, hat jedoch unmittelbare Auswirkungen auf die Erreichbarkeit. Es gibt verschiedene Möglichkeiten, dieses Problem linear-algebraisch anzugehen. In dieser Arbeit werden vorhandene Verfahren sowie neue Lösungsansätze auf Basis der Reproduzierbarkeit der leeren Markierung diskutiert.
Author: | Kerstin Susewind |
---|---|
URN: | urn:nbn:de:kola-5142 |
Advisor: | Kurt Lautenbach, Stephan Philippi |
Document Type: | Diploma Thesis |
Language: | German |
Date of completion: | 2011/05/09 |
Date of publication: | 2011/05/09 |
Publishing institution: | Universität Koblenz-Landau, Campus Koblenz, Universitätsbibliothek |
Granting institution: | Universität Koblenz, Fachbereich 4 |
Release Date: | 2011/05/09 |
Tag: | Petri-Netze; lineare Algebra |
Volume (for the year ...): | 2011 |
Number of pages: | xvi, 170 Seiten |
Institutes: | Fachbereich 4 / Fachbereich 4 |
Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
Licence (German): | Es gilt das deutsche Urheberrecht: § 53 UrhG |