Design/CPN - A Computer Tool for Coloured Petri Nets.

Sren Christensen, Jens Bk Jrgensen, Lars Michael Kristensen

Browse the full TACAS paper archive.