| Coloured Petri nets: modelling and validation of concurrent systems K Jensen, LM Kristensen Springer Science & Business Media, 2009 | 1906 | 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 | 1610 | 2007 |
| 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 |
| An industrial perspective on wireless sensor networks—A survey of requirements, protocols, and challenges K Ovsthus, LM Kristensen IEEE communications surveys & tutorials 16 (3), 1391-1412, 2014 | 383 | 2014 |
| A sweep-line method for state space exploration S Christensen, LM Kristensen, T Mailund Tools and Algorithms for the Construction and Analysis of Systems: 7th …, 2001 | 173 | 2001 |
| 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 | 150 | 2015 |
| 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 |
| The access/cpn framework: A tool for interacting with the cpn tools simulator M Westergaard, LM Kristensen Applications and Theory of Petri Nets: 30th International Conference, PETRI …, 2009 | 117 | 2009 |
| Design/CPN-a computer tool for coloured Petri nets S Christensen, JB Jørgensen, LM Kristensen Lecture Notes in Computer Science 1217, 209-223, 1997 | 94 | 1997 |
| CPN tools state space manual K Jensen, S Christensen, LM Kristensen Department of Computer Science, Univerisity of Aarhus, 2006 | 84 | 2006 |
| Comms/CPN: A communication infrastructure for external communication with design/CPN GE Gallasch, LM Kristensen Aarhus University, 2001 | 80 | 2001 |
| A generalised sweep-line method for safety properties LM Kristensen, T Mailund FME 2, 549-567, 2002 | 78 | 2002 |
| Specification and validation of an edge router discovery protocol for mobile ad hoc networks LM Kristensen, K Jensen Integration of Software Specification Techniques for Applications in …, 2004 | 60 | 2004 |
| Simulation based performance analysis of web servers L Wells, S Christensen, LM Kristensen, KH Mortensen Proceedings 9th International Workshop on Petri Nets and Performance Models …, 2001 | 59 | 2001 |
| Specification and performance evaluation of two zone dissemination protocols for vehicular ad-hoc networks J Bronsted, LM Kristensen 39th Annual Simulation Symposium (ANSS'06), 12 pp.-79, 2006 | 57 | 2006 |
| An approach to distributed state space exploration for coloured petri nets LM Kristensen, L Petrucci Applications and Theory of Petri Nets 2004: 25th International Conference …, 2004 | 57 | 2004 |
| Coloured Petri Nets—Modelling and Validation of Concurrent Systems, Monograph K Jensen, L Kristensen Springer, 2009 | 52 | 2009 |
| Condensed state spaces for timed Petri nets S Christensen, LM Kristensen, T Mailund Applications and Theory of Petri Nets 2001: 22nd International Conference …, 2001 | 47 | 2001 |
| Using coloured Petri nets to investigate behavioural and performance issues of TCP protocols JCA De Figueiredo, LM Kristensen CPN Workshop, 1999 | 46 | 1999 |
| Verification of a revised WAP wireless transaction protocol S Gordon, LM Kristensen, J Billington Application and Theory of Petri Nets 2002: 23rd International Conference …, 2002 | 45 | 2002 |
