Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond. Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis. In Schahram Dustdar, José Luiz Fiadeiro, Amit P. Sheth, editors, Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings. Volume 4102 of Lecture Notes in Computer Science, pages 389-394, Springer, 2006. [doi]
@inproceedings{WynnAHE06,
title = {Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis},
author = {Moe Thandar Wynn and Wil M. P. van der Aalst and Arthur H. M. ter Hofstede and David Edmond},
year = {2006},
doi = {10.1007/11841760_28},
url = {http://dx.doi.org/10.1007/11841760_28},
tags = {analysis, workflow, systematic-approach},
researchr = {https://researchr.org/publication/WynnAHE06},
cites = {0},
citedby = {0},
pages = {389-394},
booktitle = {Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings},
editor = {Schahram Dustdar and José Luiz Fiadeiro and Amit P. Sheth},
volume = {4102},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-38901-6},
}