Jensen, K.

• Jensen, Kurt; Kristensen, Lars Michael; Wells, Lisa:
  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. 2007.

• Kristensen, Lars Michael; Jensen, Kurt:
  Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. 2004.

• Kristensen, Lars Michael; Jørgensen, Jens Bæk; Jensen, Kurt:
  Application of Coloured Petri Nets in System Development. 2004.

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

• Beaudouin-Lafon, Michel; Mackay, Wendy E.; Jensen, Mads; Andersen, Peter; Janecek, Paul; Lassen, Michael; Lund, Kasper; Mortensen, Kjeld; Munck, Stephanie; Ratzer, Anne; Ravn, Katrine; Christensen, Søren; Jensen, Kurt:
  CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets - ETAPS Tool Demonstration Related to TACAS. 2001.

• Christensen, S.; Jensen, K.; Mailund, T.:
  State Space Methods for Timed Petri Nets. 2001.

• Beaudouin-Lafon, Michel; Mackay, Wendy E.; Andersen, Peter; Janecek, Paul; Jensen, Mads; Lassen, Michael; Lund, Kasper; Mortensen, Kjeld; Munck, Stephanie; Ratzer, Anne; Ravn, Katrine; Christensen, Søren; Jensen, Kurt:
  CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets. 2001.

• Jensen, K.:
  A brief introduction to colored Petri nets. 1998.

• Jensen, K.:
  An Introduction to the Practical Use of Coloured Petri Nets. 1998.

• Jensen, Kurt:
  Preface by the Section Editor: Kurt Jensen. 1998.

• Kristensen, Lars M.; Christensen, Soren; Jensen, Kurt:
  The practitioner's guide to coloured Petri nets. 1998.

• Jensen, Kurt:
  A Brief Introduction to Coloured Petri Nets. 1997.

• Jensen, Kurt:
  Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use, Vol. 3: Practical Use. 1997.

• Jensen, Kurt:
  Condensed State Spaces for Symmetrical Coloured Petri Nets. 1996.

• Jensen, Kurt:
  Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use, Vol. 2: Analysis Methods. 1994.

• Jensen, Kurt:
  An introduction to the theoretical aspects of coloured Petri nets. 1993.

• Jensen, Kurt:
  Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use, Vol. 1: Basic Concepts. 1992.

• Feldbrugge, F.; Jensen, K.:
  Computer Tools for High-level Petri Nets. 1991.

• Jensen, Kurt:
  Coloured Petri Nets: A High Level Language for System Design and Analysis. 1991.

• Jensen, K.; Rozenberg, G.:
  High-Level Petri Nets. 1991.

• Jensen, Kurt:
  Coloured Petri Nets: A High Level Language for System Design and Analysis. 1990.

• Huber, P.; Jensen, K.; Shapiro, R.M.:
  Hierarchies in Coloured Petri Nets. 1989.

• Albert, Ken; Jensen, Kurt; Shapiro, Robert:
  DESIGN/CPN: A Tool Package Supporting the Use of Colored Nets. 1989.

• Feldbrugge, F.; Jensen, K.:
  Petri Nets: Applications and Relationships to Other Models of Concurrency, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, September 1986. 1987.

• Jensen, Kurt:
  Coloured Petri Nets. 1987.

• Jensen, Kurt:
  Coloured Petri Nets: A Way to Describe and Anlyse Real-World Systems - Without Drowning in Unnecessary Details. 1987.

• Jensen, Kurt:
  Computer Tools for Construction, Modification and Analysis of Petri Nets. 1987.

• Huber, P.; Jensen, A.M.; Jepsen, L.O.; Jensen, K.:
  Reachability Trees for High-Level Petri Nets. 1986.

• Jensen, Kurt:
  Computer Tools for Construction, Modification and Analysis of Petri Nets. 1986.

• Jensen, Kurt:
  Design --- ``Petri Net Editor'' for Macintosh: A Test Report. 1986.

• Jensen, K.; Schmidt, E.M.:
  Pascal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets. 1986.

• Huber, P.; Jensen, A.M.; Jepsen, L.O.; Jensen, K.:
  Towards Reachability Trees for High-Level Petri Nets. 1985.

• Jensen, Kurt:
  An Introduction to High-Level Petri Nets. 1985.

• Jensen, Kurt:
  The Design of a Program Package for an Introductory Petri Net Course. 1985.

• Jensen, K.; Huber, P.; Larsen, M.N.; Martinsen, I.M.:
  Petri Net Package User's Manual. 1983.

• Jensen, K.; Kyng, M.:
  Petri Nets and Semantics of System Descriptions. 1982.

• Jensen, Kurt:
  EPSILON: A System Description Language. 1982.

• Jensen, Kurt:
  High Level Petri Nets. 1982.

• Jensen, Kurt:
  How to Find Invariants for Coloured Petri Nets. 1980.

• Jensen, K.; Kyng, M.:
  Petri Nets and Semantics of Systems Descriptions. 1980.

• Jensen, Kurt:
  A Method to Compare the Descriptive Power of the Different Types of Petri Nets. 1980.

• Jensen, Kurt; Kyng, Morten; Madsen, Ole Lehrmann:
  Delta Semantics Defined by Petri Nets. 1979.

• Jensen, Kurt; Kyng, Morten; Madsen, Ole Lehrmann:
  Petri Nets as a Semantic Tool. 1979.

• Jensen, Kurt:
  Coloured Petri Nets and the Invariant-Method. 1979.

• Jensen, K.; Kyng, M.; Madsen, O.L.:
  A Petri Net Definition of a System Description Language. 1979.

• Jensen, Kurt:
  Extended and Hyper Petri Nets. 1978.

Back to the Petri Nets Bibliography