Removed unnecessary links in control2EPN

models/control_to_EPN.mvc

@@ -486,18 +486,6 @@ All_RAM Control2EPN {
                             return (bool_or(value == "Y", value == "N"))!
                         $
                 }
-                Pre_Encapsulated_PetriNet/Place pre_co_3 {
-                    label = "3"
-                }
-                Pre_Encapsulated_PetriNet/Place pre_co_4 {
-                    label = "4"
-                }
-                Pre_CTRL2EPN_link (pre_co_0, pre_co_3) {
-                    label = "5"
-                }
-                Pre_CTRL2EPN_link (pre_co_1, pre_co_4) {
-                    label = "6"
-                }
                 Pre_Encapsulated_PetriNet/Place pre_co_8 {
                     label = "8"
                 }
@@ -514,12 +502,6 @@ All_RAM Control2EPN {
                 Pre_Encapsulated_PetriNet/Transition pre_co_15 {
                     label = "15"
                 }
-                Pre_Encapsulated_PetriNet/P2T (pre_co_3, pre_co_15) {
-                    label = "16"
-                }
-                Pre_Encapsulated_PetriNet/T2P (pre_co_15, pre_co_4) {
-                    label = "17"
-                }
                 Pre_CTRL2EPN_tlink (pre_co_2, pre_co_15) {
                     label = "100"
                 }
@@ -550,18 +532,6 @@ All_RAM Control2EPN {
                 Post_PW_Control/Transition post_co_2 (post_co_0, post_co_1) {
                     label = "2"
                 }
-                Post_Encapsulated_PetriNet/Place post_co_3 {
-                    label = "3"
-                }
-                Post_Encapsulated_PetriNet/Place post_co_4 {
-                    label = "4"
-                }
-                Post_CTRL2EPN_link (post_co_0, post_co_3) {
-                    label = "5"
-                }
-                Post_CTRL2EPN_link (post_co_1, post_co_4) {
-                    label = "6"
-                }
                 Post_Encapsulated_PetriNet/Place post_co_8 {
                     label = "8"
                 }
@@ -575,12 +545,6 @@ All_RAM Control2EPN {
                 Post_Encapsulated_PetriNet/Transition post_co_15 {
                     label = "15"
                 }
-                Post_Encapsulated_PetriNet/P2T (post_co_3, post_co_15) {
-                    label = "16"
-                }
-                Post_Encapsulated_PetriNet/T2P (post_co_15, post_co_4) {
-                    label = "17"
-                }
 
                 Post_Encapsulated_PetriNet/P2T (post_co_8, post_co_15) {
                     label = "9"