Jensen, Kurt
-
DAIMI Report Series No. 532 (1998): PB-532 Workshop on Practical Use of Coloured Petri Nets and Design/CPN: Aarhus, Denmark, 10-12 June 1998 - Articles
Workshop on Practical Use of Coloured Petri Nets and Design/CPN: Aarhus, Denmark, 10-12 June 1998
Abstract PDF -
DAIMI Report Series No. 86 (1978): PB-86 Connection between Dijkstra's Predicate-Transformers and Denotational Continuation-Semantics - Articles
Connection between Dijkstra's Predicate-Transformers and Denotational Continuation-Semantics
Abstract PDF -
DAIMI Report Series No. 95 (1979): PB-95 Delta Semantics Defined by Petri Nets - Articles
Delta Semantics Defined by Petri Nets
Abstract PDF -
DAIMI Report Series No. 96 (1979): PB-96 A Petri Net Definition of a System Description Language - Articles
A Petri Net Definition of a System Description Language
Abstract PDF -
DAIMI Report Series No. 104 (1979): PB-104 Coloured Petri Nets and the Invariant-Method - Articles
Coloured Petri Nets and the Invariant-Method
Abstract PDF -
DAIMI Report Series No. 108 (1980): PB-108 A method to compare the descriptive power of different types of Petri nets - Articles
A method to compare the descriptive power of different types of Petri nets
Abstract PDF -
DAIMI Report Series No. 116 (1980): PB-116 Petri Nets and Semantics of System Descriptions - Articles
Petri Nets and Semantics of System Descriptions
Abstract PDF -
DAIMI Report Series No. 120 (1980): PB-120 How to find Invariants for Coloured Petri Nets - Articles
How to find Invariants for Coloured Petri Nets
Abstract PDF -
DAIMI Report Series No. 338 (1990): PB-338 Coloured Petri Nets: A High Level Language for System Design and Analysis - Articles
Coloured Petri Nets: A High Level Language for System Design and Analysis
Abstract PDF -
DAIMI Report Series No. 198 (1985): PB-198 Pascal Semantics by a Combination of Denotational Semantics and High-level Petri nets - Articles
Pascal Semantics by a Combination of Denotational Semantics and High-level Petri nets
Abstract PDF -
DAIMI Report Series No. 61 (1976): PB-61 An Investigation into Different Semantic Approaches - Articles
An Investigation into Different Semantic Approaches
Abstract PDF -
DAIMI Report Series No. 476 (1994): PB-476 An Introduction to the Theoretical Aspects of Coloured Petri Nets - Articles
An Introduction to the Theoretical Aspects of Coloured Petri Nets
Abstract PDF -
DAIMI Report Series No. 541 (1999): PB-541 Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN. - Articles
Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN.
Abstract PDF -
DAIMI Report Series No. 547 (2000): PB-547 Practical Use of High-level Petri Nets - Articles
Practical Use of High-level Petri Nets
Abstract PDF -
DAIMI Report Series No. 554 (2001): PB-554 Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, August 29 - Articles
Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, August 29-31, 2001
Abstract PDF -
DAIMI Report Series No. 560 (2002): PB-560 Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools - Articles
Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools
Abstract PDF -
DAIMI Report Series No. 590 (2009): PB-590 Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools - Articles
Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 19-21, 2009
Abstract PDF -
DAIMI Report Series No. 588 (2008): PB-588 Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October - Articles
Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 20-22, 2008
Abstract PDF -
DAIMI Report Series No. 584 (2007): PB-584 Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October - Articles
Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 22-24, 2007
Abstract PDF -
DAIMI Report Series No. 576 (2005): PB-576 Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools - Articles
Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 24-26, 2005
Abstract PDF -
DAIMI Report Series No. 570 (2004): PB-570 Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools - Articles
Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 8-11, 2004
Abstract PDF -
DAIMI Report Series No. 579 (2006): PB-579 Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools - Articles
Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 24-26, 2006
Abstract PDF -
DAIMI Report Series No. 150 (1982): PB-150 EPSILON: A System Description Language - Articles
EPSILON: A System Description Language
Abstract PDF -
DAIMI Report Series No. 151 (1982): PB-151 High-Level Petri Nets - Articles
High-Level Petri Nets
Abstract PDF -
DAIMI Report Series No. 197 (1985): PB-197 An Introduction to High-Level Petri Nets - Articles
An Introduction to High-Level Petri Nets
Abstract PDF -
DAIMI Report Series No. 174 (1984): PB-174 Towards Reachability Trees for High-level Petri Nets - Articles
Towards Reachability Trees for High-level Petri Nets
Abstract PDF