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 | 566 | 2003 |
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 | 554 | 2003 |
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 | 543 | 1998 |
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 | 210 | 1994 |
Modular analysis of Petri nets S Christensen, L Petrucci The computer journal 43 (3), 224-242, 2000 | 208 | 2000 |
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 | 186 | 1993 |
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 | 176 | 2001 |
Model checking Coloured Petri Nets-exploiting strongly connected components A Cheng, S Christensen, KH Mortensen DAIMI report series, 1997 | 137 | 1997 |
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 | 114 | 2020 |
Design/CPN. A reference manual K Jensen Department of Computer Science, Aarhus University, 1991 | 111 | 1991 |
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 | 95 | 1997 |
Towards a modular analysis of coloured Petri nets S Christensen, L Petrucci International Conference on Application and Theory of Petri Nets, 113-133, 1992 | 93 | 1992 |
CPN tools state space manual K Jensen, S Christensen, LM Kristensen Department of Computer Science, Univerisity of Aarhus, 2006 | 90 | 2006 |
Modular state space analysis of coloured Petri nets S Christensen, L Petrucci International Conference on Application and Theory of Petri Nets, 201-217, 1995 | 78 | 1995 |
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 | 71 | 1993 |
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 | 69 | 1994 |
Design/cpn ask-ctl manual S Christensen, KH Mortensen University of Aarhus, 1996 | 68 | 1996 |
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 | 65 | 2001 |
Urban community gardening, social capital, and" integration"–a mixed method exploration of urban" integration-gardening" in Copenhagen, Denmark S Christensen, P Malberg Dyg, K Allenberg Local Environment 24 (3), 231-248, 2019 | 63 | 2019 |
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 | 60 | 2001 |