D. Bosnacki, D. Dams, and L. Holenderski, Symmetric Spin, Int. J. Soft. Tools Technol. Transfer, vol.4, issue.1, pp.65-80, 2002.

G. Chiola, C. Dutheillet, G. Franceschini, and S. Haddad, On Well-Formed Coloured Nets and their Symbolic Reachability Graph. High-Level Petri Nets, Theory and Application, LNCS, 1991.

L. P. Cordella, P. Foggia, C. Sansone, and M. Vento, A (sub)graph isomorphism algorithm for matching large graphs, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.26, issue.10, 2004.
DOI : 10.1109/TPAMI.2004.75

A. Hagberg, D. Schult, and P. Swart, NetworkX, High productivity software for complex networks

M. Hendriks, G. Behrmann, K. Larsen, P. Niebert, and F. Vaandrager, Adding symmetry reduction to UP- PAAL. FORMATS'03, LNCS 2791, 2003.

C. N. Ip and D. L. Dill, Better verification through symmetry, 1996.

T. Junttila, On the symmetry reduction method for Petri nets and similar formalisms, 2003.

V. Khomenko, Model Checking Based on Prefixes of Petri Net Unfoldings, 2003.

H. Klaudel, M. Koutny, E. Pelz, and F. Pommereau, Towards Efficient Verification of Systems with Dynamic Process Creation, LNCS, vol.5160, 2008.
DOI : 10.1007/978-3-540-85762-4_13
URL : https://hal.archives-ouvertes.fr/hal-00666665

B. D. Mckay, Practical graph isomorphism, II, Journal of Symbolic Computation, vol.60, 1981.
DOI : 10.1016/j.jsc.2013.09.003

K. Mcmillan, Symbolic Model Checking. Kluwer Academic, 1993.

A. Miller, A. Donaldson, and M. Calder, Symmetry in temporal logic model checking, ACM Computing Surveys, vol.38, issue.3, 2006.
DOI : 10.1145/1132960.1132962

W. Stein, Sage Mathematics Software. The Sage Group, 2007.