Pour faire évoluer le réseau de Petri suivant, il faut cocher toutes les transitions franchissables
Une des transitions franchissables sera alors choisie aléatoirement et sera franchie