A Symbolic Reachability Graph for Coloured Petri Nets (1997)

by G Chiola, C Dutheillet, G Franceschinis, S Haddad
Venue:1,2): 39 65