Lars M Kristensen
Lars M Kristensen
Professor in Computer Science - Western Norway University of Applied Sciences
Email verificata su hvl.no - Home page
Titolo
Citata da
Citata da
Anno
Coloured Petri nets: modelling and validation of concurrent systems
K Jensen, LM Kristensen
Springer Science & Business Media, 2009
15752009
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
13962007
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
4911998
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
2722014
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
1572001
Application of coloured petri nets in system development
LM Kristensen, JB J°rgensen, K Jensen
Advanced Course on Petri Nets, 626-685, 2003
1152003
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
1032009
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
972009
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
932016
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
871997
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
752015
Comms/CPN: A communication infrastructure for external communication with design/CPN
GE Gallasch, LM Kristensen
Aarhus University, 2001
752001
A generalised sweep-line method for safety properties
LM Kristensen, T Mailund
International Symposium of Formal Methods Europe, 549-567, 2002
732002
CPN tools state space manual
K Jensen, S Christensen, LM Kristensen
Department of Computer Science, Univerisity of Aarhus, 2006
712006
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
59*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
552006
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
552004
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
492004
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
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20