"CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS ..."

Michel Beaudouin-Lafon et al. (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics