modelverse/models/environment_to_EPN.mvc

include "primitives.alh"
include "modelling.alh"
include "object_operations.alh"

Composite schedule {
    {Contains} Success success {}
    {Contains} Failure failure {}
    {Contains} ForAll create_ports {
        LHS {
            Pre_PW_Environment/Event {
                label = "1"
            }
        }
        RHS {
            Post_PW_Environment/Event cp_evt {
                label = "1"
            }
            Post_Encapsulated_PetriNet/Place cp_place {
                label = "2"
                value_name = $
                    String function value(model : Element, name : String, mapping : Element):
                        return read_attribute(model, mapping["1"], "name")!
                    $
                value_tokens = $
                    Integer function value(model : Element, name : String, mapping : Element):
                        Boolean initial
                        initial = read_attribute(model, mapping["1"], "initial")
                        if (initial):
                            return 1!
                        else:
                            return 0!
                    $
            }
            Post_Encapsulated_PetriNet/Port cp_port {
                label = "3"
                value_name = $
                    String function value(model : Element, name : String, mapping : Element):
                        return string_join("environment/", read_attribute(model, mapping["1"], "name"))!
                    $
            }
            Post_ENV2EPN_link (cp_evt, cp_place) {
                label = "4"
            }
            Post_Encapsulated_PetriNet/PortPlace (cp_port, cp_place) {
                label = "5"
            }
        }
    }
    {Contains} ForAll create_switches {
        LHS {
            Pre_PW_Environment/Group pre_grp {
                label = "1"
            }
            Pre_PW_Environment/Event pre_evt_a {
                label = "2"
            }
            Pre_PW_Environment/Event pre_evt_b {
                label = "3"
            }
            Pre_PW_Environment/Contains (pre_grp, pre_evt_a) {
                label = "4"
            }
            Pre_PW_Environment/Contains (pre_grp, pre_evt_b) {
                label = "5"
            }
            Pre_Encapsulated_PetriNet/Place pre_place_a {
                label = "8"
            }
            Pre_Encapsulated_PetriNet/Place pre_place_b {
                label = "9"
            }
            Pre_ENV2EPN_link (pre_evt_a, pre_place_a) {
                label = "6"
            }
            Pre_ENV2EPN_link (pre_evt_b, pre_place_b) {
                label = "7"
            }
        }
        RHS {
            Post_PW_Environment/Group post_grp {
                label = "1"
            }
            Post_PW_Environment/Event post_evt_a {
                label = "2"
            }
            Post_PW_Environment/Event post_evt_b {
                label = "3"
            }
            Post_PW_Environment/Contains (post_grp, post_evt_a) {
                label = "4"
            }
            Post_PW_Environment/Contains (post_grp, post_evt_b) {
                label = "5"
            }
            Post_Encapsulated_PetriNet/Place post_place_a {
                label = "8"
            }
            Post_Encapsulated_PetriNet/Place post_place_b {
                label = "9"
            }
            Post_Encapsulated_PetriNet/Transition post_transition {
                label = "12"
                value_name = $
                    String function value(model : Element, name : String, mapping : Element):
                        return string_join(string_join(read_attribute(model, mapping["2"], "name"), " -> "), read_attribute(model, mapping["3"], "name"))!
                    $
            }
            Post_Encapsulated_PetriNet/P2T (post_place_a, post_transition) {
                label = "10"
            }
            Post_Encapsulated_PetriNet/T2P (post_transition, post_place_b) {
                label = "11"
            }
            Post_ENV2EPN_link (post_evt_a, post_place_a) {
                label = "6"
            }
            Post_ENV2EPN_link (post_evt_b, post_place_b) {
                label = "7"
            }
        }
    }
}
Initial (schedule, create_ports) {}
OnSuccess (create_ports, create_switches) {}
OnSuccess (create_switches, success) {}
OnFailure (create_ports, failure) {}
OnFailure (create_switches, failure) {}