| 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), 213-254, 2007 | 3588 | 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 | 547 | 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 | 435 | 2014 |
| 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 | 179 | 2015 |
| A sweep-line method for state space exploration S Christensen, LM Kristensen, T Mailund International Conference on Tools and Algorithms for the Construction and …, 2001 | 178 | 2001 |
| 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 | 135 | 2004 |
| The access/cpn framework: A tool for interacting with the cpn tools simulator M Westergaard, LM Kristensen International conference on applications and theory of Petri nets, 313-322, 2009 | 127 | 2009 |
| Design/CPN—A computer tool for coloured Petri nets S Christensen, JB Jørgensen, LM Kristensen Tools and Algorithms for the Construction and Analysis of Systems: Third …, 1997 | 98 | 1997 |
| CPN tools state space manual K Jensen, S Christensen, LM Kristensen Department of Computer Science, Univerisity of Aarhus, 2006 | 92 | 2006 |
| Comms/CPN: A communication infrastructure for external communication with design/CPN GE Gallasch, LM Kristensen Aarhus University, 2001 | 87 | 2001 |
| A generalised sweep-line method for safety properties LM Kristensen, T Mailund FME 2002: Formal Methods—Getting IT Right: International Symposium of …, 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 | 65 | 2004 |
| 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 | 61 | 2006 |
| 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 | 60 | 2001 |
| An approach to distributed state space exploration for coloured petri nets LM Kristensen, L Petrucci International Conference on Application and Theory of Petri Nets, 474-483, 2004 | 57 | 2004 |
| 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 |
| Finding stubborn sets of coloured petri nets without unfolding LM Kristensen, A Valmari International Conference on Application and Theory of Petri Nets, 104-123, 1998 | 46 | 1998 |
| Modelling and initial validation of the DYMO routing protocol for mobile ad-hoc networks KL Espensen, MK Kjeldsen, LM Kristensen International Conference on Applications and Theory of Petri Nets, 152-170, 2008 | 45 | 2008 |
| Using coloured Petri nets to investigate behavioural and performance issues of TCP protocols JCA De Figueiredo, LM Kristensen CPN Workshop, 1999 | 45 | 1999 |
| Verification of a revised WAP wireless transaction protocol S Gordon, LM Kristensen, J Billington International Conference on Application and Theory of Petri Nets, 182-202, 2002 | 44 | 2002 |
