modelverse/models/WSC/pm_example.mvc

Initial init {
    name = "initial"
}
Activity req {
    name = "define_requirements"
    distribution = "lambda iteration: iteration"
}
SimpleMerge merge {
    name = "merge_0"
}
Activity model {
    name = "model_system"
    distribution = "lambda iteration: iteration"
}
ParallelSplit split {
    name = "split_0"
}
MultiInstance simulate {
    name = "simulate"
    nr_instances = 10
    distribution = "lambda iteration: iteration"
}
Activity check {
    name = "check"
    distribution = "lambda iteration: iteration"
}
Synchronization sync {
    name = "sync_0"
}
Activity evaluate {
    name = "evaluate"
    distribution = "lambda iteration: iteration"
}
ExclusiveChoice choice {
    name = "xor_0"
    distribution = "lambda iteration: 1 - 1/iteration"
}
Finish finish {
    name = "finish"
}

Next (init, req) {}
Next (req, merge) {}
Next (merge, model) {}
Next (model, split) {}
Next (split, simulate) {}
Next (split, check) {}
Next (simulate, sync) {}
Next (check, sync) {}
Next (sync, evaluate) {}
Next (evaluate, choice) {}
DecisionTrue (choice, finish) {}
DecisionFalse (choice, merge) {}