Woflan 2.0 A Petri-Net-Based Workflow Diagnosis Tool

Verbeek, Eric; Aalst, Wil M. P. van der

doi:10.1007/3-540-44988-4_28

Cited by 66 publications

(46 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Although it is possible to use standard Petri-net-based analysis tools, we have developed a workflow analyzer which can be used by people not familiar with Petri-net theory [4,5,23,24]. This workflow analyzer interfaces with existing workflow products such as Staffware, COSA, METEOR, and Protos.…”

Section: Resultsmentioning

confidence: 99%

“…We will also show that the approach presented in this chapter allows for the compositional verification of workflows, i.e., the correctness of a process can be decided by partitioning it into sound subprocesses. To support the application of the results presented in this chapter, we have developed a Petri-net-based workflow analyzer called Woflan [4,5,23,24]. Woflan is a workflow management system independent analysis tool which interfaces with some of the leading products at the Dutch workflow market.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques

Aalst

2000

Lecture Notes in Computer Science

328

196

View full text Add to dashboard Cite

Abstract. Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, they attempt to support frequent changes of the workflows at hand. Therefore, the need for analysis methods to verify the correctness of workflows is becoming more prominent. In this chapter we present a method based on Petri nets. This analysis method exploits the structure of the Petri net to find potential errors in the design of the workflow. Moreover, the analysis method allows for the compositional verification of workflows.

show abstract

Section: Resultsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques

Aalst

2000

Lecture Notes in Computer Science

328

196

View full text Add to dashboard Cite

show abstract

“…Therefore, several liveness and boundedness analysis techniques [32,33] are directly applicable to the verification of soundness. Tools like Woflan facilitate the verification of soundness in practice [34,35]. Soundness identifies all deadlocks and lack of synchronization for process models with one start and one end node.…”

Section: Verification Approachesmentioning

confidence: 99%

Empirical Studies in Process Model Verification

Mendling

2009

Transactions on Petri Nets and Other Models of Concurrency II

View full text Add to dashboard Cite

Abstract. Despite the large body of knowledge on formal analysis techniques for process models, in particular Petri nets, there has been a notable gap of empirical research into verification. In this paper we compare the few studies that report results from applying verification techniques to real-world process model collections. For this comparison we are particularly interested in the different approaches, their computational performance, and the number of errors found. Our comparison reveals that most of the samples have error rates of 10% to 20%. Some of the studies have established a connection between error probability and process model metrics, as well as between model understanding and both metrics and modeling competence of the model reader. Based on these results, we discuss implications and directions for future research.

show abstract

“…Because of its foundation on Petri net, its verification seems easier than other modeling languages such as UML-AD. There are lots of research works [16][17][18][19] and a series of mature tools [20][21][22][23][24] concerning the verification of YAWL. And YAWL models with advanced control structures like or-join and cancel region can be verified using these mature tools.…”

Section: Introductionmentioning

confidence: 99%

Control-Flow Pattern Based Transformation from UML Activity Diagram to YAWL

Zhao

Zhang

Ling

et al. 2012

Lecture Notes in Business Information Processing

View full text Add to dashboard Cite

Abstract. Business process verification is an important topic in business process management (BPM). The verification of standard UML Activity Diagram is not easy due to lack of mature tools. YAWL (yet another workflow language) has a formal semantics based on Petri net; verification of YAWL model seems easier than other modeling languages such as UML-AD. A series of mature verification tools has been released (Woflan, WofYAWL, ProM) based on YAWL to find structural errors, such as deadlocks in the model. These tools can be used for verifying UML-AD models if they can be transformed to YAWL models.The most challenging problem is that some control-flow patterns in UML-AD can't be transformed via an element-to-element mapping. To solve this problem we provide a control-flow pattern based method for transforming a UML-AD model to YAWL. We regard these patterns that need to be transformed as whole model segments, pick them out from the UML-AD model and transform the left part using an element-to-element mapping as well as an object flow transforming method. We subsequently transform the picked-out patterns via patterns-based transformation and combine all the transformed YAWL segments to a new YAWL net.

show abstract

Woflan 2.0 A Petri-Net-Based Workflow Diagnosis Tool

Cited by 66 publications

References 5 publications

Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques

Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques

Empirical Studies in Process Model Verification

Control-Flow Pattern Based Transformation from UML Activity Diagram to YAWL

Contact Info

Product

Resources

About