Journals and Conferences, reviewed
Please refer to my list of journal and conference publications.
Workshops, reviewed
- M. Westergaard, L.M. Kristensen, and M. Kuusela
A Prototype for Cosimulating SystemC and Coloured Petri Net Models
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
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
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, PostScript; slides: KeyNote.zip, PDF
Proceedings of 2nd International Workshop on Formal Methods for Interactive Systems. Lancaster, United Kingdom, September 2007. - M. Westergaard
Game Coloured Petri Nets [PDF, PostScript; slides: KeyNote.zip, 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, PostScript; slides: KeyNote.zip, 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, PostScript; 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, PostScript; 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, PostScript; slides: PowerPoint]
Proceedings of Microsoft Summer Workshop for Faculty and PhDs. Cambridge, England, September 2002.
Theses, Technical Reports, Other, and Slides from other presentations
Please refer to my list of secondary publications.
