The following publications are possibly variants of this publication:
- CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri NetsMichel Beaudouin-Lafon, Wendy E. Mackay, Peter Andersen, Paul Janecek, Mads Jensen, Henry Michael Lassen, Kasper Lund, Kjeld Høyer Mortensen, Stephanie Munck, Anne V. Ratzer, Katrine Ravn, Søren Christensen, Kurt Jensen. apn 2001: 71-80 [doi]
- CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACASMichel Beaudouin-Lafon, Wendy E. Mackay, Mads Jensen, Peter Andersen, Paul Janecek, Henry Michael Lassen, Kasper Lund, Kjeld Høyer Mortensen, Stephanie Munck, Anne V. Ratzer, Katrine Ravn, Søren Christensen, Kurt Jensen. TACAS 2001: 574-577 [doi]
- Design/CPN - A Computer Tool for Coloured Petri NetsSøren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen. TACAS 1997: 209-223
- Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systemsKurt Jensen, Lars Michael Kristensen, Lisa Wells. STTT, 9(3-4):213-254, 2007. [doi]
- Analysing a Mechatronic System with Coloured Petri NetsGilles Moncelet, Søren Christensen, Hamid Demmou, Mario Paludetto, José Porras. STTT, 2(2):160-167, 1998. [doi]