Publications
| Authors: | Giovanni Chiola |
| Claude Dutheillet | |
| Giuliana Franceschinis | |
| Serge Haddad | |
| Title: | A Symbolic Reachability Graph for Coloured Petri Nets |
| Published on: | Theor. Comput. Sci. Vol. 176 n. 1-2 |
| Pages: | 39-65 |
| Year: | 1997 |
| Tipo Pubblicazione: | Paper on International Journal |
| URL: | http://www.dblp.org/db/....1016/S0304-3975(96)00010-2 |