Prozeßmodellierung mit ereignisgesteuerten Prozeßketten (EPKs) und Petri-Netzen

摘要

Nach einer Definition der Syntax für EPKs werden Regeln angegeben, um EPKs in Petri-Netze zu übersetzen. Die resultierenden Booleschen Netze sind eine Erweiterung von Stellen/Transitions-Netzen um logische Verknüpfungen und bilden eine einfache Klasse gefärbter Petri-Netze. Das korrekte Verhalten dieser Netze läßt sich bereits durch eine algorithmische Reduktion ihrer Struktur verifizieren, eine Analyse des Fallgraphen ist nicht nötig. Eine Rei- he von Modellierungsfehlern bei EPKs aus der Praxis belegt die Notwendigkeit einer solchen Netzanalyse. EPKs mit korrektem Verhalten lassen sich zu semantisch gleichwertigen Stellen/Transitions-Netzen vereinfachen. Damit bietet die Petri-Netz Theorie in ihrer klassischen Form ein tragfähiges Fundament zur Verifikation, Animation und Simulation von EPKs aus dem Bereich der Wirtschaftsinformatik.%After defining the syntax of EPCs we propose a set of rules to translate EPCs into Petri nets. The resulting Boolean nets generalize place/transition nets und constitute a simple class of coloured Petri nets. Well behavedness of these nets can be proven by reducing the net structure, there is no need to consider case graphs. A sample of incorrect EPCs from different projects substantiates the need for such type of net analysis. Well behaved EPCs can be reduced to place/transition nets respecting the original semantic. Hence Petri net theory provides a well founded base to verify, to animate and to simulate EPCs used in the domain of Management Information Systems.