Modeling and verification of workflow nets

M. Voorhoeve

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

39 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.
Original languageEnglish
Title of host publicationProceedings of the Workshop on Workflow Management: Net-based Concepts, Models, Techniques, and Tools (WFM'98, Lisbon, Portugal, June 22, 1998)
EditorsW.M.P. Aalst, van der
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Publication statusPublished - 1998

Publication series

NameComputing Science Reports
ISSN (Print)9432-0101


Dive into the research topics of 'Modeling and verification of workflow nets'. Together they form a unique fingerprint.

Cite this