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, ...
International Conference on Application and Theory of Petri Nets, 483-505, 2003
4942003
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
4262003
Coloured Petri nets extended with channels for synchronous communication
S Christensen, ND Hansen
International Conference on Application and Theory of Petri Nets, 159-178, 1994
1821994
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
1791993
Modular analysis of Petri nets
S Christensen, L Petrucci
The computer journal 43 (3), 224-242, 2000
1722000
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
1522001
Model checking Coloured Petri Nets-exploiting strongly connected components
A Cheng, S Christensen, KH Mortensen
DAIMI report series, 1997
1131997
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
861997
Towards a modular analysis of coloured Petri nets
S Christensen, L Petrucci
International Conference on Application and Theory of Petri Nets, 113-133, 1992
831992
CPN tools state space manual
K Jensen, S Christensen, LM Kristensen
Department of Computer Science, Univerisity of Aarhus, 2006
712006
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
691994
Modular state space analysis of coloured Petri nets
S Christensen, L Petrucci
International Conference on Application and Theory of Petri Nets, 201-217, 1995
671995
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
671993
CPN/Tools: A post-WIMP interface for editing and simulating coloured Petri nets
M Beaudouin-Lafon, WE Mackay, P Andersen, P Janecek, M Jensen, ...
International Conference on Application and Theory of Petri Nets, 71-80, 2001
602001
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
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, ...
International Conference on Tools and Algorithms for the Construction and …, 2001
452001
Condensed state spaces for timed Petri nets
S Christensen, LM Kristensen, T Mailund
International Conference on Application and Theory of Petri Nets, 101-120, 2001
412001
Analysing bang & Olufsen's BeoLink® audio/video system using coloured Petri nets
S Christensen, JB Jørgensen
International Conference on Application and Theory of Petri Nets, 387-406, 1997
341997
State space methods for timed coloured petri nets
S Christensen, K Jensen, T Mailund, LM Kristensen
In Proceedings of 2nd International Colloquium on Petri Net Technologies for …, 2001
292001
Implementing coloured Petri nets using a functional programming language
LM Kristensen, S Christensen
Higher-order and symbolic computation 17 (3), 207-243, 2004
262004
The system can't perform the operation now. Try again later.
Articles 1–20