Added missing file

addis/PM_example2.mvc

@@ -0,0 +1,97 @@
+Start start {
+    id = "start"
+}
+Exec A {
+    name = "A"
+    id = "A"
+}
+S2A (start, A){
+    id ="start_A"
+}
+Fork fork_1 {
+    id = "fork_1"
+}
+E2A (A, fork_1){
+    id = "A_fork_1"
+}
+Exec B {
+    name = "B"
+    id = "B"
+}
+Exec C {
+    name = "C"
+    id = "C"
+}
+Exec E {
+    name = "E"
+    id = "E"
+}
+F2A (fork_1, B){
+    id = "fork_1_B"
+}
+F2A (fork_1, C){
+    id = "fork_1_C"
+}
+F2A (fork_1, E){
+    id = "fork_1_E"
+}
+Data data {
+    id = "data"
+    name = "bool"
+    type = "Boolean"
+}
+Produces (E, data){
+    id = "E_data"
+}
+Join join_1 {
+    id = "join_1"
+}
+Join join_2 {
+    id = "join_2"
+}
+E2A (B,join_1){
+    id = "B_join_1"
+}
+E2A (C,join_1){
+    id = "C_join_1"
+}
+Exec D {
+    name = "D"
+    id = "D"
+}
+J2A (join_1, D){
+    id = "join_1_D"
+}
+E2A (D, join_2){
+    id = "D_join_2"
+}
+E2A (E, join_2){
+    id = "E_join_2"
+}
+Exec F {
+    name = "F"
+    id = "F"
+}
+J2A (join_2, F){
+    id = "join_2_f"
+}
+Decision decision_1 {
+    id = "decision_1"
+}
+DecisionConsumes (decision_1, data) {
+    id = "decision_1_data"
+}
+E2A (F, decision_1){
+    id = "F_decision_1"
+}
+D2A (decision_1, A){
+    id = "decision_1_A"
+    value = "True"
+}
+Finish end {
+    id = "finish"
+}
+D2A (decision_1, end){
+    id = "decision_1_end"
+    value = "False"
+}