Bonzanni N, K. Feenstra A, Fokkink W, Heringa J. Petri Nets Are a Biologist?s Best Friend. In: Fages F, Piazza C. Formal Methods in Macro-Biology [Internet]. Cham: Springer International Publishing; 2014. pp. 102 - 116. http://link.springer.com/10.1007/978-3-319-10398-3_8