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: modelling and validation of concurrent systems
K Jensen, LM Kristensen
Springer Science & Business Media, 2009
18452009
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
16012007
The practitioner’s guide to coloured Petri nets
LM Kristensen, S Christensen, K Jensen
International Journal on software Tools for technology Transfer 2 (2), 98-132, 1998
5321998
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
3632014
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
1682001
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
1362015
Application of coloured petri nets in system development
LM Kristensen, JB Jørgensen, K Jensen
Advanced Course on Petri Nets, 626-685, 2003
1302003
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
1122009
Design/CPN—A computer tool for coloured Petri nets
S Christensen, JB Jørgensen, LM Kristensen
International Workshop on Tools and Algorithms for the Construction and …, 1997
951997
CPN tools state space manual
K Jensen, S Christensen, LM Kristensen
Department of Computer Science, Univerisity of Aarhus, 2006
812006
Comms/CPN: A communication infrastructure for external communication with design/CPN
GE Gallasch, LM Kristensen
Aarhus University, 2001
812001
A generalised sweep-line method for safety properties
LM Kristensen, T Mailund
International Symposium of Formal Methods Europe, 549-567, 2002
772002
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
602001
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
572006
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
562004
Using coloured Petri nets to investigate behavioural and performance issues of TCP protocols
JCA De Figueiredo, LM Kristensen
CPN Workshop, 1999
471999
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
462002
Condensed state spaces for timed Petri nets
S Christensen, LM Kristensen, T Mailund
International Conference on Application and Theory of Petri Nets, 101-120, 2001
462001
A coloured petri net based tool for course of action development and analysis
L Zhang, LM Kristensen, C Janczura, G Gallasch, J Billington
Proceedings of the conference on Application and theory of petri nets …, 2002
452002
The system can't perform the operation now. Try again later.
Articles 1–20