Projects



Changes between Version 16 and Version 17 of ReferenceNetsReachabilityGraph


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

--

Legend:

Unmodified
Added
Removed
Modified

  • ReferenceNetsReachabilityGraph

    v16 v17  
    4646
    4747[[Image(rw-counter-net.png, 40%)]]
    48 [[Image(rw-counter-rggraph.png,60%)]]
     48[[Image(rw-counter-rggraph.png, 59%)]]
    4949
    5050As a result of the newly introduced place, a chain of nodes emerge in the reachability graph, wherein each cycle in the root net results in an additional token in the reachability graph.