Added simple PM for petri net construction and reachability analysis

integration/code/pm_pn_reachability.mvc

@@ -0,0 +1,37 @@
+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 {
+        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) {}
+}