Reduction rules for YAWL workflows with cancellation regions and OR-joins
- 30 June 2009
- journal article
- Published by Elsevier BV in Information and Software Technology
- Vol. 51 (6), 1010-1020
- https://doi.org/10.1016/j.infsof.2008.12.002
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and InvariantsThe Computer Journal, 2007
- Transformations and decompositions of netsPublished by Springer Science and Business Media LLC ,2006
- Checking properties of nets using transformationsPublished by Springer Science and Business Media LLC ,2005
- YAWL: yet another workflow languageInformation Systems, 2005
- Workflow PatternsDistributed and Parallel Databases, 2003
- Reduction rules for time Petri netsActa Informatica, 1996
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989