F. Pommereau, SNAKES: A Flexible High-Level Petri Nets Library, Petri Nets, 2015.
DOI : 10.1007/978-3-319-19488-2_13

URL : https://hal.archives-ouvertes.fr/hal-01186407