Coloured Petri nets: basic concepts, analysis methods and practical use K Jensen Springer Science & Business Media, 1997 | 6885* | 1997 |
Coloured Petri nets: modeling and validation of concurrent systems K Jensen, LM Kristensen Springer-Verlag New York Inc, 2009 | 3383* | 2009 |
High-level Petri nets K Jensen Informatic Fachberichte Vol 66, Springer-Verlag, 1982 | 1006* | 1982 |
Coloured Petri nets and the invariant-method K Jensen Theoretical computer science 14 (3), 317-336, 1981 | 1000 | 1981 |
Coloured Petri nets: A high level language for system design and analysis K Jensen International Conference on Application and Theory of Petri Nets, 342-416, 1989 | 898 | 1989 |
An introduction to the theoretical aspects of coloured petri nets K Jensen A Decade of Concurrency Reflections and Perspectives: REX School/Symposium …, 1994 | 637 | 1994 |
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 |
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 | 535 | 2003 |
Hierarchies in coloured Petri nets P Huber, K Jensen, RM Shapiro Advances in Petri Nets 1990 10, 313-341, 1991 | 496 | 1991 |
An introduction to the practical use of coloured petri nets K Jensen Lectures on Petri Nets II: Applications: Advances in Petri Nets 3, 237-292, 1998 | 328 | 1998 |
A brief introduction to coloured petri nets K Jensen International Workshop on Tools and Algorithms for the Construction and …, 1997 | 326 | 1997 |
Smart portable rehabilitation devices C Mavroidis, J Nikitczuk, B Weinberg, R Arango, G Danaher, K Jensen, ... International design engineering technical conferences and computers and …, 2005 | 166 | 2005 |
Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems K Jensen, LM Kristensen Communications of the ACM 58 (6), 61-70, 2015 | 163 | 2015 |
Coloured Petri nets, volume 1: basic concepts K Jensen EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1992 | 157* | 1992 |
Towards reachability trees for high-level Petri nets P Huber, AM Jensen, LO Jepsen, K Jensen Advances in Petri Nets 1984, 215-233, 1985 | 135 | 1985 |
Application of coloured petri nets in system development LM Kristensen, JB Jørgensen, K Jensen Lectures on Concurrency and Petri Nets: Advances in Petri Nets 4, 626-685, 2004 | 132 | 2004 |
Reachability trees for high-level Petri nets P Huber, AM Jensen, LO Jepsen, K Jensen Theoretical Computer Science 45, 261-292, 1986 | 128 | 1986 |
Condensed state spaces for symmetrical coloured Petri nets K Jensen Formal Methods in System Design 9, 7-40, 1996 | 114 | 1996 |
Design/CPN. A reference manual K Jensen Department of Computer Science, Aarhus University, 1991 | 112 | 1991 |
How to find invariants for coloured Petri nets K Jensen Mathematical Foundations of Computer Science 1981, 327-338, 1981 | 86 | 1981 |
CPN tools state space manual K Jensen, S Christensen, LM Kristensen Department of Computer Science, Univerisity of Aarhus, 2006 | 85 | 2006 |
Petri net tool overview 1986 F Feldbrugge, K Jensen Petri Nets: Applications and Relationships to Other Models of Concurrency, 20-61, 1987 | 83 | 1987 |
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 |
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 |
Transactions on Petri Nets and Other Models of Concurrency II (Paperback): Special Issue on Concurrency in Process-Aware Information Systems Book.(Series: Lecture Notes in … K JENSEN, WMP AALST | 63* | 2009 |
Specification and validation of an edge router discovery protocol for mobile ad hoc networks LM Kristensen, K Jensen Integration of Software Specification Techniques for Applications in …, 2004 | 62 | 2004 |
Computer tools for coloured Petri nets K Jensen, K Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use …, 1992 | 61 | 1992 |
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS M Beaudouin-Lafon, W Mackay, M Jensen, P Andersen, P Janecek, ... Tools and Algorithms for the Construction and Analysis of Systems, 574-577, 2001 | 56 | 2001 |
Computer tools for construction, modification and analysis of Petri nets K Jensen Petri Nets: Applications and Relationships to Other Models of Concurrency …, 1987 | 53 | 1987 |
Design/CPN: A tool package supporting the use of Coloured Petri Nets K Albert, K Jensen, RM Sharpiro Petri Net Newsletter 32, 22-35, 1989 | 34 | 1989 |
State Space Methods for Timed Coloured Petri Nets K Jensen, T Mailund, LM Kristensen Proceedings of 2 nd Intenational Colloquium on Petri Net Technologies for …, 2001 | 31* | 2001 |
The sweep-line state space exploration method K Jensen, LM Kristensen, T Mailund Theoretical Computer Science 429, 169-179, 2012 | 30 | 2012 |
Tools and algorithms for the construction and analysis of systems: 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and … K Jensen, A Podelski Springer, 2004 | 30* | 2004 |
Informal Introduction to Coloured Petri Nets K Jensen, K Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use …, 1992 | 29 | 1992 |
A method to compare the descriptive power of different types of Petrinets K Jensen International Symposium on Mathematical Foundations of Computer Science, 348-361, 1980 | 27 | 1980 |
Computer tools for high-level Petri nets F Feldbrugge, K Jensen High-Level Petri Nets: Theory and Application, 691-717, 1991 | 25 | 1991 |
State space methods for coloured Petri nets S Christensen, K Jensen, T Mailund, LM Kristensen | 25* | |
An introduction to high-level petri nets K Jensen DAIMI Report Series, 1985 | 21 | 1985 |
Special section on coloured petri nets K Jensen International Journal on Software Tools for Technology Transfer 2 (2), 95-191, 1998 | 14 | 1998 |
Pascal semantics by a combination of denotational semantics and high-level Petri nets K Jensen, EM Schmidt European Workshop on Applications and Theory in Petri Nets, 297-329, 1985 | 12 | 1985 |
Special section on coloured Petri nets K Jensen International Journal on Software Tools for Technology Transfer 9 (3-4), 209, 2007 | 11 | 2007 |
Hierarchical coloured Petri nets K Jensen, K Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use …, 1992 | 11 | 1992 |
Accurate prediction of knee angles during open-chain rehabilitation exercises using a wearable array of nanocomposite stretch sensors DS Wood, K Jensen, A Crane, H Lee, H Dennis, J Gladwell, A Shurtz, ... Sensors 22 (7), 2499, 2022 | 10 | 2022 |
A Petri net definition of a system description language K Jensen, M Kyng, OL Madsen Semantics of Concurrent Computation: Proceedings of the International …, 1979 | 10 | 1979 |
Design/CPN manuals K Jensen Meta Software Corporation and Department of Computer Science, University of …, 1991 | 9 | 1991 |
Formal definition of non-hierarchical coloured petri nets K Jensen, LM Kristensen, K Jensen, LM Kristensen Coloured Petri Nets: Modelling and Validation of Concurrent Systems, 79-94, 2009 | 8 | 2009 |
Connection between Dijkstra's Predicate-Transformers and Denotational Continuation-Semantics K Jensen DAIMI Report Series, 1978 | 8 | 1978 |
Special section on Coloured Petri Nets--preface by the section editor: Kurt Jensen K Jensen International Journal on Software Tools for Technology Transfer 10 (1), 1, 2008 | 7 | 2008 |
The design of a program package for an introductory Petri Net course K Jensen Advances in Petri Nets 1984, 259-266, 2005 | 7 | 2005 |
Coloured petri nets: Status and outlook K Jensen Applications and Theory of Petri Nets 2003: 24th International Conference …, 2003 | 7 | 2003 |
Petri nets 2000 G Balbo, J Desel, K Jensen, W Reisig, G Rozenberg, M Silva Proceedings of the 21st International Conference on Applications and Theory …, 2000 | 7 | 2000 |
Formal definition of coloured Petri nets K Jensen, K Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use …, 1992 | 7 | 1992 |
Teaching modelling and validation of concurrent systems using coloured Petri nets LM Kristensen, K Jensen Transactions on Petri Nets and Other Models of Concurrency I, 19-34, 2008 | 6 | 2008 |
Special section on practical use of high-level petri nets K Jensen International Journal on Software Tools for Technology Transfer 3 (4), 369-430, 2001 | 6 | 2001 |
Delta Semantics Defined by Petri Nets K Jensen, M Kyng, OL Madsen Aarhus University, 1979 | 6 | 1979 |
Extended and hyper Petri nets K Jensen Aarhus Universitetsforlag, 1978 | 6 | 1978 |
Cpn/tools: revisiting the desktop metaphor with post-wimp interaction techniques M Beaudouin-Lafon, WE Mackay, P Andersen, P Janecek, M Jensen, ... CHI'01 Extended Abstracts on Human Factors in Computing Systems, 11-12, 2001 | 5 | 2001 |
Design/CPN extensions K Jensen, P Huber, RM Shapiro | 5 | 1990 |
Petri Net Package: User's Manual K Jensen, P Huber, NN Larsen Aarhus University, 1984 | 4 | 1984 |
Overview of Design/CPN K Jensen | 3 | 2005 |
Practical Use of High-level Petri Nets: Workshop Proceedings: 21st International Conference on Application and Theory of Petri Nets K Jensen, Workshop on Practical Use of High-level Petri Nets, ... Aarhus Universitet, Datalogisk Afdeling, 2000 | 3* | 2000 |
Epsilon. A system description language K Jensen, M Kyng | 3 | 1980 |
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets–Version 1.0 and Beyond L Wells, HM Lassen, KB Lassen, M Laursen, K Jensen | 2 | 2003 |
Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN. K Jensen DAIMI Report Series, 1999 | 2 | 1999 |
Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools K Jensen DAIMI Report Series, 2002 | 1 | 2002 |
Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, August 29-31, 2001 K Jensen | 1* | 2001 |
Workshop on Practical Use of Coloured Petri Nets and Design/CPN, Aarhus, Denmark, 10-12 June 1998 Workshop on Practical Use of Coloured Petri Nets and Design Computer Science Department, Aarhus University, 1998 | 1* | 1998 |
Formal Analysis of Coloured Petri Nets K Jensen, K Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use …, 1992 | 1 | 1992 |
Petri Nets and Semantics of System Descriptions K Jensen, M Kyng Application and Theory of Petri Nets: Selected Papers from the First and the …, 1981 | 1 | 1981 |
Net Models in System Description K Jensen Computer Science Department, Aarhus University, 1980 | 1 | 1980 |
Transactions on Petri Nets and Other Models of Concurrency IV S Donatelli, K Jensen Springer Berlin Heidelberg, 2010 | | 2010 |
Sixth Workshop and Tutorial Om Practical Use of Coloured Petri Nets and the CPN Tools, 2005 K Jensen Department of Computer Science, University of Aarhus, 2005 | | 2005 |
Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, August 28-30, 2002 K Jensen, A Universitet Aarhus University, Computer Science Department, 2002 | | 2002 |
Petri Nets 2000: Workshop Proceedings: Practical Use of High-level Petri Nets: 21st International Conference on Application and Theory of Petri Nets, Aarhus, Denmark, June 26 … K Jensen Aarhus University, Computer Science Department, 2000 | | 2000 |
Preface by the Section Editor: Kurt Jensen K Jensen International Journal on Software Tools for Technology Transfer 2, 95-97, 1998 | | 1998 |
Nuclear Waste Management Programme K Jensen, K Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, 247-260, 1997 | | 1997 |
Electronic Funds Transfer System K Jensen, K Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, 189-201, 1997 | | 1997 |
Transaction Processing and Interconnect Fabric K Jensen, K Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, 51-72, 1997 | | 1997 |
UPC Algorithms in ATM Networks K Jensen, K Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, 21-37, 1997 | | 1997 |
Audio/Video System K Jensen, K Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, 39-50, 1997 | | 1997 |
Document Storage System K Jensen, K Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, 171-178, 1997 | | 1997 |
ISDN Supplementary Services K Jensen, K Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, 85-98, 1997 | | 1997 |
Communications Gateway K Jensen, K Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, 117-129, 1997 | | 1997 |
Distributed Program Execution K Jensen, K Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, 179-188, 1997 | | 1997 |
Arbiter Cascade K Jensen, K Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, 161-169, 1997 | | 1997 |
Naval Vessel K Jensen, K Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, 225-235, 1997 | | 1997 |
Mutual Exclusion Algorithm K Jensen, K Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, 73-84, 1997 | | 1997 |
VLSI Chip K Jensen, K Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, 149-160, 1997 | | 1997 |
Bank Courier Network K Jensen, K Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, 203-212, 1997 | | 1997 |
Intelligent Network K Jensen, K Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, 99-115, 1997 | | 1997 |
Security System K Jensen, K Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, 1-19, 1997 | | 1997 |
BRI Protocol in ISDN Networks K Jensen, K Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, 131-148, 1997 | | 1997 |
Network Management System K Jensen, K Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, 213-223, 1997 | | 1997 |
Chemical Production System K Jensen, K Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, 237-245, 1997 | | 1997 |
Dynamic and Static Properties of Coloured Petri Nets K Jensen, K Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, 123-140, 1996 | | 1996 |
Farvede Petri Net: sammenfattende redegørelse for naturvidenskabelig doktorafhandling K Jensen Datalogisk Afdeling, Aarhus Universitet, 1994 | | 1994 |
Application and Theory of Petri Nets 1992: 13th International Conference, Sheffield, UK, June 22-26, 1995: Proceedings E Steinberg, K Jensen Springer, 1992 | | 1992 |
Industrial Applications of Coloured Petri Nets K Jensen, K Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use …, 1992 | | 1992 |
High-level Petri nets: theory and application K Jensen, G Rozenberg Springer Verlag, 1991 | | 1991 |
Net Modeller i Systembeskrivelse: Summary of Ph. D. thesis K Jensen Aarhus Universitetsforlag, 1980 | | 1980 |