1. Hostettler, S.P.: High-level Petri net model checking: the symbolic way, Ph.D. thesis, University of Geneva (2011)
2. Permpoontanalarp, Y., Sornkhom, P.: A new colored petri net methodology for the security analysis of cryptographic protocols. In: The 10th Workshop and Tutorial on Practical Use of Colored Petri Nets and the CPN Tools, Denmark, pp. 81–100 (2009)
3. Lecture Notes in Computer Science;D Buchs,2010
4. Hostettler, S.P., Marechal, A., Linard, A., Risoldi, M., Buchs, D.: High-level petri net model checking with AlPiNA. Fundamenta Informaticae, 113(3–4), August 2011, ISSN 0169–2968, 229–264 (2011)
5. AlPiNA tool web page, 10 March 2015. http://alpina.unige.ch/