Kurt Jensen

According to our database, Kurt Jensen authored at least 42 papers between 1979 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

2019

Carl Adam Petri: A Tribute from Aarhus.

Kurt Jensen, Mogens Nielsen

Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019

2015

Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems.

Kurt Jensen, Lars Michael Kristensen

Commun. ACM, 2015

2012

The sweep-line state space exploration method.

Kurt Jensen, Lars Michael Kristensen, Thomas Mailund

Theor. Comput. Sci., 2012

2009

Coloured Petri Nets - Modelling and Validation of Concurrent Systems.

Kurt Jensen, Lars Michael Kristensen

Springer, ISBN: 978-3-642-00284-7, 2009

2008

Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets.

Lars Michael Kristensen, Kurt Jensen

Trans. Petri Nets Other Model. Concurr., 2008

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

Special section on coloured Petri nets.

Kurt Jensen

Int. J. Softw. Tools Technol. Transf., 2007

2006

Tools and algorithms for the construction and analysis of systems.

Kurt Jensen, Andreas Podelski

Int. J. Softw. Tools Technol. Transf., 2006

2005

Special issue.

Kurt Jensen, Andreas Podelski

Theor. Comput. Sci., 2005

2004

Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks.

Lars Michael Kristensen, Kurt Jensen

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

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

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

Coloured Petri Nets: Status and Outlook.

Kurt Jensen

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

Application of Coloured Petri Nets in System Development.

Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen

Proceedings of the Lectures on Concurrency and Petri Nets, 2003

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

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, Kurt Jensen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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, Kurt Jensen

Proceedings of the CHI 2001 Extended Abstracts on Human Factors in Computing Systems, 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, Kurt Jensen

Proceedings of the Application and Theory of Petri Nets 2001, 2001

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 - Preface by the Section Editor.

Kurt Jensen

Int. J. Softw. Tools Technol. Transf., 1998

1997

Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use - Volume 3

Kurt Jensen

Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-642-60794-3, 1997

A Brief Introduction to Coloured Petri Nets.

Kurt Jensen

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

1996

Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use - Volume 1, Second Edition

Kurt Jensen

Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-662-03241-1, 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

Proceedings of the Lectures on Petri Nets II: Applications, 1996

1993

An Introduction to the Theoretical Aspects of Coloured Petri Nets.

Kurt Jensen

Proceedings of the A Decade of Concurrency, Reflections and Perspectives, 1993

1992

Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use - Volume 1

Kurt Jensen

EATCS Monographs on Theoretical Computer Science, Springer, ISBN: 978-3-662-06289-0, 1992

1989

Coloured Petri nets: A high level language for system design and analysis.

Kurt Jensen

Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989

Hierarchies in coloured Petri nets.

Peter Huber, Kurt Jensen, Robert M. Shapiro

Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989

1986

Reachability Trees for High-level Petri Nets.

Peter Huber, Arne M. Jensen, Leif O. Jepsen, Kurt Jensen

Theor. Comput. Sci., 1986

Coloured Petri Nets.

Kurt Jensen

Proceedings of the Petri Nets: Central Models and Their Properties, 1986

Computer Tools for Construction, Modification and Analysis of Petri Nets.

Kurt Jensen

Proceedings of the Petri Nets: Central Models and Their Properties, 1986

Petri Net Tool Overview 1986.

Frits Feldbrugge, Kurt Jensen

Proceedings of the Petri Nets: Central Models and Their Properties, 1986

1985

Pascal semantics by a combination of denotational semantics and high-level Petri nets.

Kurt Jensen, Erik Meineche Schmidt

Proceedings of the Advances in Petri Nets 1985, 1985

1984

The design of a program package for an introductory Petri net course.

Kurt Jensen

Proceedings of the Advances in Petri Nets 1984, 1984

Towards reachability trees for high-level Petri nets.

Peter Huber, Arne M. Jensen, Leif O. Jepsen, Kurt Jensen

Proceedings of the Advances in Petri Nets 1984, 1984

1982

High-Level Petri Nets.

Kurt Jensen

Proceedings of the Applications and Theory of Petri Nets, 1982

1981

Coloured Petri Nets and the Invariant-Method.

Kurt Jensen

Theor. Comput. Sci., 1981

How to Find Invariants for Coloured Petri Nets.

Kurt Jensen

Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981

Petri Nets and Semantics of System Descriptions.

Kurt Jensen, Morten Kyng

Proceedings of the Application and Theory of Petri Nets, 1981

1980

A Method to Compare the Descriptive Power of Different Types of Petri Nets.

Kurt Jensen

Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

1979

A Petri Net Definition of a System Description Language.

Kurt Jensen, Morten Kyng, Ole Lehrmann Madsen

Proceedings of the Semantics of Concurrent Computation, 1979