| Coloured Petri nets: basic concepts, analysis methods and practical use K Jensen Springer Science & Business Media, 1997 | 6100* | 1997 |
| Coloured Petri nets: modeling and validation of concurrent systems K Jensen, LM Kristensen Springer-Verlag New York Inc, 2009 | 1507 | 2009 |
| Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems K Jensen, LM Kristensen, L Wells International Journal on Software Tools for Technology Transfer 9 (3-4), 213-254, 2007 | 1316 | 2007 |
| Coloured Petri nets and the invariant-method K Jensen Theoretical computer science 14 (3), 317-336, 1981 | 864 | 1981 |
| Coloured Petri nets: A high level language for system design and analysis K Jensen High-level Petri Nets, 44-119, 1991 | 804 | 1991 |
| High-level Petri nets: theory and application K Jensen, G Rozenberg Springer Verlag, 1991 | 717* | 1991 |
| An introduction to the theoretical aspects of coloured petri nets K Jensen Workshop/School/Symposium of the REX Project (Research and Education in …, 1993 | 557 | 1993 |
| The practitioner’s guide to coloured Petri nets LM Kristensen, S Christensen, K Jensen International Journal on software Tools for technology Transfer 2 (2), 98-132, 1998 | 479 | 1998 |
| Hierarchies in coloured Petri nets P Huber, K Jensen, RM Shapiro International Conference on Application and Theory of Petri Nets, 313-341, 1989 | 447 | 1989 |
| CPN tools for editing, simulating, and analysing coloured Petri nets AV Ratzer, L Wells, HM Lassen, M Laursen, JF Qvortrup, MS Stissing, ... International Conference on Application and Theory of Petri Nets, 450-462, 2003 | 412 | 2003 |
| An introduction to the practical use of coloured petri nets K Jensen Advanced Course on Petri Nets, 237-292, 1996 | 288 | 1996 |
| A brief introduction to coloured petri nets K Jensen International Workshop on Tools and Algorithms for the Construction and …, 1997 | 249 | 1997 |
| High-level Petri nets K Jensen Informatic Fachberichte Vol 66, Springer-Verlag, 1982 | 144 | 1982 |
| Towards reachability trees for high-level Petri nets P Huber, AM Jensen, LO Jepsen, K Jensen Advances in Petri Nets 1984, 215-233, 1985 | 122 | 1985 |
| Application of coloured petri nets in system development LM Kristensen, JB Jørgensen, K Jensen Advanced Course on Petri Nets, 626-685, 2003 | 111 | 2003 |
| Reachability trees for high-level Petri nets P Huber, AM Jensen, LO Jepsen, K Jensen High-Level Petri Nets, 319-350, 1986 | 108 | 1986 |
| Design/CPN. A reference manual K Jensen Department of Computer Science, Aarhus University, 1991 | 105 | 1991 |
| Condensed state spaces for symmetrical coloured Petri nets K Jensen Formal Methods in System Design 9 (1-2), 7-40, 1996 | 103 | 1996 |
| How to find invariants for coloured Petri nets K Jensen Mathematical Foundations of Computer Science 1981, 327-338, 1981 | 76 | 1981 |
| Coloured Petri Nets. Volume 2, Analysis Methods K Jensen Monographs in Theoretical Computer Science 575, 192-202, 1995 | 74* | 1995 |
Lars M KristensenProfessor in Computer Science - Western Norway University of Applied SciencesVerified email at hvl.no
