Kurt Jensen
Kurt Jensen
Professor of Computer Science, Aarhus University
Geverifieerd e-mailadres voor cs.au.dk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Coloured Petri nets: basic concepts, analysis methods and practical use
K Jensen
Springer Science & Business Media, 1997
6261*1997
Coloured Petri nets: modeling and validation of concurrent systems
K Jensen, LM Kristensen
Springer-Verlag New York Inc, 2009
16122009
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-4), 213-254, 2007
14192007
Coloured Petri nets and the invariant-method
K Jensen
Theoretical computer science 14 (3), 317-336, 1981
8801981
Coloured Petri nets: A high level language for system design and analysis
K Jensen
High-level Petri Nets, 44-119, 1991
8151991
High-level Petri nets: theory and application
K Jensen, G Rozenberg
Springer Verlag, 1991
742*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
5711993
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
4981998
Hierarchies in coloured Petri nets
P Huber, K Jensen, RM Shapiro
International Conference on Application and Theory of Petri Nets, 313-341, 1989
4601989
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
4412003
An introduction to the practical use of coloured petri nets
K Jensen
Advanced Course on Petri Nets, 237-292, 1996
3001996
A brief introduction to coloured petri nets
K Jensen
International Workshop on Tools and Algorithms for the Construction andá…, 1997
2671997
High-level Petri nets
K Jensen
Informatic Fachberichte Vol 66, Springer-Verlag, 1982
1591982
Towards reachability trees for high-level Petri nets
P Huber, AM Jensen, LO Jepsen, K Jensen
Advances in Petri Nets 1984, 215-233, 1985
1231985
Application of coloured petri nets in system development
LM Kristensen, JB J°rgensen, K Jensen
Advanced Course on Petri Nets, 626-685, 2003
1202003
Reachability trees for high-level Petri nets
P Huber, AM Jensen, LO Jepsen, K Jensen
High-Level Petri Nets, 319-350, 1986
1161986
Condensed state spaces for symmetrical coloured Petri nets
K Jensen
Formal Methods in System Design 9 (1-2), 7-40, 1996
1051996
Design/CPN. A reference manual
K Jensen
Department of Computer Science, Aarhus University, 1991
1041991
Analysis methods
K Jensen
Springer, 1997
93*1997
How to find invariants for coloured Petri nets
K Jensen
Mathematical Foundations of Computer Science 1981, 327-338, 1981
791981
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20