Christensen, Søren
-
DAIMI Report Series No. 524 (1997): PB-524 Modular State Space Analysis of Coloured Petri Nets - Articles
Modular State Space Analysis of Coloured Petri Nets
Abstract PDF -
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. 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. 391 (1992): PB-391 Towards a Modular Analysis of Coloured Petri Nets - Articles
Towards a Modular Analysis of Coloured Petri Nets
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 -
DAIMI Report Series No. 309 (1990): PB-309 A logical characterization of asynchronously communicating agents - Articles
A logical characterization of asynchronously communicating agents
Abstract PDF -
DAIMI Report Series No. 511 (1997): PB-511 Design/CPN - A Computer Tool for Coloured Petri Nets - Articles
Design/CPN - A Computer Tool for Coloured Petri Nets
Abstract PDF -
DAIMI Report Series No. 514 (1997): PB-514 Analysing Bang & Olufsen's BeoLink Audio/Video System Using Coloured Petri Nets - Articles
Analysing Bang & Olufsen's BeoLink Audio/Video System Using Coloured Petri Nets
Abstract PDF -
DAIMI Report Series No. 347 (1991): PB-347 A Modal Characterisation of Distributed Bisimulation - Articles
A Modal Characterisation of Distributed Bisimulation
Abstract PDF -
DAIMI Report Series No. 520 (1997): PB-520 Teaching Coloured Petri Nets - a Gentle Introduction to Formal Methods in a Distributed Systems Course - Articles
Teaching Coloured Petri Nets - a Gentle Introduction to Formal Methods in a Distributed Systems Course
Abstract PDF -
DAIMI Report Series No. 521 (1997): PB-521 Parametrisation of Coloured Petri Nets - Articles
Parametrisation of Coloured Petri Nets
Abstract PDF -
DAIMI Report Series No. 519 (1997): PB-519 Model Checking Coloured Petri Nets - Exploiting Strongly Connected Components - Articles
Model Checking Coloured Petri Nets - Exploiting Strongly Connected Components
Abstract PDF