Graph Based Workflow Validation. - Anastasios Giouris; Manolis Wallace (AIAI, 2007)