Designing a workflow system using coloured petri nets

Russell, Nick C., van der Aalst, Wil M. P., & ter Hofstede, Arthur H. M. (2009) Designing a workflow system using coloured petri nets. Lecture Notes in Computer Science : Transactions on Petri Nets and Other Models of Concurrency III, 5800, pp. 1-24.

View at publisher


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.

Impact and interest:

5 citations in Scopus
Search Google Scholar™
3 citations in Web of Science®

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

Full-text downloads:

467 since deposited on 17 Mar 2011
23 in the past twelve months

Full-text downloads displays the total number of times this work’s files (e.g., a PDF) have been downloaded from QUT ePrints as well as the number of downloads in the previous 365 days. The count includes downloads for all files if a work has more than one.

ID Code: 40794
Item Type: Journal Article
Refereed: Yes
Keywords: newYAWL, workflow technology, workflow patterns, business process management, coloured Petri nets.
DOI: 10.1007/978-3-642-04856-2_1
ISSN: 0302-9743
Subjects: Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > INFORMATION SYSTEMS (080600)
Divisions: Past > QUT Faculties & Divisions > Faculty of Science and Technology
Past > Schools > Information Systems
Copyright Owner: Copyright 2009 Springer-Verlag Berlin Heidelberg
Copyright Statement:

This is the author-version of the work.

Lecture Notes in Computer Science, published by Springer Verlag, will be available via SpringerLink.

Deposited On: 17 Mar 2011 02:27
Last Modified: 17 Mar 2011 06:06

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page