Analyse algorithmique des réseaux de Petri… · Super Livre