| 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 | 562 | 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 | 546 | 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 | 541 | 1998 |
| Modular analysis of Petri nets S Christensen, L Petrucci The computer journal 43 (3), 224-242, 2000 | 210 | 2000 |
| 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 | 202 | 1994 |
| 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 | 184 | 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 | 174 | 2001 |
| Model checking Coloured Petri Nets-exploiting strongly connected components A Cheng, S Christensen, KH Mortensen DAIMI report series, 1997 | 137 | 1997 |
| Design/CPN. A reference manual K Jensen Department of Computer Science, Aarhus University, 1991 | 112 | 1991 |
| 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 | 107 | 2020 |
| 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 | 89 | 1992 |
| CPN tools state space manual K Jensen, S Christensen, LM Kristensen Department of Computer Science, Univerisity of Aarhus, 2006 | 87 | 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 | 77 | 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 | 70 | 1994 |
| 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 | 67 | 2001 |
| Design/cpn ask-ctl manual S Christensen, KH Mortensen University of Aarhus, 1996 | 67 | 1996 |
| 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 |
| 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 | 57 | 2019 |
Kurt JensenProfessor of Computer Science, Aarhus University在 cs.au.dk 的电子邮件经过验证
Kurt JensenProfessor of Computer Science, Aarhus University在 cs.au.dk 的电子邮件经过验证
Thomas MailundAssociate Professor of Bioinformatics, Aarhus University在 birc.au.dk 的电子邮件经过验证