Changes between Version 18 and Version 19 of ReferenceNetsReachabilityGraph

Timestamp:

Jun 3, 2019, 3:29:57 PM (6 years ago)

Author:

5willrod

Comment:

--

ReferenceNetsReachabilityGraph

@@ -87 +87 @@
 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, 33)]]
-[[Image(prod-cons-rg-prod.png, 33)]]
-[[Image(prod-cons-rg-cons.png, 33)]]
+[[Image(prod-cons-rg-sys.png, 33%)]]
+[[Image(prod-cons-rg-prod.png, 33%)]]
+[[Image(prod-cons-rg-cons.png, 33%)]]
 
 ''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.''