Page 34 -
P. 34
1 Introduction 19
Kiepuszewski et al. [131] examined the consequences of various different inter-
pretations of workflow routing constructs defined by the Workflow Management
Coalition from an expressiveness point of view.
There are several comprehensive treatments of Petri nets (e.g., [179,196]). Their
use for workflow specification was advocated by Wil van der Aalst [1]. Dufourd et
al. [80,81] provide an introduction to reset nets.
In 2002, van der Aalst and ter Hofstede defined the YAWL language [15]. The
development of the support environment started the following year [6]. The first
open-source release of this environment occurred in the same year. In subsequent
releases, the functionality was extended considerably. In [219], YAWL and some of
its extensions were modeled using CPN Tools.