2003 |
4 | EE | Anne V. Ratzer,
Lisa Wells,
Henry Michael Lassen,
Mads Laursen,
Jacob Frank Qvortrup,
Martin Stig Stissing,
Michael Westergaard,
Søren Christensen,
Kurt Jensen:
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets.
ICATPN 2003: 450-462 |
2001 |
3 | EE | Michel Beaudouin-Lafon,
Wendy E. Mackay,
Peter Andersen,
Paul Janecek,
Mads Jensen,
Henry Michael Lassen,
Kasper Lund,
Kjeld Høyer Mortensen,
Stephanie Munck,
Anne V. Ratzer,
Katrine Ravn,
Søren Christensen,
Kurt Jensen:
CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets.
ICATPN 2001: 71-80 |
2 | EE | 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:
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS.
TACAS 2001: 574-577 |
2000 |
1 | EE | Michel Beaudouin-Lafon,
Henry Michael Lassen:
The architecture and implementation of CPN2000, a post-WIMP graphical application.
UIST 2000: 181-190 |