Kurt Jensen

Publication Activity (10 Years)

Years Active: 1979-2022
Publications (10 Years): 1

Top Topics

Highly Expressive

Colored Petri Nets

Wearable Devices

Concurrent Systems

Top Venues

Publications

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
Accurate Prediction of Knee Angles during Open-Chain Rehabilitation Exercises Using a Wearable Array of Nanocomposite Stretch Sensors. Sensors 22 (7) (2022)
Kurt Jensen, Lars Michael Kristensen
Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems. Commun. ACM 58 (6) (2015)
Kurt Jensen, Lars Michael Kristensen, Thomas Mailund
The sweep-line state space exploration method. Theor. Comput. Sci. 429 (2012)
Lars Michael Kristensen, Kurt Jensen
Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets. Trans. Petri Nets Other Model. Concurr. 1 (2008)
Kurt Jensen
Special section on Coloured Petri Nets. Int. J. Softw. Tools Technol. Transf. 10 (1) (2008)
Kurt Jensen, Lars Michael Kristensen, Lisa Wells
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transf. 9 (3-4) (2007)
Kurt Jensen
Special section on coloured Petri nets. Int. J. Softw. Tools Technol. Transf. 9 (3-4) (2007)
Kurt Jensen, Andreas Podelski
Tools and algorithms for the construction and analysis of systems. Int. J. Softw. Tools Technol. Transf. 8 (3) (2006)
Kurt Jensen, Andreas Podelski
Special issue. Theor. Comput. Sci. 345 (1) (2005)
Lars Michael Kristensen, Kurt Jensen
Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. SoftSpez Final Report (2004)
Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen
Application of Coloured Petri Nets in System Development. Lectures on Concurrency and Petri Nets (2003)
Anne V. Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, Søren Christensen, Kurt Jensen
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. ICATPN (2003)
Kurt Jensen
Coloured Petri Nets: Status and Outlook. ICATPN (2003)
Kurt Jensen
Special Section on the Practical Use of High-Level Petri Nets: Preface by the section editor. Int. J. Softw. Tools Technol. Transf. 3 (4) (2001)
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
CPN/tools: revisiting the desktop metaphor with post-WIMP interaction techniques. CHI Extended Abstracts (2001)
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
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS. TACAS (2001)
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
CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets. ICATPN (2001)
Lars Michael Kristensen, Søren Christensen, Kurt Jensen
The Practitioner's Guide to Coloured Petri Nets. Int. J. Softw. Tools Technol. Transf. 2 (2) (1998)
Kurt Jensen
Coloured Petri Nets - Preface by the Section Editor. Int. J. Softw. Tools Technol. Transf. 2 (2) (1998)
Kurt Jensen
A Brief Introduction to Coloured Petri Nets. TACAS (1997)
Kurt Jensen
An Introduction to the Practical Use of Coloured Petri Nets. Petri Nets (2) (1996)
Kurt Jensen
Condensed State Spaces for Symmetrical Coloured Petri Nets. Formal Methods Syst. Des. 9 (1/2) (1996)
Kurt Jensen
An Introduction to the Theoretical Aspects of Coloured Petri Nets. REX School/Symposium (1993)
Kurt Jensen
Coloured Petri nets: A high level language for system design and analysis. Applications and Theory of Petri Nets (1989)
Peter Huber, Kurt Jensen, Robert M. Shapiro
Hierarchies in coloured Petri nets. Applications and Theory of Petri Nets (1989)
Kurt Jensen
Computer Tools for Construction, Modification and Analysis of Petri Nets. Advances in Petri Nets (1986)
Peter Huber, Arne M. Jensen, Leif O. Jepsen, Kurt Jensen
Reachability Trees for High-level Petri Nets. Theor. Comput. Sci. 45 (3) (1986)
Frits Feldbrugge, Kurt Jensen
Petri Net Tool Overview 1986. Advances in Petri Nets (1986)
Kurt Jensen
Coloured Petri Nets. Advances in Petri Nets (1986)
Kurt Jensen, Erik Meineche Schmidt
Pascal semantics by a combination of denotational semantics and high-level Petri nets. Applications and Theory in Petri Nets (1985)
Peter Huber, Arne M. Jensen, Leif O. Jepsen, Kurt Jensen
Towards reachability trees for high-level Petri nets. European Workshop on Applications and Theory in Petri Nets (1984)
Kurt Jensen
The design of a program package for an introductory Petri net course. European Workshop on Applications and Theory in Petri Nets (1984)
Kurt Jensen
High-Level Petri Nets. European Workshop on Applications and Theory of Petri Nets (1982)
Kurt Jensen
How to Find Invariants for Coloured Petri Nets. MFCS (1981)
Kurt Jensen
Coloured Petri Nets and the Invariant-Method. Theor. Comput. Sci. 14 (1981)
Kurt Jensen, Morten Kyng
Petri Nets and Semantics of System Descriptions. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets (1981)
Kurt Jensen
A Method to Compare the Descriptive Power of Different Types of Petri Nets. MFCS (1980)
Kurt Jensen, Morten Kyng, Ole Lehrmann Madsen
A Petri Net Definition of a System Description Language. Semantics of Concurrent Computation (1979)