Finished no_sensor rule of PW_to_EPN

models/plant_to_EPN.mvc

@@ -170,6 +170,72 @@ PW_PN_RAM pw_to_epn {
                 Post_EPN/Has1 (n_0, n_14){
                     label = "15"
                 }
+
+                Post_EPN/PortTransition (n_6, n_16){
+                    label = "32"
+                }
+                Post_EPN/PortTransition (n_6, n_18){
+                    label = "49"
+                }
+                Post_EPN/PortTransition (n_4, n_28){
+                    label = "54"
+                }
+                Post_EPN/PortTransition (n_4, n_26){
+                    label = "53"
+                }
+                Post_EPN/PortTransition (n_50, n_20){
+                    label = "52"
+                }
+                Post_EPN/PortTransition (n_50, n_22){
+                    label = "51"
+                }
+                Post_EPN/PortTransition (n_50, n_24){
+                    label = "12"
+                }
+
+                Post_EPN/P2T (n_9, n_20) {
+                    label = "40"
+                }
+                Post_EPN/P2T (n_9, n_26) {
+                    label = "36"
+                }
+                Post_EPN/P2T (n_11, n_16) {
+                    label = "34"
+                }
+                Post_EPN/P2T (n_11, n_22) {
+                    label = "42"
+                }
+                Post_EPN/P2T (n_11, n_28) {
+                    label = "38"
+                }
+                Post_EPN/P2T (n_14, n_18) {
+                    label = "31"
+                }
+                Post_EPN/P2T (n_14, n_24) {
+                    label = "44"
+                }
+
+                Post_EPN/T2P (n_16, n_9) {
+                    label = "35"
+                }
+                Post_EPN/T2P (n_18, n_11) {
+                    label = "33"
+                }
+                Post_EPN/T2P (n_20, n_9) {
+                    label = "41"
+                }
+                Post_EPN/T2P (n_22, n_11) {
+                    label = "43"
+                }
+                Post_EPN/T2P (n_24, n_14) {
+                    label = "45"
+                }
+                Post_EPN/T2P (n_26, n_11) {
+                    label = "37"
+                }
+                Post_EPN/T2P (n_28, n_14) {
+                    label = "39"
+                }
             }
         }
         {Contains} Atomic R_sensor {