CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets.
Michel Beaudouin-LafonWendy E. MackayPeter AndersenPaul JanecekMads JensenHenry Michael LassenKasper LundKjeld Høyer MortensenStephanie MunckAnne V. RatzerKatrine RavnSøren ChristensenKurt JensenPublished in: ICATPN (2001)