| Bibliography | Monakova, Ganna; Kopp, Oliver; Leymann, Frank: Improving Control Flow Verification in a Business Process using an Extended Petri Net.
In: Kopp, Oliver (ed.); Lohmann, Niels (ed.): Proceedings of the 1st Central-European Workshop on Services and their Composition (ZEUS 2009).
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology.
pp. 95-101, english.
Stuttgart: CEUR-WS.org, March 2, 2009.
Article in Proceedings (Workshop Paper).
|
|---|
| Corporation | ZEUS 2009 |
|---|
| CR-Schema | I.6 (Simulation and Modeling)
H.4.1 (Office Automation)
|
|---|
| Keywords | petri net extension; data dependency |
|---|
| Abstract | 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.
|
|---|
Full text and
other links | PDF (240440 Bytes)
ZEUS 2009
CEUR Vol. 438
|
|---|
| Department(s) | University of Stuttgart, Institute of Architecture of Application Systems
|
|---|
| Project(s) | MASTER
|
|---|
| Entry date | March 20, 2009 |
|---|