modelverse/addis/PM_example2.mvc

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"
}