A Petri Net Definition of a System Description Language. - Kurt Jensen; Morten Kyng; Ole Lehrmann Madsen (Semantics of Concurrent Computation, 1979)

A Method to Compare the Descriptive Power of Different Types of Petri Nets. - Kurt Jensen (MFCS, 1980)

Petri Nets and Semantics of System Descriptions. - Kurt Jensen; Morten Kyng (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981)

How to Find Invariants for Coloured Petri Nets. - Kurt Jensen (MFCS, 1981)

Coloured Petri Nets and the Invariant-Method. - Kurt Jensen (Theor. Comput. Sci., 1981)

High-Level Petri Nets. - Kurt Jensen (European Workshop on Applications and Theory of Petri Nets, 1982)

Towards reachability trees for high-level Petri nets. - Peter Huber; Arne M. Jensen; Leif O. Jepsen; Kurt Jensen (European Workshop on Applications and Theory in Petri Nets, 1984)

The design of a program package for an introductory Petri net course. - Kurt Jensen (European Workshop on Applications and Theory in Petri Nets, 1984)

Pascal semantics by a combination of denotational semantics and high-level Petri nets. - Kurt Jensen; Erik Meineche Schmidt (Applications and Theory in Petri Nets, 1985)

Petri Net Tool Overview 1986. - Frits Feldbrugge; Kurt Jensen (Advances in Petri Nets, 1986)

Computer Tools for Construction, Modification and Analysis of Petri Nets. - Kurt Jensen (Advances in Petri Nets, 1986)

Coloured Petri Nets. - Kurt Jensen (Advances in Petri Nets, 1986)

Reachability Trees for High-level Petri Nets. - Peter Huber; Arne M. Jensen; Leif O. Jepsen; Kurt Jensen (Theor. Comput. Sci., 1986)

Hierarchies in coloured Petri nets. - Peter Huber; Kurt Jensen; Robert M. Shapiro (Applications and Theory of Petri Nets, 1989)

Coloured Petri nets: A high level language for system design and analysis. - Kurt Jensen (Applications and Theory of Petri Nets, 1989)

Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use - Volume 1 - Kurt Jensen (Springer, 1992)

An Introduction to the Theoretical Aspects of Coloured Petri Nets. - Kurt Jensen (REX School/Symposium, 1993)

An Introduction to the Practical Use of Coloured Petri Nets. - Kurt Jensen (Petri Nets (2), 1996)

Condensed State Spaces for Symmetrical Coloured Petri Nets. - Kurt Jensen (Formal Methods Syst. Des., 1996)

Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use - Volume 1, Second Edition - Kurt Jensen (Springer, 1996)

A Brief Introduction to Coloured Petri Nets. - Kurt Jensen (TACAS, 1997)

Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use - Volume 3 - Kurt Jensen (Springer, 1997)

Coloured Petri Nets - Preface by the Section Editor. - Kurt Jensen (Int. J. Softw. Tools Technol. Transf., 1998)

The Practitioner's Guide to Coloured Petri Nets. - Lars Michael Kristensen; Søren Christensen; Kurt Jensen (Int. J. Softw. Tools Technol. Transf., 1998)

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)

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)

Special Section on the Practical Use of High-Level Petri Nets: Preface by the section editor. - Kurt Jensen (Int. J. Softw. Tools Technol. Transf., 2001)

Application of Coloured Petri Nets in System Development. - Lars Michael Kristensen; Jens Bæk Jørgensen; Kurt Jensen (Lectures on Concurrency and Petri Nets, 2003)

Coloured Petri Nets: Status and Outlook. - Kurt Jensen (ICATPN, 2003)

CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. - Anne V. Ratzer; Lisa Wells; Henry Michael Lassen; Mads Laursen; Jacob Frank Qvortrup; Martin Stig Stissing; Michael Westergaard; Søren Christensen; Kurt Jensen (ICATPN, 2003)

Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. - Lars Michael Kristensen; Kurt Jensen (SoftSpez Final Report, 2004)

Special issue. - Kurt Jensen; Andreas Podelski (Theor. Comput. Sci., 2005)

Tools and algorithms for the construction and analysis of systems. - Kurt Jensen; Andreas Podelski (Int. J. Softw. Tools Technol. Transf., 2006)

Special section on coloured Petri nets. - Kurt Jensen (Int. J. Softw. Tools Technol. Transf., 2007)

Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. - Kurt Jensen; Lars Michael Kristensen; Lisa Wells (Int. J. Softw. Tools Technol. Transf., 2007)

Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets. - Lars Michael Kristensen; Kurt Jensen (Trans. Petri Nets Other Model. Concurr., 2008)

Coloured Petri Nets - Modelling and Validation of Concurrent Systems. - Kurt Jensen; Lars Michael Kristensen (Springer, 2009)

The sweep-line state space exploration method. - Kurt Jensen; Lars Michael Kristensen; Thomas Mailund (Theor. Comput. Sci., 2012)

Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems. - Kurt Jensen; Lars Michael Kristensen (Commun. ACM, 2015)

Carl Adam Petri: A Tribute from Aarhus. - Kurt Jensen; Mogens Nielsen (Carl Adam Petri: Ideas, Personality, Impact, 2019)

Accurate Prediction of Knee Angles during Open-Chain Rehabilitation Exercises Using a Wearable Array of Nanocomposite Stretch Sensors. - David S. Wood; Kurt Jensen; Allison Crane; Hyunwook Lee; Hayden Dennis; Joshua Gladwell; Anne Shurtz; David T. Fullwood; Matthew K. Seeley; Ulrike H. Mitchell; William F. Christensen; Anton E. Bowden (Sensors, 2022)