1. An integer programming based approach for verification and diagnosis of workflows;Eshuis;Data & Knowledge Engineering,2010
2. Workflow Management — Modeling Concepts, Architecture and Implementation;Jablonski,1996
3. An alternative way to analyze workflow graphs;van der Aalst,2002
4. Verification support for workflow design with UML activity graphs;Eshuis,2002
5. Data flow and validation in workflow modelling;Sadiq,2004