Bachelor-Arbeit

Betreuer: Uli Schlachter

Zusammenfassung der Präsentation

Die Sprache eines Petri-Netzes enthält alle Feuersequenzen, die im Petri-Netz möglich sind. So wird basierend auf einem Petri-Netz eine Sprache erzeugt. In diesem Vortrag soll es um die entgegengesetzte Operation gehen. Gegeben ist eine reguläre Sprache und es soll ein Petri-Netz bestimmt werden, das diese Sprache erzeugt. Bei der Erzeugung des Petri-Netzes bilden vor allem unbeschränkte Petri-Netze ein Problem. Unbeschränkte Petri-Netze besitzen eine theoretisch unendliche Anzahl von Feuersequenzen und sind somit besonders schwer zu synthetisieren. Im Rahmen des Vortrags wird ein Algorithmus vorgestellt, der sich auf die Synthese von unbeschränkten Petri-Netzen spezialisiert.