Journals

S. Evangelista, M. Westergaard, and L.M. Kristensen

The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection

Transactions on Petri Nets and Other Models of Concurrency, 2009. To appear.

Conferences, reviewed

M. Westergaarda, L.M. Kristensen, and M. Kuusela

Towards Cosimulating SystemC and Coloured Petri Net Models for
SoC Functional and Performance Evaluation

Proceedings of 21^st European Modeling and Simulation Symposium. Puerto de la Cruz, Tenerife – Canary Islands, September 2009.

M. Westergaard and L.M. Kristensen

The Access/CPN Framework: A Tool for Interacting With the CPN Tools Simulator [PDF]

Proceedings of 30^th International Conference on Application and Theory of Petri Nets. Paris, France, June 2009.

M. Westergaard, S. Evangelista, and L.M. Kristensen

ASAP: An Extensible Platform for State Space Analysis [PDF]

Proceedings of 30^th International Conference on Application and Theory of Petri Nets. Paris, France, June 2009.

M. Westergaard, L.M. Kristensen, G.S. Brodal, and L. Arge

The ComBack Method — Extending Hash Compaction with Backtracking [PDF, PS]

Proceedings of 28^th International Conference on Application and Theory of Petri Nets. Siedlce, Poland, June 2007.

M. Westergaard and K.B. Lassen

The BRITNeY Suite Animation Tool [PDF, PS; slides: Keynote, PDF]

Proceedings of 27^th International Conference on Application and Theory of Petri Nets. Turku, Finland, June 2006.

L.M. Kristensen, M. Westergaard, and P.C. Nørgaard

Model-based Prototyping of an Interoperability Protocol for Mobile Ad-hoc Networks [PDF, PS; slides: Keynote, PDF]

Proceedings of Fifth International Conference on Integrated Formal Methods. Eindhoven, The Netherlands, November, December 2005.

T. Mailund and M. Westergaard

Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method [PDF, PS; slides: PowerPoint]

Proceedings of Tenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Barcelona, Spain, March, April 2004.

A.V. Ratzer, L. Wells, H.M. Lassen, M. Laursen, J.F. Qvortrup, M.S. Stissing, M. Westergaard, S. Christensen, and K. Jensen

CPN Tools for Editing, Simulating and Analysing Coloured Petri Nets [PDF]

Proceedings of 24^th International Conference on Application and Theory of Petri Nets. Eindhoven, The Netherlands, June 2003.