Artikel in Tagungsband INPROC-2009-34

Monakova, Ganna; Kopp, Oliver; Leymann, Frank: Improving Control Flow Verification in a Business Process using an Extended Petri Net.
In: Kopp, Oliver (Hrsg); Lohmann, Niels (Hrsg): Proceedings of the 1st Central-European Workshop on Services and their Composition (ZEUS 2009).
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik.
S. 95-101, englisch.
Stuttgart:, 2. März 2009.
Artikel in Tagungsband (Workshop-Beitrag).
KörperschaftZEUS 2009
CR-Klassif.I.6 (Simulation and Modeling)
H.4.1 (Office Automation)
Keywordspetri net extension; data dependency

In a business process, control flow decisions are based on the evaluation of conditions. Thus, conditions must be considered for control flow veri cation. This paper shows how the Petri nets based control fl ow veri cation can be improved by analysing conditions and logical relations between them. We outline a Petri net extension with predicate transitions, which are responsible for conditions evaluation based on the collected knowledge, and effect places, which contain fact tokens representing the effects of certain operations and decisions made.

Volltext und
andere Links
PDF (240440 Bytes)
ZEUS 2009
CEUR Vol. 438
Abteilung(en)Universität Stuttgart, Institut für Architektur von Anwendungssystemen
Eingabedatum20. März 2009
   Publ. Informatik