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 | 3525 | 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 | 543 | 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 | 427 | 2014 |
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 |
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 | 173 | 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 | 133 | 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 | 129 | 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 | 95 | 1997 |
CPN tools state space manual K Jensen, S Christensen, LM Kristensen Department of Computer Science, Univerisity of Aarhus, 2006 | 91 | 2006 |
Comms/CPN: A communication infrastructure for external communication with design/CPN GE Gallasch, LM Kristensen Aarhus University, 2001 | 84 | 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 | 62 | 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 | 61 | 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 | 60 | 2006 |
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 | 46 | 2001 |
Using coloured Petri nets to investigate behavioural and performance issues of TCP protocols JCA De Figueiredo, LM Kristensen CPN Workshop, 1999 | 45 | 1999 |
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 | 45 | 1998 |
Modelling and initial validation of the DYMO routing protocol for mobile ad-hoc networks KL Espensen, MK Kjeldsen, LM Kristensen Applications and Theory of Petri Nets: 29th International Conference, PETRI …, 2008 | 44 | 2008 |
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 |