Cheng, Allan
-
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 -
DAIMI Report Series No. 455 (1993): PB-455 Complexity Results for 1-safe Nets - Articles
Complexity Results for 1-safe Nets
Abstract PDF