|
@@ -30,9 +30,15 @@ ProcessModel combo_reach {
|
|
|
Next (reachability_print, finish) {}
|
|
|
|
|
|
Produces (initializePN, pn) {}
|
|
|
- Consumes (refinePN, pn) {}
|
|
|
+ Consumes (refinePN, pn) {
|
|
|
+ name = "pn"
|
|
|
+ }
|
|
|
Produces (refinePN, pn) {}
|
|
|
- Consumes (reachability, pn) {}
|
|
|
+ Consumes (reachability, pn) {
|
|
|
+ name = "pn"
|
|
|
+ }
|
|
|
Produces (reachability, reachability_graph) {}
|
|
|
- Consumes (reachability_print, reachability_graph) {}
|
|
|
+ Consumes (reachability_print, reachability_graph) {
|
|
|
+ name = "reachability_graph"
|
|
|
+ }
|
|
|
}
|