Lars M Kristensen
Lars M Kristensen
Professor in Computer Science - Western Norway University of Applied Sciences
Vahvistettu sähköpostiosoite verkkotunnuksessa - Kotisivu
Coloured Petri nets: modelling and validation of concurrent systems
K Jensen, LM Kristensen
Springer Science & Business Media, 2009
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
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
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
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
Acromegaly incidence, prevalence, complications and long-term prognosis: a nationwide cohort study.
J Dal, U Feldt-Rasmussen, M Andersen, LØ Kristensen, P Laurberg, ...
European Journal of Endocrinology 175 (3), 181-190, 2016
Application of coloured petri nets in system development
LM Kristensen, JB Jørgensen, K Jensen
Advanced Course on Petri Nets, 626-685, 2003
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
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
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
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
A generalised sweep-line method for safety properties
LM Kristensen, T Mailund
International Symposium of Formal Methods Europe, 549-567, 2002
CPN tools state space manual
K Jensen, S Christensen, LM Kristensen
Department of Computer Science, Univerisity of Aarhus, 2006
Comms/CPN: A communication infrastructure for external communication with design/CPN
GE Gallasch, LM Kristensen
Aarhus University, 2001
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
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
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
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
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
Morbidity and GH deficiency: a nationwide study.
K Stochholm, T Laursen, A Green, P Laurberg, M Andersen, L Kristensen, ...
European Journal of Endocrinology 158 (4), 447-458, 2008
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20