diff --git a/workspace/fr.n7.game2petrinet/Game2PetriNet.atl b/workspace/fr.n7.game2petrinet/Game2PetriNet.atl index 83a7c05..7e2b854 100755 --- a/workspace/fr.n7.game2petrinet/Game2PetriNet.atl +++ b/workspace/fr.n7.game2petrinet/Game2PetriNet.atl @@ -3,7 +3,7 @@ create OUT: petrinet from IN: game; -- Obtenir la place correspondant au predecesseur d'une WorkSequence -helper def: network(): petrinet!Network = +helper def: getNetwork() : petrinet!Network = petrinet!Network.allInstances() ->select(n | n.name = 'jeu') ->asSequence()->first(); @@ -29,7 +29,7 @@ rule Lieu2PetriNet { p: petrinet!Place( name <- 'lieu_' + l.nom.nom, tokens <- 0, - network <- p.network()) + network <- p.getNetwork('jeu')) } -- Traduire une WorkDefinition en un motif sur le réseau de Petri @@ -39,7 +39,7 @@ rule Chemin2PetriNet { -- TRANSITIONS d'un Chemin t: petrinet!Transition( name <- 'chemin_' + c.nom.nom, - network <- t.network()), + network <- t.getNetwork()), -- ARCS d'un Chemin arcIn: petrinet!Arc( place <- c.getPlaceOf('lieu_' + c.lieuIn.nom.nom),