![]() | ![]() |
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] |