CPN/tools: A tool for editing and simulating coloured petri nets (2001)

by Michel Beaudouin-Lafon, Wendy E Mackay, Mads Jensen, Peter Andersen, Paul Janecek, Michael Lassen, Kasper Lund, Kjeld Mortensen, Stephanie Munck, Anne Ratzer, Katrine Ravn, Soren Christensen, Kurt Jensen
Venue:In Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, volume 2031 of LNCS