Michel 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 CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS. 574-577 2001 conf/tacas/2001 TACAS http://dx.doi.org/10.1007/3-540-45319-9_39 db/conf/tacas/tacas2001.html#Beaudouin-LafonMJAJLLMMRRCJ01