Abstract:The application of reduction rules to any Petri net may assist in its analysis as its reduced version may be significantly smaller while still retaining the original net's essential properties. Reset nets extend Petri nets with the concept of a reset arc, allowing one to remove all tokens from a certain place. Such nets have a natural application in business process modelling where possible cancellation of activities need to be modelled explicitly and in workflow management where such process models with cancellation behaviours should be enacted correctly. As cancelling the entire workflow or even cancelling certain activities in a workflow has serious implications during execution (for instance, a workflow can deadlock because of cancellation), such workflows should be thoroughly tested before deployment. However, verification of large workflows with cancellation behaviour is time consuming and can become intractable due to the state space explosion problem. One way of speeding up verification of workflows based on reset nets is to apply reduction rules. Even though reduction rules exist for Petri nets and some of its subclasses and extensions, there are no documented reduction rules for reset nets. This paper systematically presents such reduction rules. Because we want to apply the results to the workflow domain, this paper focusses on reset workflow nets (RWF-nets), i.e. a subclass tailored to the modelling of workflows. The approach has been implemented in the context of the workflow system YAWL.

Reduction Rules of Graphical Representation in a Workflow Process Model

Verification And Reduction Of Cyclic Structure In Workflow Model

Soundness-preserving Reduction Rules for Reset Workflow Nets

Workflow Process Model Verification Using Reduction Method Based on P/T System

Workflow Model Verification Based on Matrix Transformation

Reduction Rules for YAWL Workflow Nets with Cancellation Regions and OR-joins

A Method for Semantic Verification of Workflow Processes Based on Petri Net Reduction Technique

A Set of Model Reduction Rules and Algorithms for Web Services Composition under Orchestration Pattern

An Approach to Decomposition of Workflow Models Based on Petri Net

Thinking process rules extraction for manufacturing process design

Graphical Workflow Process Modeling and its Automata-Based Dynamic Semantics

Design and Implementation of Workflow Modeling and Processing System with Business Reconstruction

An Algorithm Combining Graph-Reduction and Graph-Search for Workflow Graphs Verification.

Analyzing Data Dependence Based on Workflow Net

Design and Implementation of Financial Workflow Model Based on the Petri Net

Workflow Model Decomposition Based on Petri Net and Abstraction

A Novel Reduction Approach to Analyzing QoS of Workflow Processes

Property-Transition-Net-Based Workflow Process Modeling and Verification

An Approach to a Web-Based Flexible Workflow Modeling

Generating document tree of workflow with synchronization process

A Hierachical Workflow model Based on Petri nets