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
6633*1997
Coloured Petri nets: modeling and validation of concurrent systems
K Jensen, LM Kristensen
Springer-Verlag New York Inc, 2009
18112009
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
15792007
Coloured Petri nets and the invariant-method
K Jensen
Theoretical computer science 14 (3), 317-336, 1981
9351981
Coloured Petri nets: A high level language for system design and analysis
K Jensen
High-level petri nets, 44-119, 1991
8621991
High-level Petri nets: theory and application
K Jensen, G Rozenberg
Springer Verlag, 1991
800*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
6011993
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
5321998
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
4932003
Hierarchies in coloured Petri nets
P Huber, K Jensen, RM Shapiro
International Conference on Application and Theory of Petri Nets, 313-341, 1989
4861989
An introduction to the practical use of coloured petri nets
K Jensen
Advanced Course on Petri Nets, 237-292, 1996
3151996
A brief introduction to coloured petri nets
K Jensen
International Workshop on Tools and Algorithms for the Construction andá…, 1997
3081997
Coloured Petri Nets, Volume 1: Basic Concepts
K Jensen
EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1992
195*1992
High-level Petri nets
K Jensen
Informatic Fachberichte Vol 66, Springer-Verlag, 1982
1611982
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
1312015
Application of coloured petri nets in system development
LM Kristensen, JB J°rgensen, K Jensen
Advanced Course on Petri Nets, 626-685, 2003
1302003
Towards reachability trees for high-level Petri nets
P Huber, AM Jensen, LO Jepsen, K Jensen
Advances in Petri Nets 1984, 215-233, 1985
1281985
Reachability trees for high-level Petri nets
P Huber, AM Jensen, LO Jepsen, K Jensen
High-Level Petri Nets, 319-350, 1986
1181986
Condensed state spaces for symmetrical coloured Petri nets
K Jensen
Formal Methods in System Design 9 (1), 7-40, 1996
1111996
Design/CPN™: A Reference Manual
K Jensen, S Christensen, P Huber, M Holla
Computer Science Department, University of Aarhus, Denmark, 1996
1071996
The system can't perform the operation now. Try again later.
Articles 1–20