modelverse/integration/code/pm_pn_reachability.mvc

Start start {}
Finish finish {}
Exec initializePN {
    name = "initialize_PN"
}
Exec refinePN {
    name = "refine_PN"
}
Exec reachability {
    name = "reachability"
}
Exec reachability_print{
    name = "reachability_print"
}

Data pn {
    name = "pn"
    type = "PetriNet"
}
Data reachability_graph {
    name = "reachability"
    type = "ReachabilityGraph"
}

Next (start, initializePN) {}
Next (initializePN, refinePN) {}
Next (refinePN, reachability) {}
Next (reachability, reachability_print) {}
Next (reachability_print, finish) {}

Produces (initializePN, pn) {}
Consumes (refinePN, pn) {
}
Produces (refinePN, pn) {}
Consumes (reachability, pn) {
}
Produces (reachability, reachability_graph) {}
Consumes (reachability_print, reachability_graph) {
}