R. Mans, {. Aalst, P. Bakker, A. Moleman, K. Lassen, and J. Jørgensen. Proceedings of the Eighth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2007), volume 584 of DAIMI, page 187--206. Aarhus, Denmark, University of Aarhus, (October 2007)