Génie logiciel

Bonjour,

j'ai trouvé un exercice proposé en td qui est: Modélisation des Systèmes Complexes
TD10 : Propriété des réseaux de Petri
ASI5 - INSA Rouen (problème du coiffeur) sur internet mais j'ai pas réussi à trouvé la solution et le moteur de recherche google m'envoi sur le sit de comment ça marche mais j'ai rien trouvé sur les forum,
peut être que je ne sais pas comment chercher
est ce que quelcun peut m'aider SVP
merci d'avance