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. 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. 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. 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. 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. 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