Lars M Kristensen
Lars M Kristensen
Professor in Computer Science - Western Norway University of Applied Sciences
Bestätigte E-Mail-Adresse bei - Startseite
Zitiert von
Zitiert von
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, 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, 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
Tools and Algorithms for the Construction and Analysis of Systems: 7th …, 2001
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
Application of coloured petri nets in system development
LM Kristensen, JB Jørgensen, K Jensen
Lectures on Concurrency and Petri Nets: Advances in Petri Nets 4, 626-685, 2004
The access/cpn framework: A tool for interacting with the cpn tools simulator
M Westergaard, LM Kristensen
Applications and Theory of Petri Nets: 30th International Conference, PETRI …, 2009
Design/CPN-a computer tool for coloured Petri nets
S Christensen, JB Jørgensen, LM Kristensen
Lecture Notes in Computer Science 1217, 209-223, 1997
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
A generalised sweep-line method for safety properties
LM Kristensen, T Mailund
FME 2, 549-567, 2002
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
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 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
Applications and Theory of Petri Nets 2004: 25th International Conference …, 2004
Coloured Petri Nets—Modelling and Validation of Concurrent Systems, Monograph
K Jensen, L Kristensen
Springer, 2009
Condensed state spaces for timed Petri nets
S Christensen, LM Kristensen, T Mailund
Applications and Theory of Petri Nets 2001: 22nd International Conference …, 2001
Using coloured Petri nets to investigate behavioural and performance issues of TCP protocols
JCA De Figueiredo, LM Kristensen
CPN Workshop, 1999
Verification of a revised WAP wireless transaction protocol
S Gordon, LM Kristensen, J Billington
Application and Theory of Petri Nets 2002: 23rd International Conference …, 2002
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20