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
6433*1997
Coloured Petri nets: modeling and validation of concurrent systems
K Jensen, LM Kristensen
Springer-Verlag New York Inc, 2009
16752009
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 (3), 213-254, 2007
14752007
Coloured Petri nets and the invariant-method
K Jensen
Theoretical computer science 14 (3), 317-336, 1981
9091981
Coloured Petri nets: A high level language for system design and analysis
K Jensen
High-level petri nets, 44-119, 1991
8421991
High-level Petri nets: theory and application
K Jensen, G Rozenberg
Springer Verlag, 1991
775*1991
An introduction to the theoretical aspects of coloured petri nets
K Jensen
Workshop/School/Symposium of the REX Project (Research and Education iná…, 1993
5921993
The practitioner’s guide to coloured Petri nets
LM Kristensen, S Christensen, K Jensen
International Journal on software Tools for technology Transfer 2 (2), 98-132, 1998
5251998
Hierarchies in coloured Petri nets
P Huber, K Jensen, RM Shapiro
International Conference on Application and Theory of Petri Nets, 313-341, 1989
4671989
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
4522003
An introduction to the practical use of coloured petri nets
K Jensen
Advanced Course on Petri Nets, 237-292, 1996
3081996
A brief introduction to coloured petri nets
K Jensen
International Workshop on Tools and Algorithms for the Construction andá…, 1997
2831997
Coloured Petri Nets, Volume 1: Basic Concepts
K Jensen
EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1992
163*1992
High-level Petri nets
K Jensen
Informatic Fachberichte Vol 66, Springer-Verlag, 1982
1541982
Application of coloured petri nets in system development
LM Kristensen, JB J°rgensen, K Jensen
Advanced Course on Petri Nets, 626-685, 2003
1262003
Towards reachability trees for high-level Petri nets
P Huber, AM Jensen, LO Jepsen, K Jensen
Advances in Petri Nets 1984, 215-233, 1985
1241985
Reachability trees for high-level Petri nets
P Huber, AM Jensen, LO Jepsen, K Jensen
High-Level Petri Nets, 319-350, 1986
1201986
Condensed state spaces for symmetrical coloured Petri nets
K Jensen
Formal Methods in System Design 9 (1-2), 7-40, 1996
1091996
Design/CPN™: A Reference Manual
K Jensen, S Christensen, P Huber, M Holla
Computer Science Department, University of Aarhus, Denmark, 1996
1041996
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
1022015
The system can't perform the operation now. Try again later.
Articles 1–20