| The petri net markup language: Concepts, technology, and tools J Billington, S Christensen, K Van Hee, E Kindler, O Kummer, L Petrucci, ... ICATPN 3, 483-505, 2003 | 542 | 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 | 535 | 1998 |
| CPN tools for editing, simulating, and analysing coloured Petri nets AV Ratzer, L Wells, HM Lassen, M Laursen, JF Qvortrup, MS Stissing, ... Applications and Theory of Petri Nets 2003: 24th International Conference …, 2003 | 508 | 2003 |
| 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 | 208 | 1994 |
| Modular analysis of Petri nets S Christensen, L Petrucci The computer journal 43 (3), 224-242, 2000 | 198 | 2000 |
| Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs S Christensen, ND Hansen Application and Theory of Petri Nets 1993: 14th International Conference …, 1993 | 188 | 1993 |
| 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 | 173 | 2001 |
| Model checking Coloured Petri Nets-exploiting strongly connected components A Cheng, S Christensen, KH Mortensen DAIMI report series, 1997 | 138 | 1997 |
| Design/CPN. A reference manual K Jensen, S Christensen, P Huber, M Holla Computer Science Department, University of Aarhus, Denmark, 1996 | 109 | 1996 |
| 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 | 94 | 1997 |
| Towards a modular analysis of coloured Petri nets S Christensen, L Petrucci DAIMI Report Series 21 (391), 1992 | 93 | 1992 |
| CPN tools state space manual K Jensen, S Christensen, LM Kristensen Department of Computer Science, Univerisity of Aarhus, 2006 | 82 | 2006 |
| A general systematic approach to arc extensions for coloured Petri nets C Lakos, S Christensen Application and Theory of Petri Nets 1994: 15th International Conference …, 1994 | 77 | 1994 |
| 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 | 76 | 2020 |
| Modular state space analysis of coloured Petri nets S Christensen, L Petrucci Application and Theory of Petri Nets 1995: 16th International Conference …, 1995 | 73 | 1995 |
| 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 | 70 | 2001 |
| 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 | 70 | 1993 |
| Design/cpn ask-ctl manual S Christensen, KH Mortensen University of Aarhus, 1996 | 60 | 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 | 59 | 2001 |
| 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 | 52 | 2001 |
Kurt JensenProfessor of Computer Science, Aarhus UniversityGeverifieerd e-mailadres voor cs.au.dk
