| Coloured Petri nets: basic concepts, analysis methods and practical use K Jensen Springer Science & Business Media, 1997 | 6532* | 1997 |
| Coloured Petri nets: modeling and validation of concurrent systems K Jensen, LM Kristensen Springer-Verlag New York Inc, 2009 | 1912 | 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, 213-254, 2007 | 1612 | 2007 |
| Coloured Petri nets and the invariant-method K Jensen Theoretical computer science 14 (3), 317-336, 1981 | 963 | 1981 |
| Coloured Petri nets: A high level language for system design and analysis K Jensen High-level Petri nets: theory and application, 44-119, 1991 | 876 | 1991 |
| High-level Petri nets: theory and application K Jensen, G Rozenberg Springer Verlag, 1991 | 832* | 1991 |
| An introduction to the theoretical aspects of coloured petri nets K Jensen A Decade of Concurrency Reflections and Perspectives: REX School/Symposium …, 1994 | 611 | 1994 |
| The practitioner’s guide to coloured Petri nets LM Kristensen, S Christensen, K Jensen International Journal on software Tools for technology Transfer 2, 98-132, 1998 | 539 | 1998 |
| CPN tools for editing, simulating, and analysing coloured Petri nets AV Ratzer, L Wells, HM Lassen, M Laursen, JF Qvortrup, MS Stissing, ... Applications and Theory of Petri Nets 2003: 24th International Conference …, 2003 | 505 | 2003 |
| Hierarchies in coloured Petri nets P Huber, K Jensen, RM Shapiro Advances in Petri Nets 1990 10, 313-341, 1991 | 489 | 1991 |
| An introduction to the practical use of coloured petri nets K Jensen Lectures on Petri Nets II: Applications: Advances in Petri Nets 3, 237-292, 1998 | 323 | 1998 |
| A brief introduction to coloured petri nets K Jensen Lecture Notes in Computer Science 1217, 203-208, 1997 | 316 | 1997 |
| Coloured Petri nets, volume 1: basic concepts K Jensen EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1992 | 173* | 1992 |
| High-level Petri nets K Jensen Informatic Fachberichte Vol 66, Springer-Verlag, 1982 | 168 | 1982 |
| Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems K Jensen, LM Kristensen Communications of the ACM 58 (6), 61-70, 2015 | 151 | 2015 |
| Towards reachability trees for high-level Petri nets P Huber, AM Jensen, LO Jepsen, K Jensen Advances in Petri Nets 1984, 215-233, 1985 | 134 | 1985 |
| Application of coloured petri nets in system development LM Kristensen, JB Jørgensen, K Jensen Lectures on Concurrency and Petri Nets: Advances in Petri Nets 4, 626-685, 2004 | 132 | 2004 |
| Reachability trees for high-level Petri nets P Huber, AM Jensen, LO Jepsen, K Jensen Theoretical Computer Science 45, 261-292, 1986 | 124 | 1986 |
| Condensed state spaces for symmetrical coloured Petri nets K Jensen Formal Methods in System Design 9, 7-40, 1996 | 112 | 1996 |
| Design/CPN. A reference manual K Jensen, S Christensen, P Huber, M Holla Computer Science Department, University of Aarhus, Denmark, 1996 | 109 | 1996 |
Lars M KristensenProfessor in Computer Science - Western Norway University of Applied SciencesVerified email at hvl.no
