ProcessModel combo_reach {
    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 (pn, refinePN) {}
    Produces (refinePN, pn) {}
    Consumes (pn, reachability) {}
    Produces (reachability, reachability_graph) {}
    Consumes (reachability_graph, reachability_print) {}
}