CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. - Anne V. Ratzer; Lisa Wells; Henry Michael Lassen; Mads Laursen; Jacob Frank Qvortrup; Martin Stig Stissing; Michael Westergaard; Søren Christensen; Kurt Jensen (ICATPN, 2003)