Changes between Version 32 and Version 33 of ReferenceNetsReachabilityGraph

Timestamp:

Jun 21, 2019, 6:00:31 PM (6 years ago)

Author:

5willrod

Comment:

--

ReferenceNetsReachabilityGraph

@@ -3 +3 @@
 == The Graph Creation Dialogue
 [[Image(rnrg_gui.png)]]
+
+Several options can be selected in the GUI.
+The "Skip Action Execution" checkbox will skip all bindings where a transition labeled with an action inscription would be fired.
+This prevents the firing of transitions that have side effects.
+
+The "Skip Net Instance Creation" checkbox prevents the firing of transitions which would create net instances.
+
+In the drop down menu "Node Inscriptions" the labels for the nodes in the reachability graph can be selected.
+For larger net systems it is recommended to choose "nothing" to remain some amount of clarity.
+
+Additionally, a depth limit for the search can be set.
+This is further described in the section Depth limited search.
 
 == Examples for the Reference Net Reachability Graph Plugin