Jepsen, Leif Obel
-
DAIMI Report Series No. 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
Abstract PDF -
DAIMI Report Series No. 174 (1984): PB-174 Towards Reachability Trees for High-level Petri Nets - Articles
Towards Reachability Trees for High-level Petri Nets
Abstract PDF