Structural Detection of Deadlocks in Business Process Models
Authors:
- 1 January 2008
- book chapter
- Published by Springer Nature
- p. 239-250
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Structural Patterns for Soundness of Business Process Models2006
- Investigations on Soundness Regarding Lazy Activities2006
- Analyzing Web Service Based Business Processes2005
- Business Process Management: A Survey2003
- Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models1999
- Verification of workflow nets1997