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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.