Takip et
Kurt Jensen
Kurt Jensen
Professor of Computer Science, Aarhus University
cs.au.dk üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Coloured Petri nets: basic concepts, analysis methods and practical use
K Jensen
Springer Science & Business Media, 1997
6872*1997
Coloured Petri nets: modeling and validation of concurrent systems
K Jensen, LM Kristensen
Springer-Verlag New York Inc, 2009
3368*2009
High-level Petri nets
K Jensen
Informatic Fachberichte Vol 66, Springer-Verlag, 1982
1003*1982
Coloured Petri nets and the invariant-method
K Jensen
Theoretical computer science 14 (3), 317-336, 1981
9961981
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
8971989
An introduction to the theoretical aspects of coloured petri nets
K Jensen
A Decade of Concurrency Reflections and Perspectives: REX School/Symposium …, 1994
6351994
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
5411998
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
5332003
Hierarchies in coloured Petri nets
P Huber, K Jensen, RM Shapiro
Advances in Petri Nets 1990 10, 313-341, 1991
4951991
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
3281998
A brief introduction to coloured petri nets
K Jensen
International Workshop on Tools and Algorithms for the Construction and …, 1997
3251997
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
1652005
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
1632015
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
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
1281986
Condensed state spaces for symmetrical coloured Petri nets
K Jensen
Formal Methods in System Design 9, 7-40, 1996
1141996
Design/CPN. A reference manual
K Jensen
Department of Computer Science, Aarhus University, 1991
1121991
How to find invariants for coloured Petri nets
K Jensen
Mathematical Foundations of Computer Science 1981, 327-338, 1981
861981
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20