Jepsen, Leif Obel
-
DAIMI Report Series Nr. 349 (1991): PB-349 Modelling and Simulation of a Network Management System using Hierarchical Coloured Petri Nets: Extended version - Articles
Modelling and Simulation of a Network Management System using Hierarchical Coloured Petri Nets: Extended version
Resumé PDF (English) -
DAIMI Report Series Nr. 174 (1984): PB-174 Towards Reachability Trees for High-level Petri Nets - Articles
Towards Reachability Trees for High-level Petri Nets
Resumé PDF (English)