Hansen, Niels Damgaard

• DAIMI Report Series No. 152 (1982): PB-152 Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets - Articles
  Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets
  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. 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