Follow
Soren Christensen
Soren Christensen
Verified email at cs.au.dk
Title
Cited by
Cited by
Year
The petri net markup language: Concepts, technology, and tools
J Billington, S Christensen, K Van Hee, E Kindler, O Kummer, L Petrucci, ...
Applications and Theory of Petri Nets 2003: 24th International Conference …, 2003
5612003
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
5411998
CPN tools for editing, simulating, and analysing coloured Petri nets
AV Ratzer, L Wells, HM Lassen, M Laursen, JF Qvortrup, MS Stissing, ...
International conference on application and theory of petri nets, 450-462, 2003
5332003
Modular analysis of Petri nets
S Christensen, L Petrucci
The computer journal 43 (3), 224-242, 2000
2052000
Coloured Petri nets extended with channels for synchronous communication
S Christensen, N Damgaard Hansen
Application and Theory of Petri Nets 1994: 15th International Conference …, 1994
2021994
Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs
S Christensen, ND Hansen
International Conference on Application and Theory of Petri Nets, 186-205, 1993
1841993
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
1732001
Model checking Coloured Petri Nets-exploiting strongly connected components
A Cheng, S Christensen, KH Mortensen
DAIMI report series, 1997
1371997
Design/CPN. A reference manual
K Jensen
Department of Computer Science, Aarhus University, 1991
1121991
Community gardens and wellbeing amongst vulnerable populations: a thematic review
P Malberg Dyg, S Christensen, CJ Peterson
Health promotion international 35 (4), 790-803, 2020
992020
Design/CPN—A computer tool for coloured Petri nets
S Christensen, JB Jørgensen, LM Kristensen
Tools and Algorithms for the Construction and Analysis of Systems: Third …, 1997
951997
Towards a modular analysis of coloured Petri nets
S Christensen, L Petrucci
International Conference on Application and Theory of Petri Nets, 113-133, 1992
891992
CPN tools state space manual
K Jensen, S Christensen, LM Kristensen
Department of Computer Science, Univerisity of Aarhus, 2006
852006
Modular state space analysis of coloured Petri nets
S Christensen, L Petrucci
International Conference on Application and Theory of Petri Nets, 201-217, 1995
751995
Computer-aided generation of programs modelling complex systems using colored petri nets
RM Shapiro, J Malhotra, K Jensen, S Christensen, P Huber
US Patent 5,257,363, 1993
711993
A general systematic approach to arc extensions for coloured Petri nets
C Lakos, S Christensen
International Conference on Application and Theory of Petri Nets, 338-357, 1994
701994
CPN/Tools: A post-WIMP interface for editing and simulating coloured Petri nets
M Beaudouin-Lafon, WE Mackay, P Andersen, P Janecek, M Jensen, ...
Applications and Theory of Petri Nets 2001: 22nd International Conference …, 2001
672001
Design/cpn ask-ctl manual
S Christensen, KH Mortensen
University of Aarhus, 1996
651996
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
602001
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS
M Beaudouin-Lafon, WE Mackay, M Jensen, P Andersen, P Janecek, ...
Tools and Algorithms for the Construction and Analysis of Systems: 7th …, 2001
562001
The system can't perform the operation now. Try again later.
Articles 1–20