Kurt Jensen

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

Kurt Jensen, Susanna Donatelli, Jetty Kleijn (Eds.): Transactions on Petri Nets and Other Models of Concurrency V. Lecture Notes in Computer Science 6900, Springer 2012, isbn 978-3-642-29071-8

Kurt Jensen, Wil M. P. van der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen (Eds.): Transactions on Petri Nets and Other Models of Concurrency VI. Lecture Notes in Computer Science 7400, Springer 2012, isbn 978-3-642-35178-5

Kurt Jensen, Susanna Donatelli, Maciej Koutny (Eds.): Transactions on Petri Nets and Other Models of Concurrency IV. Lecture Notes in Computer Science 6550, Springer 2010, isbn 978-3-642-18221-1

Kurt Jensen, Lars Michael Kristensen: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer 2009, isbn 978-3-642-00283-0, pp. I-XI, 1-384

Kurt Jensen, Wil M. P. van der Aalst (Eds.): Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems. Lecture Notes in Computer Science 5460, Springer 2009, isbn 978-3-642-00898-6

Kurt Jensen, Jonathan Billington, Maciej Koutny (Eds.): Transactions on Petri Nets and Other Models of Concurrency III. Lecture Notes in Computer Science 5800, Springer 2009, isbn 978-3-642-04854-8

Kurt Jensen: Special section on Coloured Petri Nets. STTT 10(1): 1-3 (2008)

Lars Michael Kristensen, Kurt Jensen: Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets. T. Petri Nets and Other Models of Concurrency 1: 19-34 (2008)

Kurt Jensen, Wil M. P. van der Aalst, Jonathan Billington (Eds.): Transactions on Petri Nets and Other Models of Concurrency I. Lecture Notes in Computer Science 5100, Springer 2008, isbn 978-3-540-89286-1

Kurt Jensen: Special section on coloured Petri nets. STTT 9(3-4): 209-212 (2007)

Kurt Jensen, Lars Michael Kristensen, Lisa Wells: Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. STTT 9(3-4): 213-254 (2007)

Kurt Jensen, Andreas Podelski: Tools and algorithms for the construction and analysis of systems. STTT 8(3): 177-179 (2006)

Kurt Jensen, Andreas Podelski: Special issue. Theor. Comput. Sci. 345(1): 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: 248-269

Kurt Jensen, Andreas Podelski (Eds.): 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. Lecture Notes in Computer Science 2988, Springer 2004, isbn 3-540-21299-X

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: 626-685

Kurt Jensen: Coloured Petri Nets: Status and Outlook. ICATPN 2003: 1-2

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: 450-462

Kurt Jensen: Special Section on the Practical Use of High-Level Petri Nets: Preface by the section editor. STTT 3(4): 369-371 (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: 71-80

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: 574-577

Kurt Jensen: Coloured Petri Nets - Preface by the Section Editor. STTT 2(2): 95-97 (1998)

Lars Michael Kristensen, Søren Christensen, Kurt Jensen: The Practitioner's Guide to Coloured Petri Nets. STTT 2(2): 98-132 (1998)

Kurt Jensen: A Brief Introduction to Coloured Petri Nets. TACAS 1997: 203-208

Kurt Jensen: Condensed State Spaces for Symmetrical Coloured Petri Nets. Formal Methods in System Design 9(1/2): 7-40 (1996)

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

Kurt Jensen: An Introduction to the Theoretical Aspects of Coloured Petri Nets. REX School/Symposium 1993: 230-272

Kurt Jensen (Ed.): Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings. Lecture Notes in Computer Science 616, Springer 1992, isbn 3-540-55676-1

Peter Huber, Kurt Jensen, Robert M. Shapiro: Hierarchies in coloured Petri nets. Applications and Theory of Petri Nets 1989: 313-341

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

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

Kurt Jensen: Computer Tools for Construction, Modification and Analysis of Petri Nets. Advances in Petri Nets 1986: 4-19

Frits Feldbrugge, Kurt Jensen: Petri Net Tool Overview 1986. Advances in Petri Nets 1986: 20-61

Kurt Jensen: Coloured Petri Nets. Advances in Petri Nets 1986: 248-299

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: 297-329

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: 215-233

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

Kurt Jensen: High-Level Petri Nets. European Workshop on Applications and Theory of Petri Nets 1982: 166-180

Kurt Jensen: Coloured Petri Nets and the Invariant-Method. Theor. Comput. Sci. 14: 317-336 (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: 64-71

Kurt Jensen: How to Find Invariants for Coloured Petri Nets. MFCS 1981: 327-338

Kurt Jensen: A Method to Compare the Descriptive Power of Different Types of Petri Nets. MFCS 1980: 348-361

Kurt Jensen, Morten Kyng, Ole Lehrmann Madsen: A Petri Net Definition of a System Description Language. Semantics of Concurrent Computation 1979: 348-368