Thema4614
Abschlussarbeitstyp: Bachelor
Betreuer: Andreas Oberweis, Selina Schüler
Forschungsgruppe: Betriebliche Informationssysteme
Archivierungsnummer: 4614
Abschlussarbeitsstatus: unbekannt
Beginn:
04. Juni 2020
Abgabe: unbekannt
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.