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]
@article{ChiolaDFH97,
title = {A Symbolic Reachability Graph for Coloured Petri Nets},
author = {Giovanni Chiola and Claude Dutheillet and Giuliana Franceschinis and Serge Haddad},
year = {1997},
doi = {10.1016/S0304-3975(96)00010-2},
url = {http://dx.doi.org/10.1016/S0304-3975(96)00010-2},
tags = {graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/ChiolaDFH97},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {176},
number = {1-2},
pages = {39-65},
}