Soundness of workflow nets: classification, decidability, and analysis

Aalst, Wil M. P. van der; Hee, K.M. van; Hofstede, Arthur H. M. ter; Sidorova, Natalia; Verbeek, H. M. W.; Voorhoeve, Marc; Wynn, Moe Thandar

doi:10.1007/s00165-010-0161-4

Cited by 298 publications

(225 citation statements)

References 59 publications

Supporting

Mentioning

221

Contrasting

Unclassified

Order By: Relevance

“…Our work is based on Petri net, WF-net to be more precise. We assumed that readers are familiar with the basic concepts of WF-net [1]- [2] and Petri nets [13]- [18]. Some of the essential terminologies and notations are listed as follows.…”

Section: Modeling Approaches Based Wfio-netmentioning

confidence: 99%

“…A workflow is a representation of a given process that is made up of well-defined collection of activities, also referred to as tasks. In recent days, workflow structural correctness verification (also refers to as control-flow perspective) [1]- [2] has received much more attention than the other aspects. However, a complete workflow description requires to characteristic the other perspectives, including time, resource, data and etc.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Formulating the Data-Flow Modeling and Verification for Workflow: A Petri Net based Approach

Liu¹,

Zeng²,

Duan³

2014

IJSEA

View full text Add to dashboard Cite

Abstract:Control-flow and data-flow modeling and verification are two important challenges for traditional workflow management. To formulate the data-flow modeling and verification, a Petri Net based approach is proposed in this paper. More specifically, the WFIO-net, which is a kind of WF-net by extending each activity with its read and write data sets, is first presented to model both the control-flow and data-flow information in a workflow process. Moreover, the firing rule of WFIO-net which is different from traditional Petri net is discussed in detail. Then the formal definitions of three basic types of data-flow errors, including missing data, redundant data and conflicting data are formulated using WFIO-net. Next, a polynomial complexity algorithm which is capable of detecting the above-mentioned three kinds of basic data-flow anomalies is proposed based on the activity-data incidence matrix of the WFIO-net. A running case of a property loan approval business process is given to validate the proposed method.

show abstract

Section: Modeling Approaches Based Wfio-netmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Formulating the Data-Flow Modeling and Verification for Workflow: A Petri Net based Approach

Liu¹,

Zeng²,

Duan³

2014

IJSEA

View full text Add to dashboard Cite

show abstract

“…The process models shown thus far are all Petri nets (WF-nets [1,6] to be precise). Different process mining algorithms may use different representations.…”

Section: Process Discovery and Conformance Checkingmentioning

confidence: 99%

“…9 has a designated source place (in), a designated source place (out), and all nodes are on a path from in to out. Such nets are called WF-nets [1,6].…”

Section: Definition 7 (Tracesmentioning

confidence: 99%

See 1 more Smart Citation

Distributed Process Discovery and Conformance Checking

Aalst

2012

Fundamental Approaches to Software Engineering

View full text Add to dashboard Cite

The v‐algorithm for discovering software process lines

Blum

Simmonds

Bastarrica

2016

J Software Evolu Process

View full text Add to dashboard Cite

A software company can define a software process line (SPrL) to deal with projects with different characteristics. This entails defining a base process and its variation points; the SPrL is then tailored to each project. This approach avoids the co-evolution problems but is expensive to set up. In companies that register project events, this information could be used to discover the SPrL. However, traditional discovery algorithms focus on extracting a single process, which can be overly complex and would not be useful for managing future projects. Filtering out less frequent behavior leads to the discovery of simpler models, but these may not include relevant behavior. To address these issues, we propose the v-algorithm, which discovers a SPrL from process logs. Two thresholds split the log into three clusters based on relation frequency. The first one is used to generate the base process, the second one is used to identify variable elements, and the last one is discarded. We used the v-algorithm to discover the SPrL of Mobius, a small Chilean software company. We also discuss how the values of the thresholds affect the process discovery quality dimensions, extending existing metrics to the SPrL case.

show abstract

Soundness of workflow nets: classification, decidability, and analysis

Cited by 298 publications

References 59 publications

Formulating the Data-Flow Modeling and Verification for Workflow: A Petri Net based Approach

Formulating the Data-Flow Modeling and Verification for Workflow: A Petri Net based Approach

Distributed Process Discovery and Conformance Checking

The v‐algorithm for discovering software process lines

Contact Info

Product

Resources

About