TY  - GEN
A1  - Susewind, Kerstin
T1  - Untersuchung ganzzahliger linear-algebraischer Ansätze zur Lösung des Erreichbarkeitsproblems in Stellen/Transitions-Netzen
N2  - 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.
KW  - lineare Algebra
KW  - Petri-Netze
Y1  - 2011
UR  - https://kola.opus.hbz-nrw.de/frontdoor/index/index/docId/514
UR  - https://nbn-resolving.org/urn:nbn:de:kola-5142
VL  - 2011
ER  -