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]
No references recorded for this publication.
No citations of this publication recorded.