search

cui-unige / outils-formels-modelisation

Cours de Bachelor : Outils Formels de Modélisation
20 stars 44 forks source link

impossible de tirer des transitions depuis un CoverabilityMarking #17

Closed staufga0 closed 6 years ago

staufga0 commented 6 years ago

Pour le TP 3, j'essaie de construire le CoverabilityGraph. Le problème et que je ne peut pas tirer de transition depuis le marking passé en argument car c'est un CoverabilityMarking et pas un Marking, ce n'est donc pas un bon argument pour la transition. Existe t-il un moyen de tirer des transition depuis un CoverabilityMarking vers un CoverabilityMarking ?

QuentinRiv commented 6 years ago

Personnellement, j'ai créé 2 fonctions : une qui transforme un Marking en CoverabilityMarking, et une autre qui fait l'opération inverse. De cette façon, on peut changer en graphe de couverture en graphe normal (et donc tirable), faire un tirage (sur un Marking) normal avec fire, puis revenir à un graphe de couverture. C'est un peu plus long, mais ça marche.