Follow
Lars M Kristensen
Lars M Kristensen
Professor in Computer Science - Western Norway University of Applied Sciences
Verified email at hvl.no - Homepage
Title
Cited by
Cited by
Year
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
35252007
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
5431998
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
4272014
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
1782001
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
1732015
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
1332004
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
1292009
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
951997
CPN tools state space manual
K Jensen, S Christensen, LM Kristensen
Department of Computer Science, Univerisity of Aarhus, 2006
912006
Comms/CPN: A communication infrastructure for external communication with design/CPN
GE Gallasch, LM Kristensen
Aarhus University, 2001
842001
A generalised sweep-line method for safety properties
LM Kristensen, T Mailund
FME 2002: Formal Methods—Getting IT Right: International Symposium of …, 2002
782002
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
622004
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
612001
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
602006
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
572004
Condensed state spaces for timed Petri nets
S Christensen, LM Kristensen, T Mailund
Applications and Theory of Petri Nets 2001: 22nd International Conference …, 2001
462001
Using coloured Petri nets to investigate behavioural and performance issues of TCP protocols
JCA De Figueiredo, LM Kristensen
CPN Workshop, 1999
451999
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
451998
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
442008
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
442002
The system can't perform the operation now. Try again later.
Articles 1–20