Mortensen, Kjeld Høyer

• DAIMI Report Series No. 518 (1997): PB-518 Modelling the Work Flow of a Nuclear Waste Management Program - Articles
  Modelling the Work Flow of a Nuclear Waste Management Program
  Abstract  PDF
• DAIMI Report Series No. 522 (1997): PB-522 Coloured Petri Nets - a Pragmatic Formal Method for Designing and Analysing Distributed Systems - Articles
  Coloured Petri Nets - a Pragmatic Formal Method for Designing and Analysing Distributed Systems
  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. 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. 513 (1997): PB-513 Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets - Articles
  Modelling and Analysis of Distributed Program Execution in BETA Using 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
• DAIMI Report Series No. 322 (1990): PB-322 Some new thoughts on Neural Networks with complex connection matrices - Articles
  Some new thoughts on Neural Networks with complex connection matrices
  Abstract  PDF