Soundness-preserving Reduction Rules for Reset Workflow Nets
Wynn, M. T.; Verbeek, H. M. W.; van der Aalst, Wil M. P.; ter Hofstede, A. H. M.; Edmond, D.
New York, NY : Elsevier Science Inc. (2009)
Journal Article
In: Information sciences
Volume: 179
Issue: 6
Page(s)/Article-Nr.: 769-790
Institutions
- Department of Computer Science [120000]
- Chair of Computer Science 9 (Process and Data Science) [122510]
Identifier
- DOI: 10.1016/j.ins.2008.10.033
- RWTH PUBLICATIONS: RWTH-CONV-220813