PhD Dissertations from the CPN Group

• Kurt Jensen
  Net Models in System Development (1980)
  
  
• Søren Christensen
  Coloured Petri Nets: Theory, Tools and Practice (June 1992)
  Dissertation: No. 112 in DAIMI IR series
  
  
• Jens Bæk Jørgensen
  Analysing Coloured Petri Nets by the Occurrence Graph Method (February 1997)
  Overview paper: No. 517 in DAIMI PB series
  
  
• Kjeld H. Mortensen
  Coloured Petri Nets - a Pragmatic Formal Method for Designing and Analysing Distributed Systems (March 1997)
  
  
• Lars M. Kristensen
  State Space Methods for Coloured Petri Nets (January 2000)
  Dissertation: No. 546 in DAIMI PB series
  
  
• Lisa Wells
  Performance Analysis using Coloured Petri Nets (August 2002)
  
  
• Bo Lindstrøm
  Facilitating the Practical Use of Coloured Petri Nets (August 2002)
  
  
• Louise Elgaard
  The Symmetry Method for Coloured Petri Nets - Theory, Tools, and Practical Use (August 2002)
  
  
• Thomas Mailund Jensen
  Sweeping the State Space -- A Sweep-Line State Space Exploration Method (January 2003)
  
  
• Jonas Thomsen
  Home Appliance Integration by Pervasive Computing (June 2006)