Cheng, Allan
-
DAIMI Report Series Nr. 455 (1993): PB-455 Complexity Results for 1-safe Nets - Articles
Complexity Results for 1-safe Nets
Resumé PDF (English) -
DAIMI Report Series Nr. 519 (1997): PB-519 Model Checking Coloured Petri Nets - Exploiting Strongly Connected Components - Articles
Model Checking Coloured Petri Nets - Exploiting Strongly Connected Components
Resumé PDF (English)