Constraint-based workflow management systems by M. Pesic