Added tracability links in control model as well

models/control_to_EPN.mvc

@@ -415,6 +415,10 @@ All_RAM Control2EPN {
                 Post_Encapsulated_PetriNet/T2P (post_ct_16, post_ct_13) {
                     label = "22"
                 }
+
+                Post_CTRL2EPN_tlink (post_ct_2, post_ct16) {
+                    label = "100"
+                }
             }
         }
 
@@ -467,6 +471,9 @@ All_RAM Control2EPN {
                 Pre_Encapsulated_PetriNet/T2P (pre_co_15, pre_co_4) {
                     label = "17"
                 }
+                Pre_CTRL2EPN_tlink (pre_co_2, pre_co_15) {
+                    label = "100"
+                }
 
                 constraint = $
                     Boolean function constraint (host_model : Element, mapping : Element):
@@ -531,6 +538,9 @@ All_RAM Control2EPN {
                 Post_Encapsulated_PetriNet/T2P (post_co_15, post_co_4) {
                     label = "10"
                 }
+                Post_CTRL2EPN_tlink (post_co_2, post_co_15) {
+                    label = "100"
+                }
             }
         }