Changes between Version 14 and Version 15 of ReferenceNetsReachabilityGraph
- Timestamp:
- Jun 3, 2019, 3:11:38 PM (6 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
ReferenceNetsReachabilityGraph
v14 v15 11 11 === Example 12 12 13 [[Image(rw-net.p df)]]14 [[Image(rw-rggraph.p df)]]13 [[Image(rw-net.png)]] 14 [[Image(rw-rggraph.png)]] 15 15 16 16 A reference net modeling the reader writer problem with two persons and the generated reachability graph. Black tokens are noted as [] . … … 28 28 === Example 29 29 30 [[Image(rw-net.p df)]]31 [[Image(rw-rggraph-depthlimit.p df)]]30 [[Image(rw-net.png)]] 31 [[Image(rw-rggraph-depthlimit.png)]] 32 32 33 33 The same net as before, this time with a depth limit. … … 45 45 === Example 46 46 47 [[Image(rw-counter-net.p df)]]48 [[Image(rw-counter-rggraph.p df)]]47 [[Image(rw-counter-net.png)]] 48 [[Image(rw-counter-rggraph.png)]] 49 49 50 50 As 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. … … 70 70 The synchronisation happens via synchronous channels. 71 71 72 [[Image(prodcons-complete.p df)]]72 [[Image(prodcons-complete.png)]] 73 73 74 74 The ReferenceNetsReachabilityGraph Plugin is started with the system net as the root net. … … 76 76 The internal state changes of the producer/consumer have the net instance id as prefix. 77 77 78 [[Image(prod-cons-rg-2.p df)]]78 [[Image(prod-cons-rg-2.png)]] 79 79 80 80 The arrow inscription with the yellow background has been extended to display the complete binding. … … 103 103 104 104 === The net System 105 [[Image(prodconsclock-complete.p df)]]105 [[Image(prodconsclock-complete.png)]] 106 106 107 107 === The Reachability Graph … … 116 116 117 117 118 [[Image(prodcons-clockRG.p df)]]118 [[Image(prodcons-clockRG.png)]]