Designing a workflow system using coloured Petri nets

N.C. Russell, W.M.P. Aalst, van der, A.H.M. Hofstede, ter

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

9 Citaten (Scopus)
2 Downloads (Pure)


Traditional workflow systems focus on providing support for the control-flow perspective of a business process, with other aspects such as data management and work distribution receiving markedly less attention. A guide to desirable workflow characteristics is provided by the well-known workflow patterns which are derived from a comprehensive survey of contemporary tools and modelling formalisms. In this paper we describe the approach taken to designing the newYAWL workflow system, an offering that aims to provide comprehensive support for the control-flow, data and resource perspectives based on the workflow patterns. The semantics of the newYAWL workflow language are based on Coloured Petri Nets thus facilitating the direct enactment and analysis of processes described in terms of newYAWL language constructs. As part of this discussion, we explain how the operational semantics for each of the language elements are embodied in the newYAWL system and indicate the facilities required to support them in an operational environment. We also review the experiences associated with developing a complete operational design for an offering of this scale using formal techniques.
Originele taal-2Engels
TitelTransactions on Petri Nets and Other Models of Concurrency III
RedacteurenK. Jensen, J. Billington, M. Koutny
Plaats van productieBerlin
ISBN van geprinte versie978-3-642-04854-8
StatusGepubliceerd - 2009

Publicatie series

NaamLecture notes in computer science


Duik in de onderzoeksthema's van 'Designing a workflow system using coloured Petri nets'. Samen vormen ze een unieke vingerafdruk.

Citeer dit