Verifying workflows with cancellation regions and OR-joins : an approach based on reset nets and reachability analysis
Moe Thandar Wynn, W.M.P. van der Aalst, A.H.M. ter Hofstede and David Edmond
| Year of publication: |
2006
|
|---|---|
| Authors: | Wynn, Moe Thandar ; Aalst, Wil van der ; Hofstede, A.H.M. ter ; Edmond, David |
| Published in: |
Business process management : 4th international conference, BPM 2006, Vienna, Austria, September 5 - 7, 2006 ; proceedings. - Berlin : Springer, ISBN 3-540-38901-6. - 2006, p. 389-394
|
| Extent: | Ill., graph. Darst. |
|---|---|
| Type of publication: | Article |
| Type of publication (narrower categories): | Aufsatz im Buch ; Book section |
| Language: | English |
| Source: | ECONIS - Online Catalogue of the ZBW |
Persistent link: https://www.econbiz.de/10003696893