Modeling and verification of workflow nets

M. Voorhoeve

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

32 Downloads (Pure)


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.
Originele taal-2Engels
TitelProceedings of the Workshop on Workflow Management: Net-based Concepts, Models, Techniques, and Tools (WFM'98, Lisbon, Portugal, June 22, 1998)
RedacteurenW.M.P. Aalst, van der
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
StatusGepubliceerd - 1998

Publicatie series

NaamComputing Science Reports
ISSN van geprinte versie9432-0101

Vingerafdruk Duik in de onderzoeksthema's van 'Modeling and verification of workflow nets'. Samen vormen ze een unieke vingerafdruk.

Citeer dit