2009 |
38 | EE | Kurt Jensen,
Wil M. P. van der Aalst:
Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems
Springer 2009 |
2008 |
37 | EE | Kurt Jensen,
Wil M. P. van der Aalst,
Jonathan Billington:
Transactions on Petri Nets and Other Models of Concurrency I
Springer 2008 |
36 | EE | Kurt Jensen:
Special section on Coloured Petri Nets.
STTT 10(1): 1-3 (2008) |
35 | EE | Lars Michael Kristensen,
Kurt Jensen:
Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets.
T. Petri Nets and Other Models of Concurrency 1: 19-34 (2008) |
2007 |
34 | EE | Kurt Jensen:
Special section on coloured Petri nets.
STTT 9(3-4): 209-212 (2007) |
33 | EE | Kurt Jensen,
Lars Michael Kristensen,
Lisa Wells:
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems.
STTT 9(3-4): 213-254 (2007) |
2006 |
32 | EE | Kurt Jensen,
Andreas Podelski:
Tools and algorithms for the construction and analysis of systems.
STTT 8(3): 177-179 (2006) |
2005 |
31 | EE | Kurt Jensen,
Andreas Podelski:
Special issue.
Theor. Comput. Sci. 345(1): 1 (2005) |
2004 |
30 | | Kurt Jensen,
Andreas Podelski:
Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
Springer 2004 |
29 | EE | Lars Michael Kristensen,
Kurt Jensen:
Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks.
SoftSpez Final Report 2004: 248-269 |
2003 |
28 | EE | Kurt Jensen:
Coloured Petri Nets: Status and Outlook.
ICATPN 2003: 1-2 |
27 | EE | Anne V. Ratzer,
Lisa Wells,
Henry Michael Lassen,
Mads Laursen,
Jacob Frank Qvortrup,
Martin Stig Stissing,
Michael Westergaard,
Søren Christensen,
Kurt Jensen:
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets.
ICATPN 2003: 450-462 |
26 | EE | Lars Michael Kristensen,
Jens Bæk Jørgensen,
Kurt Jensen:
Application of Coloured Petri Nets in System Development.
Lectures on Concurrency and Petri Nets 2003: 626-685 |
2001 |
25 | EE | Michel Beaudouin-Lafon,
Wendy E. Mackay,
Peter Andersen,
Paul Janecek,
Mads Jensen,
Henry Michael Lassen,
Kasper Lund,
Kjeld Høyer Mortensen,
Stephanie Munck,
Anne V. Ratzer,
Katrine Ravn,
Søren Christensen,
Kurt Jensen:
CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets.
ICATPN 2001: 71-80 |
24 | EE | Michel Beaudouin-Lafon,
Wendy E. Mackay,
Mads Jensen,
Peter Andersen,
Paul Janecek,
Henry Michael Lassen,
Kasper Lund,
Kjeld Høyer Mortensen,
Stephanie Munck,
Anne V. Ratzer,
Katrine Ravn,
Søren Christensen,
Kurt Jensen:
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS.
TACAS 2001: 574-577 |
23 | EE | Kurt Jensen:
Special Section on the Practical Use of High-Level Petri Nets: Preface by the section editor.
STTT 3(4): 369-371 (2001) |
1998 |
22 | EE | Kurt Jensen:
Coloured Petri Nets - Preface by the Section Editor.
STTT 2(2): 95-97 (1998) |
21 | EE | Lars Michael Kristensen,
Søren Christensen,
Kurt Jensen:
The Practitioner's Guide to Coloured Petri Nets.
STTT 2(2): 98-132 (1998) |
1997 |
20 | | Kurt Jensen:
A Brief Introduction to Coloured Petri Nets.
TACAS 1997: 203-208 |
1996 |
19 | | Kurt Jensen:
An Introduction to the Practical Use of Coloured Petri Nets.
Petri Nets (2) 1996: 237-292 |
18 | | Kurt Jensen:
Condensed State Spaces for Symmetrical Coloured Petri Nets.
Formal Methods in System Design 9(1/2): 7-40 (1996) |
1993 |
17 | | Kurt Jensen:
An Introduction to the Theoretical Aspects of Coloured Petri Nets.
REX School/Symposium 1993: 230-272 |
1992 |
16 | | Kurt Jensen:
Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings
Springer 1992 |
1989 |
15 | | Peter Huber,
Kurt Jensen,
Robert M. Shapiro:
Hierarchies in coloured Petri nets.
Applications and Theory of Petri Nets 1989: 313-341 |
14 | | Kurt Jensen:
Coloured Petri nets: A high level language for system design and analysis.
Applications and Theory of Petri Nets 1989: 342-416 |
1986 |
13 | | Frits Feldbrugge,
Kurt Jensen:
Petri Net Tool Overview 1986.
Advances in Petri Nets 1986: 20-61 |
12 | | Kurt Jensen:
Coloured Petri Nets.
Advances in Petri Nets 1986: 248-299 |
11 | | Kurt Jensen:
Computer Tools for Construction, Modification and Analysis of Petri Nets.
Advances in Petri Nets 1986: 4-19 |
10 | | Peter Huber,
Arne M. Jensen,
Leif O. Jepsen,
Kurt Jensen:
Reachability Trees for High-level Petri Nets.
Theor. Comput. Sci. 45(3): 261-292 (1986) |
1985 |
9 | | Kurt Jensen,
Erik Meineche Schmidt:
Pascal semantics by a combination of denotational semantics and high-level Petri nets.
Applications and Theory in Petri Nets 1985: 297-329 |
1984 |
8 | | Peter Huber,
Arne M. Jensen,
Leif O. Jepsen,
Kurt Jensen:
Towards reachability trees for high-level Petri nets.
European Workshop on Applications and Theory in Petri Nets 1984: 215-233 |
7 | | Kurt Jensen:
The design of a program package for an introductory Petri net course.
European Workshop on Applications and Theory in Petri Nets 1984: 259-266 |
1982 |
6 | | Kurt Jensen:
High-Level Petri Nets.
European Workshop on Applications and Theory of Petri Nets 1982: 166-180 |
1981 |
5 | | Kurt Jensen:
How to Find Invariants for Coloured Petri Nets.
MFCS 1981: 327-338 |
4 | | Kurt Jensen,
Morten Kyng:
Petri Nets and Semantics of System Descriptions.
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 64-71 |
3 | | Kurt Jensen:
Coloured Petri Nets and the Invariant-Method.
Theor. Comput. Sci. 14: 317-336 (1981) |
1980 |
2 | | Kurt Jensen:
A Method to Compare the Descriptive Power of Different Types of Petri Nets.
MFCS 1980: 348-361 |
1979 |
1 | | Kurt Jensen,
Morten Kyng,
Ole Lehrmann Madsen:
A Petri Net Definition of a System Description Language.
Semantics of Concurrent Computation 1979: 348-368 |