Petrucci, Laure
-
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. 391 (1992): PB-391 Towards a Modular Analysis of Coloured Petri Nets - Articles
Towards a Modular Analysis of Coloured Petri Nets
Abstract PDF