CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS.

Michel Beaudouin-Lafon, Wendy E. Mackay, Mads Jensen, Peter Andersen, Paul Janecek, Henry Michael Lassen, Kasper Lund, Kjeld Hyer Mortensen, Stephanie Munck, Anne V. Ratzer, Katrine Ravn, Sren Christensen, Kurt Jensen

Browse the full TACAS paper archive.