| 1994 | ||
|---|---|---|
| 3 | Søren Christensen, Niels Damgaard Hansen: Coloured Petri Nets Extended with Channels for Synchronous Communication. Application and Theory of Petri Nets 1994: 159-178 | |
| 1993 | ||
| 2 | Søren Christensen, Niels Damgaard Hansen: Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs. Application and Theory of Petri Nets 1993: 186-205 | |
| 1982 | ||
| 1 | Niels Damgaard Hansen, K. H. Madsen: Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets. European Workshop on Applications and Theory of Petri Nets 1982: 132-148 | |
| 1 | Søren Christensen | [2] [3] |
| 2 | K. H. Madsen | [1] |