Fixes to environment to EPN transformation

models/environment_to_EPN.mvc

@@ -20,7 +20,7 @@ A B {
                     label = "2"
                     value_name = $
                         String function value(model : Element, name : String, mapping : Element):
-                            return read_attribute(model, mapping["0"], "name")!
+                            return read_attribute(model, mapping["1"], "name")!
                         $
                     value_tokens = $
                         Integer function value(model : Element, name : String, mapping : Element):
@@ -31,7 +31,7 @@ A B {
                     label = "3"
                     value_name = $
                         String function value(model : Element, name : String, mapping : Element):
-                            return read_attribute(model, mapping["0"], "name")!
+                            return read_attribute(model, mapping["1"], "name")!
                         $
                 }
                 Post_ENV2EPN_link (cp_evt, cp_place) {
@@ -96,6 +96,10 @@ A B {
                 }
                 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"