modelverse/addis/PM_Example.mvc

Start start {
    id = "start"
    {Next} Exec A {
        name = "A"
        id = "A"
        {Next} Fork fork_1 {
            {Next} Exec B {
                name = "A"
                id = "A"
            }
            {Next} Exec C {
                name = "C"
                id = "C"
            }
            {Next} Exec E {
                name = "E"
                id = "E"
                {Produces} Data data {
                    id = "data"
                    name = "True"
                    type = "Boolean"
                }
            }
        }
    }
}
Join join_1 {
    id = "join_1"
}
Join join_2 {
    id = "join_2"
}
Next (B,join_1){
    id = "B_join_1"
}
Next (C,join_1){
    id = "C_join_1"
}
Exec D {
    name = "D"
    id = "D"
}
Next (join_1, D){
    id = "join_1_D"
}
Next (D, join_2){
    id = "D_join_2"
}
Next (E, join_2){
    id = "E_join_2"
}
Exec F {
    name = "F"
    id = "F"
}
Decision decision_1 {
    id = "decision_1"
}
DecisionConsumes (decision_1, data) {
    id = "decision_1_data"
}
Next (F, decision_1){
    id = "F_decision_1"
}
Next (decision_1, A){
    id = "decision_1_A"
    value = "True"
}
Finish end {
    id = "finish"
}
Next (decision_1, end){
    id = "decision_1_end"
    value = "False"
}