A symbolic reachability graph for coloured Petri nets (1997)

by G Chiola, C Dutheillet, G Franceschinis, S Haddad
Venue:Theoretical Computer Science