Transformations and decompositions of nets
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Well-structured transition systems everywhere!
Theoretical Computer Science
Distributed and Parallel Databases
Reset Nets Between Decidability and Undecidability
ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Workflow Management: Models, Methods, and Systems
Workflow Management: Models, Methods, and Systems
Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science)
Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science)
Verification of EPCs: using reduction rules and petri nets
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Research and Application on Business Rules for One-Stop Administrative Permit System
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
On path dependent loss and switch crosstalk reduction in optical networks
Information Sciences: an International Journal
Multiset topologies induced by multiset relations
Information Sciences: an International Journal
Analysis of the Petri net model of parallel manufacturing processes with shared resources
Information Sciences: an International Journal
Detection of naming convention violations in process models for different languages
Decision Support Systems
Hi-index | 0.07 |
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.