Follow
Kurt Jensen
Kurt Jensen
Professor of Computer Science, Aarhus University
Verified email at cs.au.dk - Homepage
Title
Cited by
Cited by
Year
Coloured Petri nets: basic concepts, analysis methods and practical use
K Jensen
Springer Science & Business Media, 1997
6530*1997
Coloured Petri nets: modeling and validation of concurrent systems
K Jensen, LM Kristensen
Springer-Verlag New York Inc, 2009
19092009
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
K Jensen, LM Kristensen, L Wells
International Journal on Software Tools for Technology Transfer 9, 213-254, 2007
16112007
Coloured Petri nets and the invariant-method
K Jensen
Theoretical computer science 14 (3), 317-336, 1981
9611981
Coloured Petri nets: A high level language for system design and analysis
K Jensen
High-level Petri nets: theory and application, 44-119, 1991
8761991
High-level Petri nets: theory and application
K Jensen, G Rozenberg
Springer Verlag, 1991
831*1991
An introduction to the theoretical aspects of coloured petri nets
K Jensen
A Decade of Concurrency Reflections and Perspectives: REX School/Symposium …, 1994
6111994
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
5391998
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
5042003
Hierarchies in coloured Petri nets
P Huber, K Jensen, RM Shapiro
Advances in Petri Nets 1990 10, 313-341, 1991
4891991
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
3231998
A brief introduction to coloured petri nets
K Jensen
Lecture Notes in Computer Science 1217, 203-208, 1997
3151997
Coloured Petri nets, volume 1: basic concepts
K Jensen
EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1992
173*1992
High-level Petri nets
K Jensen
Informatic Fachberichte Vol 66, Springer-Verlag, 1982
1681982
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
1512015
Towards reachability trees for high-level Petri nets
P Huber, AM Jensen, LO Jepsen, K Jensen
Advances in Petri Nets 1984, 215-233, 1985
1341985
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
1322004
Reachability trees for high-level Petri nets
P Huber, AM Jensen, LO Jepsen, K Jensen
Theoretical Computer Science 45, 261-292, 1986
1211986
Condensed state spaces for symmetrical coloured Petri nets
K Jensen
Formal Methods in System Design 9, 7-40, 1996
1121996
Design/CPN. A reference manual
K Jensen, S Christensen, P Huber, M Holla
Computer Science Department, University of Aarhus, Denmark, 1996
1091996
The system can't perform the operation now. Try again later.
Articles 1–20