1. The Coloane tool Homepage,
https://coloane.lip6.fr/
2. The GreatSPN tool Homepage,
http://www.di.unito.it/~greatspn
3. The ZODB Homepage,
http://wiki.zope.org/ZODB/FrontPage
4. Bertrand, O., Calonne, A., Choppy, C., Hong, S., Klai, K., Kordon, F., Okuji, Y., Paviot-Adet, E., Petrucci, L., Smets, J.-P.: Verification of Large-Scale Distributed Database Systems in the NEOPPOD Project. In: PNSE 2009, pp. 315–317 (2009)
5. Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: A Symbolic Reachability Graph for Coloured Petri Nets. TCS 176(1-2), 39–65 (1997)