| 2007 |
|---|
| 5 | EE | Kurt Jensen,
Lars Michael Kristensen,
Lisa Wells:
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems.
STTT 9(3-4): 213-254 (2007) |
| 2006 |
|---|
| 4 | EE | Lisa Wells:
Performance analysis using CPN tools.
VALUETOOLS 2006: 59 |
| 2005 |
|---|
| 3 | EE | Lisa Wells,
Thomas Maier:
Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets.
ICATPN 2005: 403-422 |
| 2003 |
|---|
| 2 | 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 |
| 2002 |
|---|
| 1 | EE | Lisa Wells:
Performance Analysis Using Coloured Petri Nets.
MASCOTS 2002: 217- |
