Well-structured transition systems everywhere!
Theoretical Computer Science
Distributed and Parallel Databases
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
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
YAWL: yet another workflow language
Information Systems
Achieving a general, formal and decidable approach to the OR-Join in workflow using reset nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Discovery, Verification and Conformance of Workflows with Cancellation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Reduction rules for YAWL workflows with cancellation regions and OR-joins
Information and Software Technology
Petri Net Transformations for Business Processes --- A Survey
Transactions on Petri Nets and Other Models of Concurrency II
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
Hi-index | 0.00 |
When dealing with complex business processes (e.g., in the context of a workflow implementation or the configuration of some process-aware information system), it is important but sometimes difficult to determine whether a process contains any errors. The concepts such as cancellation and OR-joins occur naturally in business scenarios but the presence of these features in process models poses new challenges for verification. We take on the challenge of finding new verification techniques for workflows with cancellation regions and OR-joins. The proposed approach relies on reset nets and reachability analysis. We present these techniques in the context of workflow language YAWL that provides direct support for these features. We have extended the graphical editor of YAWL with these diagnostic features.