Designing a Workflow System using Coloured Petri Nets ⋆⋆⋆

by Nick Russell , Arthur H. M. Ter Hofstede