CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets