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]

Possibly Related Publications

The following publications are possibly variants of this publication: