TY - GEN
T1 - Modeling and verification of workflow nets
AU - Voorhoeve, M.
PY - 1998
Y1 - 1998
N2 - A semantics for workflow processes is proposed, based on tasks that have a duration and may be executed concurrently. The semantics supports operators that can be used to compose processes from simpler ones. An important operator is refinement, replacing a task by a process. By abstracting from certain tasks, a related notion allows verifications based upon step by step reduction of the process. The approach is illustrated by means of an example Petri net model.
AB - A semantics for workflow processes is proposed, based on tasks that have a duration and may be executed concurrently. The semantics supports operators that can be used to compose processes from simpler ones. An important operator is refinement, replacing a task by a process. By abstracting from certain tasks, a related notion allows verifications based upon step by step reduction of the process. The approach is illustrated by means of an example Petri net model.
M3 - Conference contribution
T3 - Computing Science Reports
SP - 96
EP - 108
BT - Proceedings of the Workshop on Workflow Management: Net-based Concepts, Models, Techniques, and Tools (WFM'98, Lisbon, Portugal, June 22, 1998)
A2 - Aalst, van der, W.M.P.
PB - Technische Universiteit Eindhoven
CY - Eindhoven
ER -