Projects



Changes between Version 24 and Version 25 of ReferenceNetsReachabilityGraph


Ignore:
Timestamp:
Jun 3, 2019, 3:52:01 PM (6 years ago)
Author:
9simon
Comment:

The Producer Consumer Problem: optimize image sizes

Legend:

Unmodified
Added
Removed
Modified

  • ReferenceNetsReachabilityGraph

    v24 v25  
    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, 33%)]]
    90 [[Image(prod-cons-rg-prod.png, 33%)]]
    91 [[Image(prod-cons-rg-cons.png, 33%)]]
     89[[Image(prod-cons-rg-sys.png,  37%)]]
     90[[Image(prod-cons-rg-prod.png, 32%)]]
     91[[Image(prod-cons-rg-cons.png, 30%)]]
    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.''