Hansen, Niels Damgaard
-
DAIMI Report Series Nr. 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
Resumé PDF (English) -
DAIMI Report Series Nr. 390 (1992): PB-390 Coloured Petri Nets Extended with Channels for Synchronous Communication - Articles
Coloured Petri Nets Extended with Channels for Synchronous Communication
Resumé PDF (English) -
DAIMI Report Series Nr. 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
Resumé PDF (English)