Modelling the Work Flow of a Nuclear Waste Management Program. - Kjeld Høyer Mortensen; Valerio O. Pinci (Application and Theory of Petri Nets, 1994)

Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets. - Jens Bæk Jørgensen; Kjeld Høyer Mortensen (Application and Theory of Petri Nets, 1996)

Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course. - Søren Christensen; Kjeld Høyer Mortensen (ICATPN, 1997)

Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control System. - Kjeld Høyer Mortensen (ICATPN, 2000)

CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets. - 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; et al. (ICATPN, 2001)

CPN/tools: revisiting the desktop metaphor with post-WIMP interaction techniques. - Michel Beaudouin-Lafon; Wendy E. Mackay; Peter Andersen; Paul Janecek; Mads Jensen; Henry Michael Lassen; Kasper Lund; Kjeld Høyer Mortensen; Stephanie Munck; Katrine Ravn; Anne V. Ratzer; Søren Christensen; et al. (CHI Extended Abstracts, 2001)

Simulation Based Performance Analysis of Web Servers. - Lisa Wells; Søren Christensen; Lars Michael Kristensen; Kjeld Høyer Mortensen (PNPM, 2001)

CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS. - 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; et al. (TACAS, 2001)

Distance-Based Access Modifiers Applied to Safety in Home Networks. - Kjeld Høyer Mortensen; Kari R. Schougaard; Ulrik Pagh Schultz (EUSAI, 2004)