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

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

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

Produces (initializePN, pn) {
    name = "PetriNet"
}
Consumes (refinePN, pn) {
    name = "PetriNet"
}
Produces (refinePN, pn) {
    name = "PetriNet"
}
Consumes (reachability, pn) {
    name = "PetriNet"
}
Produces (reachability, reachability_graph) {
    name = "ReachabilityGraph"
}
Consumes (reachability_print, reachability_graph) {
    name = "ReachabilityGraph"
}