Workshops, reviewed
M. Westergaard, L.M. Kristensen, and M. Kuusela
A Prototype for Cosimulating SystemC and Coloured Petri Net Models [PDF]
Proceedings of Tenth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools. Århus, Denmark, October 2009.
K.L. Espensen, M.K. Kjeldsen, L.M. Kristensen, and M. Westergaard
Towards Automatic Code-generation from Process-partitioned Coloured Petri Nets [PDF]
Proceedings of Tenth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools. Århus, Denmark, October 2009.
M. Westergaard and L.M. Kristensen
Two Interfaces to the CPN Tools Simulator [PDF]
Proceedings of Ninth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools. Århus, Denmark, October 2008.
M. Westergaard and L.M. Kristensen
JoSEL: A Job Specification and Execution Language for Model Checking [PDF]
Proceedings of Ninth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools. Århus, Denmark, October 2008.
S. Evangelista, M. Westergaard, and L.M. Kristensen
The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection [PDF]
Proceedings of Ninth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools. Århus, Denmark, October 2008.
M. Westergaard
A Game-theoretic View on Behavioural Visualisation [PDF, PS; slides: Keynote, PDF]
Proceedings of 2nd International Workshop on Formal Methods for Interactive Systems. Lancaster, United Kingdom, September 2007.
M. Westergaard
Game Coloured Petri Nets [PDF, PS; slides: Keynote, PDF]
Proceedings of Seventh Workshop on Practical Use of Coloured Petri Nets and the CPN Tools. Århus, Denmark, October 2006.
M. Westergaard
The BRITNeY Suite: A Platform for Experiments [PDF, PS; slides: Keynote, PDF; demos: zip]
Proceedings of Seventh Workshop on Practical Use of Coloured Petri Nets and the CPN Tools. Århus, Denmark, October 2006.
M. Westergaard and K.B. Lassen
Building and Deploying Visualizations of Coloured Petri Net Models Using BRITNeY Animation and CPN Tools [PDF, PS; slides: PowerPoint; screencast of presentation]
Proceedings of Sixth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools. Århus, Denmark, October 2005.
M. Westergaard
Towards a High-level Petri Net Type Definition [PDF, PS; slides: PowerPoint]
Proceedings of Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets. Satellite event at the 25th International Conference on Application and Theory of Petri Net, Bologna. Italy, June 2004.
M. Westergaard
Supporting Multiple Pointing Devices in Microsoft Windows [PDF, PS; slides: PowerPoint]
Proceedings of Microsoft Summer Workshop for Faculty and PhDs. Cambridge, England, September 2002.
