|
|||||
|
|
Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants |
|
| Authors: | Verbeek HMW; van der Aalst WMP; ter Hofstede AHM |
| Affiliation: | 1 Faculty of Technology Management, Eindhoven University of Technology, The Netherlands 2 Faculty of Information Technology, Queensland University of Technology, Australia |
| Abstract: | |
| Keywords: | Workflow management process models formal methods Petri nets patterns invariants |
| 本文献已被 Oxford 等数据库收录！ | |