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)

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

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

Transactions on Petri Nets and Other Models of Concurrency VII - Kurt Jensen; Wil M. P. van der Aalst; Gianfranco Balbo; Maciej Koutny; Karsten Wolf (Springer, 2013)

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

Transactions on Petri Nets and Other Models of Concurrency V - Kurt Jensen; Susanna Donatelli; Jetty Kleijn (Springer, 2012)

Transactions on Petri Nets and Other Models of Concurrency VI - Kurt Jensen; Wil M. P. van der Aalst; Marco Ajmone Marsan; Giuliana Franceschinis; Jetty Kleijn; Lars Michael Kristensen (Springer, 2012)

Transactions on Petri Nets and Other Models of Concurrency IV - Kurt Jensen; Susanna Donatelli; Maciej Koutny (Springer, 2010)

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

Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems - Kurt Jensen; Wil M. P. van der Aalst (Springer, 2009)

Transactions on Petri Nets and Other Models of Concurrency III - Kurt Jensen; Jonathan Billington; Maciej Koutny (Springer, 2009)

Special section on Coloured Petri Nets - Kurt Jensen (Int. J. Softw. Tools Technol. Transf., 2008)

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

Transactions on Petri Nets and Other Models of Concurrency I - Kurt Jensen; Wil M. P. van der Aalst; Jonathan Billington (Springer, 2008)

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)

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

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

Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks - Lars Michael Kristensen; Kurt Jensen (Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, 2004)

Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings - Kurt Jensen; Andreas Podelski (Springer, 2004)

Application of Coloured Petri Nets in System Development - Lars Michael Kristensen; Jens Bæk Jørgensen; Kurt Jensen (Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], 2003)

Coloured Petri Nets: Status and Outlook - Kurt Jensen (Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings, 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 (Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings, 2003)

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)

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. (Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings, 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 2001 Extended Abstracts on Human Factors in Computing Systems, CHI Extended Abstracts 2001, Seattle, Washington, USA, March 31 - April 5, 2001, 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. (Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, 2001)

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)

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

A Brief Introduction to Coloured Petri Nets - Kurt Jensen (Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997, Proceedings, 1997)

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

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

An Introduction to the Practical Use of Coloured Petri Nets - Kurt Jensen (Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996, 1996)

An Introduction to the Theoretical Aspects of Coloured Petri Nets - Kurt Jensen (A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings, 1993)

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

Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings - Kurt Jensen (Springer, 1992)

Hierarchies in coloured Petri nets - Peter Huber; Kurt Jensen; Robert M. Shapiro (Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings], 1989)

Coloured Petri nets: A high level language for system design and analysis - Kurt Jensen (Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings], 1989)

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

Computer Tools for Construction, Modification and Analysis of Petri Nets - Kurt Jensen (Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, Germany, 8-19 September 1986, 1986)

Petri Net Tool Overview 1986 - Frits Feldbrugge; Kurt Jensen (Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, Germany, 8-19 September 1986, 1986)

Coloured Petri Nets - Kurt Jensen (Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef, Germany, 8-19 September 1986, 1986)

Pascal semantics by a combination of denotational semantics and high-level Petri nets - Kurt Jensen; Erik Meineche Schmidt (Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers, 1985)

Towards reachability trees for high-level Petri nets - Peter Huber; Arne M. Jensen; Leif O. Jepsen; Kurt Jensen (Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers, 1984)

The design of a program package for an introductory Petri net course - Kurt Jensen (Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers, 1984)

High-Level Petri Nets - Kurt Jensen (Applications and Theory of Petri Nets, Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982, 1982)

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

Petri Nets and Semantics of System Descriptions - Kurt Jensen; Morten Kyng (Application and Theory of Petri Nets, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Strasbourg, France 23.-26. September 1980, Bad Honnef, Germany, 28.-30. September 1981, 1981)

How to Find Invariants for Coloured Petri Nets - Kurt Jensen (Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31 - September 4, 1981, Proceedings, 1981)

A Method to Compare the Descriptive Power of Different Types of Petri Nets - Kurt Jensen (Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980, 1980)

A Petri Net Definition of a System Description Language - Kurt Jensen; Morten Kyng; Ole Lehrmann Madsen (Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979, 1979)