1. CPN Tools: a tool for editing, simulating, and analyzing colored Petri nets. https://cpntools.org
2. GreatSPN. http://www.di.unito.it/~greatspn/index.html
3. Repository of FML files. https://depot.lipn.univ-paris13.fr/cosyverif/formalisms
4. UPPAAL. https://uppaal.org
5. Alur, R., Henzinger, T.A., Vardi, M.Y.: Parametric real-time reasoning. In: STOC, pp. 592–601. ACM (1993)