CPN Tools: A Tool for Editing and Simulating Coloured Petri Nets (0)

by M Beaudouin-Lafon, W E Mackay, M Jensen
Venue:LNCS 2031: Tools and Algorithms for the Construction and Analysis of Systems