Projects



Changes between Version 17 and Version 18 of ReferenceNetsReachabilityGraph


Ignore:
Timestamp:
Jun 3, 2019, 3:29:15 PM (6 years ago)
Author:
5willrod
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ReferenceNetsReachabilityGraph

    v17 v18  
    8787The producer is back in his idle state whereas the the consumer is still in his waiting state and the storage is filled.
    8888
    89 [[Image(prod-cons-rg-sys.png)]]
    90 [[Image(prod-cons-rg-prod.png)]]
    91 [[Image(prod-cons-rg-cons.png)]]
     89[[Image(prod-cons-rg-sys.png, 33)]]
     90[[Image(prod-cons-rg-prod.png, 33)]]
     91[[Image(prod-cons-rg-cons.png, 33)]]
    9292
    9393''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.''