| Coloured Petri nets: basic concepts, analysis methods and practical use K Jensen Springer Science & Business Media, 1997 | 6748* | 1997 |
| Coloured Petri nets: modeling and validation of concurrent systems K Jensen, LM Kristensen Springer-Verlag New York Inc, 2009 | 3485* | 2009 |
| High-level Petri nets K Jensen Informatic Fachberichte Vol 66, Springer-Verlag, 1982 | 1027* | 1982 |
| Coloured Petri nets and the invariant-method K Jensen Theoretical computer science 14 (3), 317-336, 1981 | 1004 | 1981 |
| Coloured Petri nets: A high level language for system design and analysis K Jensen International conference on application and theory of Petri nets, 342-416, 1989 | 904 | 1989 |
| An introduction to the theoretical aspects of coloured petri nets K Jensen A Decade of Concurrency Reflections and Perspectives: REX School/Symposium …, 1994 | 639 | 1994 |
| 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 | 546 | 2003 |
| 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 | 543 | 1998 |
| Hierarchies in coloured Petri nets P Huber, K Jensen, RM Shapiro Advances in Petri Nets 1990 10, 313-341, 1991 | 494 | 1991 |
| A brief introduction to coloured petri nets K Jensen International Workshop on Tools and Algorithms for the Construction and …, 1997 | 336 | 1997 |
| 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 | 328 | 1998 |
| 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 | 171 | 2015 |
| Coloured Petri nets, volume 1: basic concepts K Jensen EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1992 | 160* | 1992 |
| Towards reachability trees for high-level Petri nets P Huber, AM Jensen, LO Jepsen, K Jensen Advances in Petri Nets 1984, 215-233, 1985 | 138 | 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 | 128 | 1986 |
| Condensed state spaces for symmetrical coloured Petri nets K Jensen Formal Methods in System Design 9, 7-40, 1996 | 115 | 1996 |
| Design/CPN. A reference manual K Jensen Department of Computer Science, Aarhus University, 1991 | 111 | 1991 |
| CPN tools state space manual K Jensen, S Christensen, LM Kristensen Department of Computer Science, Univerisity of Aarhus, 2006 | 90 | 2006 |
| How to find invariants for coloured Petri nets K Jensen Mathematical Foundations of Computer Science 1981, 327-338, 1981 | 89 | 1981 |
Lars M KristensenProfessor in Computer Science - Western Norway University of Applied SciencesVerified email at hvl.no
