Ereignisgesteuerte Prozeßketten und Petri-Netze
Event-driven process chains and Petri nets
Langner, Peter ; Schneider, Christoph ; Wehler, Joachim
| URL | http://edoc.sub.uni-hamburg.de/informatik/volltexte/2009/37/ |
|---|---|
| Dokumentart: | Report (Bericht) |
| Schriftenreihe: | Berichte des Fachbereichs Informatik der Universität Hamburg |
| Bandnummer: | 196 |
| Sprache: | Deutsch |
| Erstellungsjahr: | 1997 |
| Publikationsdatum: | 21.08.2009 |
| SWD-Schlagwörter: | Modellierung , Prozesskette |
| Freie Schlagwörter (Deutsch): | Geschäftsprozesse , Petrinetze |
| Freie Schlagwörter (Englisch): | process chains , EPCs , Petri nets |
| DDC-Sachgruppe: | Informatik |
| BK - Klassifikation: | 54.10 |
Kurzfassung auf Deutsch:
Die Wirtschaftinformatik kennt verschiedene Methoden zur Modellierung von Geschäftsprozessen. In kommerziellen Projekten werden hierfür am häufigsten Petri-Netze bzw. ereignisgesteuerte Prozessketten (EPKs) eingesetzt. In dieser Arbeit wird die Syntax der EPKs festgelegt, und durch Übersetzung in ein höheres Petri-Netz erhalten EPKs auch eine formale Semantik. Die resultierenden Booleschen Netze sind eine Erweiterung von Stellen/Transitions-Netzen um logische Verknüpfungen und bilden eine einfache Teilklasse aller gefärbten Petri-Netze. Boolesche Netze können mit Algorithmen der Graphentheorie und zusätzlich mit Methoden der Kommutativen Algebra analysiert werden. Durch den Reduktionsalgorithmus von Genrich-Thiagarajan läßt sich das korrekte Verhalten von EPKs nachweisen, ohne hierfür ihren Fallgraphen konstruieren zu müssen. Wohlgeformte EPKs stellen sich als ein Baum von bipolaren Synchronisationsschemata heraus und lassen sich zu wohlgeformten Free-Choice Netzen vereinfachen. Damit bietet die Petri-Netztheorie in ihrer klassischen Form ein tragfähiges Fundament zur Verifikation, Animation und Simulation von EPKs aus dem Bereich der Wirtschaftsinformatik.
Kurzfassung auf Englisch:
In the domain of Managemant Information Systems there exists diffierent methods to model business processes. Most widely used are Petri nets and event-driven process chains EPCs. The paper defines the syntax of EPCs. After translation into Petri nets EPCs acquire a formal semantic. The resulting Boolean nets generalize place/transition nets by adding logical rules. They consitute a simple subclass of coloured Petri nets. Boolean nets can be analysed by algorithms from graph theory as well as by methods from commutative algebra. Therefore well behavedness of EPCs can be proven by the reduction algorithm of Genrich-Thiagarajan, there is no need to unfold the case graph. Well behaved EPCs form a tree of bipolar synchronization schemes. They can be reduced to well behaved free-choice nets. Hence Petri nets theory in its classical form provides a well founded base to verify, animate and to simulate EPCs used in the domain of Management Information Systems.
Hinweis zum Urherberrecht
Für Dokumente, die in elektronischer Form über Datenenetze angeboten werden, gilt uneingeschränkt das Urheberrechtsgesetz (UrhG). Insbesondere gilt:
Einzelne Vervielfältigungen, z.B. Kopien und Ausdrucke, dürfen nur zum privaten und sonstigen eigenen Gebrauch angefertigt werden (Paragraph 53 Urheberrecht). Die Herstellung und Verbreitung von weiteren Reproduktionen ist nur mit ausdrücklicher Genehmigung des Urhebers gestattet.
Der Benutzer ist für die Einhaltung der Rechtsvorschriften selbst verantwortlich und kann bei Mißbrauch haftbar gemacht werden.