Christensen, Søren

• DAIMI Report Series No. 524 (1997): PB-524 Modular State Space Analysis of Coloured Petri Nets - Articles
  Modular State Space Analysis of Coloured Petri Nets
  Abstract  PDF
• DAIMI Report Series No. 349 (1991): PB-349 Modelling and Simulation of a Network Management System using Hierarchical Coloured Petri Nets: Extended version - Articles
  Modelling and Simulation of a Network Management System using Hierarchical Coloured Petri Nets: Extended version
  Abstract  PDF
• DAIMI Report Series No. 309 (1990): PB-309 A logical characterization of asynchronously communicating agents - Articles
  A logical characterization of asynchronously communicating agents
  Abstract  PDF
• DAIMI Report Series No. 390 (1992): PB-390 Coloured Petri Nets Extended with Channels for Synchronous Communication - Articles
  Coloured Petri Nets Extended with Channels for Synchronous Communication
  Abstract  PDF
• DAIMI Report Series No. 391 (1992): PB-391 Towards a Modular Analysis of Coloured Petri Nets - Articles
  Towards a Modular Analysis of Coloured Petri Nets
  Abstract  PDF
• DAIMI Report Series No. 398 (1992): PB-398 Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs - Articles
  Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs
  Abstract  PDF
• DAIMI Report Series No. 511 (1997): PB-511 Design/CPN - A Computer Tool for Coloured Petri Nets - Articles
  Design/CPN - A Computer Tool for Coloured Petri Nets
  Abstract  PDF
• DAIMI Report Series No. 514 (1997): PB-514 Analysing Bang & Olufsen's BeoLink Audio/Video System Using Coloured Petri Nets - Articles
  Analysing Bang & Olufsen's BeoLink Audio/Video System Using Coloured Petri Nets
  Abstract  PDF
• DAIMI Report Series No. 347 (1991): PB-347 A Modal Characterisation of Distributed Bisimulation - Articles
  A Modal Characterisation of Distributed Bisimulation
  Abstract  PDF
• DAIMI Report Series No. 520 (1997): PB-520 Teaching Coloured Petri Nets - a Gentle Introduction to Formal Methods in a Distributed Systems Course - Articles
  Teaching Coloured Petri Nets - a Gentle Introduction to Formal Methods in a Distributed Systems Course
  Abstract  PDF
• DAIMI Report Series No. 521 (1997): PB-521 Parametrisation of Coloured Petri Nets - Articles
  Parametrisation of Coloured Petri Nets
  Abstract  PDF
• DAIMI Report Series No. 519 (1997): PB-519 Model Checking Coloured Petri Nets - Exploiting Strongly Connected Components - Articles
  Model Checking Coloured Petri Nets - Exploiting Strongly Connected Components
  Abstract  PDF