A Symbolic Reachability Graph for Coloured Petri Nets

Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad. A Symbolic Reachability Graph for Coloured Petri Nets. Theoretical Computer Science, 176(1-2):39-65, 1997. [doi]

Authors

Giovanni Chiola

This author has not been identified. Look up 'Giovanni Chiola' in Google

Claude Dutheillet

This author has not been identified. Look up 'Claude Dutheillet' in Google

Giuliana Franceschinis

This author has not been identified. Look up 'Giuliana Franceschinis' in Google

Serge Haddad

This author has not been identified. Look up 'Serge Haddad' in Google