Merge branch 'master' of git.inpt.fr:tocard-inc/enseeiht/gls/projet

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),