Lars M Kristensen
Lars M Kristensen
Professor in Computer Science - Western Norway University of Applied Sciences
Bestätigte E-Mail-Adresse bei hvl.no - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Coloured Petri nets: modelling and validation of concurrent systems
K Jensen, LM Kristensen
Springer Science & Business Media, 2009
16652009
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
14672007
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
5231998
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
3152014
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
1642001
Application of coloured petri nets in system development
LM Kristensen, JB Jørgensen, K Jensen
Advanced Course on Petri Nets, 626-685, 2003
1262003
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
1202016
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
1092009
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
1022009
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
1012015
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
931997
Comms/CPN: A communication infrastructure for external communication with design/CPN
GE Gallasch, LM Kristensen
Aarhus University, 2001
772001
A generalised sweep-line method for safety properties
LM Kristensen, T Mailund
International Symposium of Formal Methods Europe, 549-567, 2002
762002
CPN tools state space manual
K Jensen, S Christensen, LM Kristensen
Department of Computer Science, Univerisity of Aarhus, 2006
742006
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
68*2005
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
592004
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
592001
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
562006
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
542004
Using coloured Petri nets to investigate behavioural and performance issues of TCP protocols
JCA De Figueiredo, LM Kristensen
CPN Workshop, 1999
461999
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20