Pubblicazioni
| Autori: | Giovanni Chiola |
| Claude Dutheillet | |
| Giuliana Franceschinis | |
| Serge Haddad | |
| Titolo: | A Symbolic Reachability Graph for Coloured Petri Nets |
| Apparso su: | Theor. Comput. Sci. Vol. 176 n. 1-2 |
| Pagine: | 39-65 |
| Anno: | 1997 |
| Tipo Pubblicazione: | Paper on International Journal |
| URL: | http://www.dblp.org/db/....1016/S0304-3975(96)00010-2 |