Changes between Version 8 and Version 9 of ReferenceNetsReachabilityGraph

Timestamp:

May 3, 2019, 8:03:22 PM (6 years ago)

Author:

5willrod

Comment:

--

ReferenceNetsReachabilityGraph

@@ -67 +67 @@
 The plugin intends the interactive inspection of the graph.
 The following images show the inspection of the bottom right marking.
+The producer is back in his idle state whereas the the consumer is still in his waiting state and the storage is filled.
 
+[[Image(prod-cons-rg-sys.png)]]
+[[Image(prod-cons-rg-prod.png)]]
+[[Image(prod-cons-rg-cons.png)]]
 
-
+''Note: The ids of the net instances in the inspection differ from the ids in the reachability graph, because they were inspected in a later simulation.''
+''Within a single execution of the plugin the ids do not differ.''
 === Example 2