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
15452009
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-4), 213-254, 2007
13642007
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
4831998
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
2582014
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
1522001
Application of coloured petri nets in system development
LM Kristensen, JB Jørgensen, K Jensen
Advanced Course on Petri Nets, 626-685, 2003
1122003
IGF1 as predictor of all cause mortality and cardiovascular disease in an elderly population
M Andreassen, I Raymond, C Kistorp, P Hildebrandt, J Faber, ...
European Journal of Endocrinology 160 (1), 25, 2009
1002009
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
912009
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
861997
Acromegaly incidence, prevalence, complications and long-term prognosis: a nationwide cohort study
J Dal, U Feldt-Rasmussen, M Andersen, LO Kristensen, P Laurberg, ...
Eur J Endocrinol 175 (3), 181-190, 2016
832016
Comms/CPN: A communication infrastructure for external communication with design/CPN
GE Gallasch, LM Kristensen
Aarhus University, 2001
752001
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
732015
A generalised sweep-line method for safety properties
LM Kristensen, T Mailund
International Symposium of Formal Methods Europe, 549-567, 2002
722002
CPN tools state space manual
K Jensen, S Christensen, LM Kristensen
Department of Computer Science, Univerisity of Aarhus, 2006
712006
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
562004
Competitor analysis and its defenses in the e-marketplace
YP Sheng, PP Mykytyn Jr, CR Litecky
Communications of the ACM 48 (8), 107-112, 2005
55*2005
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
532006
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
522001
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
482004
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