瀏覽代碼

Working PowerWindow

Yentl Van Tendeloo 7 年之前
父節點
當前提交
3bb2238691
共有 2 個文件被更改,包括 2 次插入2 次删除
  1. 1 1
      examples/powerwindow.py
  2. 1 1
      wrappers/modelverse_SCCD.py

+ 1 - 1
examples/powerwindow.py

@@ -50,7 +50,7 @@ transformation_add_MT({"ReachabilityGraph": "formalisms/ReachabilityGraph", "Que
 
 transformation_add_AL({"PetriNet": "formalisms/PetriNet"}, {"ReachabilityGraph": "formalisms/ReachabilityGraph"}, "models/reachability", open("models/PetriNets/transformations/reachability.alc", 'r').read())
 transformation_add_AL({"ReachabilityGraph": "formalisms/ReachabilityGraph"}, {}, "models/bfs", open("models/ReachabilityGraph/transformations/bfs.alc", 'r').read())
-transformation_add_AL({"EPN_Plant": "formalisms/Encapsulated_PetriNet", "EPN_Control": "formalisms/Encapsulated_PetriNet", "EPN_Environment": "formalisms/Encapsulated_PetriNet"}, {"Encapsulated_PetriNet": "formalisms/Encapsulated_PetriNet"}, "models/EncapsulatedPetriNets/transformations/merge", open("models/EncapsulatedPetriNets/transformations/merge.alc", 'r').read())
+transformation_add_AL({"EPN_Plant": "formalisms/Encapsulated_PetriNet", "EPN_Control": "formalisms/Encapsulated_PetriNet", "EPN_Environment": "formalisms/Encapsulated_PetriNet"}, {"Encapsulated_PetriNet": "formalisms/Encapsulated_PetriNet"}, "models/merge_EPN", open("models/EncapsulatedPetriNets/transformations/merge.alc", 'r').read())
 
 nr_of_operations = 6
 

+ 1 - 1
wrappers/modelverse_SCCD.py

@@ -1,7 +1,7 @@
 """
 Generated by Statechart compiler by Glenn De Jonghe, Joeri Exelmans, Simon Van Mierlo, and Yentl Van Tendeloo (for the inspiration)
 
-Date:   Thu May 17 10:28:13 2018
+Date:   Thu May 17 10:44:23 2018
 
 Model author: Yentl Van Tendeloo
 Model name:   MvK Server