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 Høyer Mortensen Stephanie Munck Anne V. Ratzer Katrine Ravn Søren Christensen Kurt Jensen

Published in: TACAS (2001)

Keyphrases