modelverse/models/plant_to_EPN.mvc

All_RAM pw_to_epn {
    Composite schedule {
        {Contains} Success success {}
        {Contains} Atomic R_no_sensor {
            LHS {
                Pre_PW_Plant/Side {
                    label = "1"
                }
            }
            NAC {
                Pre_PW_Plant/Side n_nac_s{
                    label = "1"
                }
                Pre_PW_Plant/Infrared n_nac_i{
                    label = "2"
                }
                Pre_PW_Plant/HasSensor (n_nac_s, n_nac_i) {
                    label = "3"
                }
            }
            RHS {
                Post_Encapsulated_PetriNet/Boundary n_0{
                    label = "0"
                }

                Post_Encapsulated_PetriNet/Port n_4{
                    label = "4"
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "InControlGoingDown"!
                        $
                }
                Post_Encapsulated_PetriNet/Port n_6{
                    label = "6"
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "InControlMovingUp"!
                        $
                }
                Post_Encapsulated_PetriNet/Port n_50{
                    label = "50"
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "InControlNeutral"!
                        $
                }

                Post_Encapsulated_PetriNet/Transition n_16{
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "InControlMovingUp"!
                        $
                    label = "16"
                }
                Post_Encapsulated_PetriNet/Transition n_18{
                    label = "18"
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "InControlMovingUp"!
                        $
                }
                Post_Encapsulated_PetriNet/Transition n_20{
                    label = "20"
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "InControlNeutral"!
                        $
                }
                Post_Encapsulated_PetriNet/Transition n_22{
                    label = "22"
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "InControlNeutral"!
                        $
                }
                Post_Encapsulated_PetriNet/Transition n_24{
                    label = "24"
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "InControlNeutral"!
                        $
                }
                Post_Encapsulated_PetriNet/Transition n_26{
                    label = "26"
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "InControlMovingUp"!
                        $
                }
                Post_Encapsulated_PetriNet/Transition n_28{
                    label = "28"
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "InControlMovingUp"!
                        $
                }
                
                Post_Encapsulated_PetriNet/Place n_9{
                    label = "9"
                    value_nbTokens = $
                        Integer function value(host_model : Element, name : String, mapping : Element):
                            return 0!
                        $
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "top"!
                        $
                }
                Post_Encapsulated_PetriNet/Place n_11{
                    label = "11"
                    value_nbTokens = $
                        Integer function value(host_model : Element, name : String, mapping : Element):
                            return 0!
                        $
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "middle"!
                        $
                }
                Post_Encapsulated_PetriNet/Place n_14{
                    label = "14"
                    value_nbTokens = $
                        Integer function value(host_model : Element, name : String, mapping : Element):
                            return 1!
                        $
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "bottom"!
                        $
                }

                Post_Encapsulated_PetriNet/Has3 (n_0, n_4){
                    label = "5"
                }
                Post_Encapsulated_PetriNet/Has3 (n_0, n_6){
                    label = "7"
                }
                Post_Encapsulated_PetriNet/Has3 (n_0, n_50){
                    label = "8"
                }

                Post_Encapsulated_PetriNet/Has2 (n_0, n_16){
                    label = "17"
                }
                Post_Encapsulated_PetriNet/Has2 (n_0, n_18){
                    label = "19"
                }
                Post_Encapsulated_PetriNet/Has2 (n_0, n_20){
                    label = "21"
                }
                Post_Encapsulated_PetriNet/Has2 (n_0, n_22){
                    label = "23"
                }
                Post_Encapsulated_PetriNet/Has2 (n_0, n_24){
                    label = "25"
                }
                Post_Encapsulated_PetriNet/Has2 (n_0, n_26){
                    label = "27"
                }
                Post_Encapsulated_PetriNet/Has2 (n_0, n_28){
                    label = "29"
                }

                Post_Encapsulated_PetriNet/Has1 (n_0, n_9){
                    label = "10"
                }
                Post_Encapsulated_PetriNet/Has1 (n_0, n_11){
                    label = "13"
                }
                Post_Encapsulated_PetriNet/Has1 (n_0, n_14){
                    label = "15"
                }

                Post_Encapsulated_PetriNet/PortTransition (n_6, n_16){
                    label = "32"
                }
                Post_Encapsulated_PetriNet/PortTransition (n_6, n_18){
                    label = "49"
                }
                Post_Encapsulated_PetriNet/PortTransition (n_4, n_28){
                    label = "54"
                }
                Post_Encapsulated_PetriNet/PortTransition (n_4, n_26){
                    label = "53"
                }
                Post_Encapsulated_PetriNet/PortTransition (n_50, n_20){
                    label = "52"
                }
                Post_Encapsulated_PetriNet/PortTransition (n_50, n_22){
                    label = "51"
                }
                Post_Encapsulated_PetriNet/PortTransition (n_50, n_24){
                    label = "12"
                }

                Post_Encapsulated_PetriNet/P2T (n_9, n_20) {
                    label = "40"
                }
                Post_Encapsulated_PetriNet/P2T (n_9, n_26) {
                    label = "36"
                }
                Post_Encapsulated_PetriNet/P2T (n_11, n_16) {
                    label = "34"
                }
                Post_Encapsulated_PetriNet/P2T (n_11, n_22) {
                    label = "42"
                }
                Post_Encapsulated_PetriNet/P2T (n_11, n_28) {
                    label = "38"
                }
                Post_Encapsulated_PetriNet/P2T (n_14, n_18) {
                    label = "31"
                }
                Post_Encapsulated_PetriNet/P2T (n_14, n_24) {
                    label = "44"
                }

                Post_Encapsulated_PetriNet/T2P (n_16, n_9) {
                    label = "35"
                }
                Post_Encapsulated_PetriNet/T2P (n_18, n_11) {
                    label = "33"
                }
                Post_Encapsulated_PetriNet/T2P (n_20, n_9) {
                    label = "41"
                }
                Post_Encapsulated_PetriNet/T2P (n_22, n_11) {
                    label = "43"
                }
                Post_Encapsulated_PetriNet/T2P (n_24, n_14) {
                    label = "45"
                }
                Post_Encapsulated_PetriNet/T2P (n_26, n_11) {
                    label = "37"
                }
                Post_Encapsulated_PetriNet/T2P (n_28, n_14) {
                    label = "39"
                }
            }
        }
        {Contains} Atomic R_sensor {
            LHS {
                Pre_PW_Plant/Side s_s{
                    label = "1"
                }
                Pre_PW_Plant/Infrared s_i{
                    label = "2"
                }
                Pre_PW_Plant/HasSensor (s_s, s_i) {
                    label = "3"
                }
            }
            RHS {
                Post_Encapsulated_PetriNet/Boundary s_0{
                    label = "0"
                }

                Post_Encapsulated_PetriNet/Port s_36{
                    label = "36"
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "InControlNeutral"!
                        $
                }
                Post_Encapsulated_PetriNet/Port s_38{
                    label = "38"
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "InControlMovingUp"!
                        $
                }
                Post_Encapsulated_PetriNet/Port s_40{
                    label = "40"
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "InControlMovingDown"!
                        $
                }
                Post_Encapsulated_PetriNet/Port s_42{
                    label = "42"
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "detectedObject"!
                        $
                }

                Post_Encapsulated_PetriNet/Place s_9{
                    label = "9"
                    value_nbTokens = $
                        Integer function value(host_model : Element, name : String, mapping : Element):
                            return 0!
                        $
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "top"!
                        $
                }
                Post_Encapsulated_PetriNet/Place s_11{
                    label = "11"
                    value_nbTokens = $
                        Integer function value(host_model : Element, name : String, mapping : Element):
                            return 0!
                        $
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "middle"!
                        $
                }
                Post_Encapsulated_PetriNet/Place s_14{
                    label = "14"
                    value_nbTokens = $
                        Integer function value(host_model : Element, name : String, mapping : Element):
                            return 1!
                        $
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "bottom"!
                        $
                }
                Post_Encapsulated_PetriNet/Place s_19{
                    label = "19"
                    value_nbTokens = $
                        Integer function value(host_model : Element, name : String, mapping : Element):
                            return 0!
                        $
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "topDetectedFrame"!
                        $
                }
                Post_Encapsulated_PetriNet/Place s_23{
                    label = "23"
                    value_nbTokens = $
                        Integer function value(host_model : Element, name : String, mapping : Element):
                            return 0!
                        $
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "middleDetectedFrame"!
                        $
                }

                Post_Encapsulated_PetriNet/Transition s_32{
                    label = "32"
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "ControlUp+Object"!
                        $
                }
                Post_Encapsulated_PetriNet/Transition s_33{
                    label = "33"
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "ControlUp+Object"!
                        $
                }
                Post_Encapsulated_PetriNet/Transition s_27{
                    label = "27"
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "InControlNeutral"!
                        $
                }
                Post_Encapsulated_PetriNet/Transition s_29{
                    label = "29"
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "InControlNeutral"!
                        $
                }
                Post_Encapsulated_PetriNet/Transition s_16{
                    label = "16"
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "InControlMovingUp"!
                        $
                }
                Post_Encapsulated_PetriNet/Transition s_18{
                    label = "18"
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "InControlMovingUp"!
                        $
                }
                Post_Encapsulated_PetriNet/Transition s_20{
                    label = "20"
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "InControlNeutral"!
                        $
                }
                Post_Encapsulated_PetriNet/Transition s_22{
                    label = "22"
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "InControlNeutral"!
                        $
                }
                Post_Encapsulated_PetriNet/Transition s_24{
                    label = "24"
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "InControlNeutral"!
                        $
                }
                Post_Encapsulated_PetriNet/Transition s_26{
                    label = "26"
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "InControlMovingUp"!
                        $
                }
                Post_Encapsulated_PetriNet/Transition s_28{
                    label = "28"
                    value_name = $
                        String function value(host_model : Element, name : String, mapping : Element):
                            return "InControlMovingUp"!
                        $
                }

                Post_Encapsulated_PetriNet/PortTransition (s_42, s_32){
                    label = "68"
                }
                Post_Encapsulated_PetriNet/PortTransition (s_42, s_33){
                    label = "69"
                }
                Post_Encapsulated_PetriNet/PortTransition (s_38, s_18){
                    label = "70"
                }
                Post_Encapsulated_PetriNet/PortTransition (s_38, s_16){
                    label = "71"
                }
                Post_Encapsulated_PetriNet/PortTransition (s_40, s_26){
                    label = "59"
                }
                Post_Encapsulated_PetriNet/PortTransition (s_40, s_28){
                    label = "58"
                }
                Post_Encapsulated_PetriNet/PortTransition (s_36, s_27){
                    label = "a_0"
                }
                Post_Encapsulated_PetriNet/PortTransition (s_36, s_29){
                    label = "a_1"
                }
                Post_Encapsulated_PetriNet/PortTransition (s_36, s_20){
                    label = "a_2"
                }
                Post_Encapsulated_PetriNet/PortTransition (s_36, s_22){
                    label = "a_3"
                }
                Post_Encapsulated_PetriNet/PortTransition (s_36, s_24){
                    label = "a_4"
                }

                Post_Encapsulated_PetriNet/P2T (s_19, s_27){
                    label = "60"
                }
                Post_Encapsulated_PetriNet/P2T (s_23, s_29){
                    label = "64"
                }
                Post_Encapsulated_PetriNet/P2T (s_9, s_32){
                    label = "62"
                }
                Post_Encapsulated_PetriNet/P2T (s_9, s_20){
                    label = "52"
                }
                Post_Encapsulated_PetriNet/P2T (s_9, s_26){
                    label = "48"
                }
                Post_Encapsulated_PetriNet/P2T (s_11, s_28){
                    label = "50"
                }
                Post_Encapsulated_PetriNet/P2T (s_11, s_22){
                    label = "55"
                }
                Post_Encapsulated_PetriNet/P2T (s_11, s_16){
                    label = "46"
                }
                Post_Encapsulated_PetriNet/P2T (s_11, s_18){
                    label = "45"
                }
                Post_Encapsulated_PetriNet/P2T (s_14, s_24){
                    label = "56"
                }
                Post_Encapsulated_PetriNet/P2T (s_14, s_18){
                    label = "44"
                }

                Post_Encapsulated_PetriNet/T2P (s_32, s_19){
                    label = "63"
                }
                Post_Encapsulated_PetriNet/T2P (s_33, s_23){
                    label = "67"
                }
                Post_Encapsulated_PetriNet/T2P (s_27, s_9){
                    label = "61"
                }
                Post_Encapsulated_PetriNet/T2P (s_29, s_11){
                    label = "65"
                }
                Post_Encapsulated_PetriNet/T2P (s_16, s_9){
                    label = "47"
                }
                Post_Encapsulated_PetriNet/T2P (s_18, s_11){
                    label = "45"
                }
                Post_Encapsulated_PetriNet/T2P (s_20, s_9){
                    label = "53"
                }
                Post_Encapsulated_PetriNet/T2P (s_26, s_11){
                    label = "49"
                }
                Post_Encapsulated_PetriNet/T2P (s_22, s_11){
                    label = "55"
                }
                Post_Encapsulated_PetriNet/T2P (s_28, s_14){
                    label = "51"
                }
                Post_Encapsulated_PetriNet/T2P (s_24, s_14){
                    label = "57"
                }

                Post_Encapsulated_PetriNet/Has3 (s_0, s_42){
                    label = "43"
                }
                Post_Encapsulated_PetriNet/Has3 (s_0, s_36){
                    label = "37"
                }
                Post_Encapsulated_PetriNet/Has3 (s_0, s_38){
                    label = "39"
                }
                Post_Encapsulated_PetriNet/Has3 (s_0, s_40){
                    label = "41"
                }

                Post_Encapsulated_PetriNet/Has2 (s_0, s_32){
                    label = "34"
                }
                Post_Encapsulated_PetriNet/Has2 (s_0, s_33){
                    label = "35"
                }
                Post_Encapsulated_PetriNet/Has2 (s_0, s_27){
                    label = "30"
                }
                Post_Encapsulated_PetriNet/Has2 (s_0, s_29){
                    label = "31"
                }
                Post_Encapsulated_PetriNet/Has2 (s_0, s_16){
                    label = "7"
                }
                Post_Encapsulated_PetriNet/Has2 (s_0, s_18){
                    label = "8"
                }
                Post_Encapsulated_PetriNet/Has2 (s_0, s_20){
                    label = "13"
                }
                Post_Encapsulated_PetriNet/Has2 (s_0, s_22){
                    label = "15"
                }
                Post_Encapsulated_PetriNet/Has2 (s_0, s_24){
                    label = "17"
                }
                Post_Encapsulated_PetriNet/Has2 (s_0, s_26){
                    label = "10"
                }
                Post_Encapsulated_PetriNet/Has2 (s_0, s_28){
                    label = "12"
                }

                Post_Encapsulated_PetriNet/Has1 (s_0, s_9){
                    label = "4"
                }
                Post_Encapsulated_PetriNet/Has1 (s_0, s_11){
                    label = "5"
                }
                Post_Encapsulated_PetriNet/Has1 (s_0, s_14){
                    label = "6"
                }
                Post_Encapsulated_PetriNet/Has1 (s_0, s_19){
                    label = "21"
                }
                Post_Encapsulated_PetriNet/Has1 (s_0, s_23){
                    label = "25"
                }
            }
        }
    }

    Initial (schedule, R_no_sensor) {}
    OnSuccess (R_no_sensor, R_no_sensor) {}
    OnFailure (R_no_sensor, R_sensor) {}
    OnSuccess (R_sensor, R_sensor) {}
    OnFailure (R_sensor, success) {}
}