Stage-oe-small.jpg

Thema4614

Aus Aifbportal
Wechseln zu:Navigation, Suche



Konzeption und Realisierung von Analysemethoden für Petri-Netze




Informationen zur Arbeit

Abschlussarbeitstyp: Bachelor
Betreuer: Andreas OberweisSelina Schüler
Forschungsgruppe: Betriebliche Informationssysteme

Archivierungsnummer: 4614
Abschlussarbeitsstatus: unbekannt
Beginn: 04. Juni 2020
Abgabe: unbekannt

Weitere Informationen

Mit der Analyse von Geschäftsprozessmodellen kann beispielsweise überprüft werden, ob Modelle einen bestimmten Zustand erreichen, ob das Netz lebendig ist oder ob in bestimmten Netzteilen gewisse Eigenschaften unverändert bleiben. Grundlage für diese Analysen ist oftmals ein Petri-Netz, für die bereits einige Modellierungseditoren (Horus, Signavio, WoPeD) bereitgestellt werden. Diese Modellierungseditoren bieten jedoch nicht immer automatisierte Analysemöglichkeiten an. Daher wäre es wünschenswert, wenn solche Modellierungseditoren um ausgewählte Analysemethoden erweitert werden könnten.

Für die Berechnung von Stellen- und Transitionsinvarianten wird für ein Petri-Netz eine Inzidenzmatrix aufgestellt, die für weitere Berechnungen verwendet wird. Da Excel bereits ein Plug-In zum Lösen von Gleichungen anbietet, könnte diese Solver-Funktion für weitere Berechnungen mit der Inzidenzmatrix verwendet und hierdurch die Berechnung der Stellen- und Transitionsinvarianten mit der Eingabe eines Petri-Netzes automatisiert werden. Das Ziel dieser Arbeit ist somit zunächst die Betrachtung der möglichen Analysemethoden für Petri-Netze, welche durch Excel gelöst werden könnten. Zudem soll eine Konzeption und Realisierung eines Modellierungseditor-Plug-Ins zur Berechnung der Stellen- und Transitionsinvarianten durchgeführt werden.