Soundness of workflow nets: classification, decidability, and analysis

Workflow nets, a particular class of Petri nets, have become one of the standard ways to model and analyze workflows. Typically, they are used as an abstraction of the workflow that is used to check the so-called soundness property. This property guarantees the absence of livelocks, deadlocks, and other anomalies that can be detected without domain knowledge. Several authors have proposed alternative notions of soundness and have suggested to use more expressive languages, e.g., models with cancellations or priorities. This paper provides an overview of the different notions of soundness and investigates these in the presence of different extensions of workflow nets.We will show that the eight soundness notions described in the literature are decidable for workflow nets. However, most extensions will make all of these notions undecidable. These new results show the theoretical limits of workflow verification. Moreover, we discuss some of the analysis approaches described in the literature.

Performance analysis of business process models with advanced constructs

The importance of actively managing and analysing business processes is acknowledged more than ever in organisations nowadays. Business processes form an essential part of an organisation and their application areas are manifold. Most organisations keep records of various activities that have been carried out for auditing purposes, but they are rarely used for analysis purposes. This paper describes the design and implementation of a process analysis tool that replays, analyses and visualises a variety of performance metrics using a process definition and its corresponding execution logs. The replayer uses a YAWL process model example to demonstrate its capacity to support advanced language constructs.

How do our 'quicks' generate pace? A cross sectional analysis of the Cricket Australia pace pathway

Technique and physical contributions to ball delivery speed in fast bowling have been popular research topics in sports science. However, a common limiting factor of this work is the level of expertise of participants and lack of within bowler investigations (Salter et al., 2007). The relationship between technique, anthropometry and ball speed has not been comprehensively investigated among elite fast bowlers. The purpose of this study was to examine the relationship between technique, anthropometric variables and ball speed using both within- and betweenbowler analyses in a cross section of the Cricket Australia high performance pace pathway.