Kurt Jensen

Overview

Best Publications

• Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use

  Kurt Jensen

  4986
  Citations

• Coloured Petri Nets: Modelling and Validation of Concurrent Systems

  Kurt Jensen;Lars M. Kristensen

  1803
  Citations

• Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

  Kurt Jensen;Lars Michael Kristensen;Lisa Wells

  1669
  Citations

• An Introduction to the Theoretical Aspects of Coloured Petri Nets

  Kurt Jensen

  1160
  Citations

• Coloured petri nets and the invariant-method

  Kurt Jensen

  974
  Citations

• Coloured Petri Nets: a high level language for system design and analysis

  Kurt Jensen

  880
  Citations

• High-level Petri Nets : Theory and Application

  Kurt Jensen;Grzegorz Rozenberg

  688
  Citations

• The practitioner's guide to coloured Petri nets

  Lars Michael Kristensen;Søren Christensen;Kurt Jensen

  542
  Citations

• Hierarchies in Coloured Petri Nets

  Peter Huber;Kurt Jensen;Robert M. Shapiro

  325
  Citations

• A Brief Introduction to Coloured Petri Nets

  Kurt Jensen

  315
  Citations

• Transactions on Petri Nets and Other Models of Concurrency II: Special Issue on Concurrency in Process-Aware Information Systems

  Kurt Jensen;Wil M. Aalst

  188
  Citations

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

  Kurt Jensen;Lars M. Kristensen

  167
  Citations

• Application of coloured Petri Nets in system development

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

  138
  Citations

• Towards reachability trees for high-level Petri nets

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

  127
  Citations

• Reachability trees for high-level petri nets

  Peter Huber;Arne M. Jensen;Li;Leif O Jepsen

  126
  Citations

• Condensed state spaces for symmetrical coloured Petri nets

  Kurt Jensen

  116
  Citations

• Biologically induced differences in erodibility and aggregation of subtidal and intertidal sediments: a possible cause for seasonal changes in sediment deposition

  T.J. Andersen;L.C. Lund-Hansen;M. Pejrup;K.T. Jensen

  107
  Citations

• Enhanced erodibility of fine-grained marine sediments by Hydrobia ulvae

  T.J Andersen;K.T Jensen;L Lund-Hansen;K.N Mouritsen

  101
  Citations

• How to Find Invariants for Coloured Petri Nets

  Kurt Jensen

  93
  Citations

• Ambient fauna impairs parasite transmission in a marine parasite-host system.

  D. W. Thieltges;M. D. Bordalo;A. Caballero Hernández;K. Prinz

  88
  Citations

• Method and apparatus for creating and executing graphical models of complex systems

  Robert Shapiro;Jawahar Malhotra;Kurt Jensen;Soren Christensen

  76
  Citations

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

  Lars Michael Kristensen;Kurt Jensen

  61
  Citations

• 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, Barselona (LECTURE NOTES IN COMPUTER SCIENCE)

  K. Jensen;Andreas Podelski

  5
  Citations

• Tools and algorithms for the construction and analysis of systems

  Kurt Jensen;Andreas Podelski

  4
  Citations

• 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

  K. Jensen;Andreas Podelski

  0
  Citations