Réseaux de Petri mettant en avant chacune des implémentations
Écrire et tester des réseaux de Petri colorés pour les deux implémentations; vérifier si ils donnent un résultat attendu, etc.
Écrire et tester des réseaux de Petri colorés pour les deux implémentations; vérifier si ils donnent un résultat attendu, etc.