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