Structure theory of Petri nets: the free choice hiatus
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Free choice Petri nets
Workflow handbook 1997
Adept_flex—Supporting Dynamic Changes of Workflows Without Losing Control
Journal of Intelligent Information Systems - Special issue on workflow management systems
Verification problems in conceptual workflow specifications
Data & Knowledge Engineering - Special issue on ER '96
Liveness, fairness, and recurrence in Petri nets
Information Processing Letters
Analyzing process models using graph reduction techniques
Information Systems - The 11th international conference on advanced information systems engineering (CAiSE*
Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Complexity Results for 1-safe Nets
Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science
Conceptual Modelling of WorkFlows
OOER '95 Proceedings of the 14th International Conference on Object-Oriented and Entity-Relationship Modelling
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Linear Time Algorithm to Find a Minimal Deadlock in a Strongly Connected Free-Choice Net
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Modeling and Enactment of Workflow Systems
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
A Novel Graph Reduction Algorithm to Identify Structural Conflicts
HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 - Volume 9
POESIA: An ontological workflow approach for composing Web services in agriculture
The VLDB Journal — The International Journal on Very Large Data Bases
Customizing internal activity behaviour for flexible process enforcement
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Mining and Reasoning on Workflows
IEEE Transactions on Knowledge and Data Engineering
Analyzing workflows implied by instance-dependent access rules
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Discovering Expressive Process Models by Clustering Log Traces
IEEE Transactions on Knowledge and Data Engineering
Mining unconnected patterns in workflows
Information Systems
Improving process models by discovering decision points
Information Systems
Terminability and compensatibility of cycles in business processes with a process-oriented trigger
Data & Knowledge Engineering
Mining taxonomies of process models
Data & Knowledge Engineering
Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Applying Patterns during Business Process Modeling
BPM '08 Proceedings of the 6th International Conference on Business Process Management
An Efficient Algorithm for Workflow Graph Structural Verification
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Automatic Workflow Graph Refactoring and Completion
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Reduction rules for YAWL workflows with cancellation regions and OR-joins
Information and Software Technology
Workflow Diagrams Based on Evidence Life Cycles
Proceedings of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering
Controllability in Temporal Conceptual Workflow Schemata
BPM '09 Proceedings of the 7th International Conference on Business Process Management
A Restructuring Method for WS-BPEL Business Processes Based on Extended Workflow Graphs
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Instantaneous Soundness Checking of Industrial Business Process Models
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Language-Independent Change Management of Process Models
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Unveiling Hidden Unstructured Regions in Process Models
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Beyond soundness: on the verification of semantic business process models
Distributed and Parallel Databases
Reactive Petri nets for workflow modeling
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Formalization and verification of EPCs with OR-joins based on state and context
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Semantic analysis of flow patterns in business process modeling
BPM'07 Proceedings of the 5th international conference on Business process management
A workflow net similarity measure based on transition adjacency relations
Computers in Industry
An integer programming based approach for verification and diagnosis of workflows
Data & Knowledge Engineering
Precise detection of conflicting change operations using process model terms
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Analysis on demand: Instantaneous soundness checking of industrial business process models
Data & Knowledge Engineering
Process restructuring in the presence of message-dependent variables
ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
Decomposition-based verification of cyclic workflows
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Verification of EPCs: using reduction rules and petri nets
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Mining hierarchies of models: from abstract views to concrete specifications
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Thresholds for error probability measures of business process models
Journal of Systems and Software
On the refactoring of activity labels in business process models
Information Systems
Efficient computation of causal behavioural profiles using structural decomposition
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Conceptual modeling of flexible temporal workflows
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Automating Data-Throttling Analysis for Data-Intensive Workflows
CCGRID '12 Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)
Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL
Software and Systems Modeling (SoSyM)
Measuring the effectiveness of throttled data transfers on data-intensive workflows
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
A pattern-based approach for the verification of business process descriptions
Information and Software Technology
The difficulty of replacing an inclusive OR-join
BPM'12 Proceedings of the 10th international conference on Business Process Management
Model-driven specification of adaptive cloud-based systems
Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing
Detection and resolution of conflicting change operations in version management of process models
Software and Systems Modeling (SoSyM)
Diagnosing correctness of semantic workflow models
Data & Knowledge Engineering
| Hi-index | 0.00 |
At the CAiSE conference in Heidelberg in 1999, Wasim Sadiq andMaria Orlowska presented an algorithm to verify workflow graphs [19]. The algorithm uses a set of reduction rules to detect structural conflicts. This paper shows that the set of reduction rules presented in [19] is not complete and proposes an alternative algorithm. The algorithm translates workflow graphs into so-called WF-nets. WF-nets are a class of Petri nets tailored towards workflow analysis. As a result, Petri-net theory and tools can be used to verify workflow graphs. In particular, our workflow verification tool Woflan [21] can be used to detect design errors. It is shown that the absence of structural conflicts, i.e., deadlocks and lack of synchronization, conforms to soundness of the corresponding WF-net [2]. In contrast to the algorithm presented in [19], the algorithm presented in this paper is complete. Moreover, the complexity of this alternative algorithm is given.