Changes between Version 15 and Version 16 of ReferenceNetsReachabilityGraph

Timestamp:

Jun 3, 2019, 3:22:13 PM (6 years ago)

Author:

5willrod

Comment:

--

ReferenceNetsReachabilityGraph

@@ -11 +11 @@
 === Example
 
-[[Image(rw-net.png)]]
-[[Image(rw-rggraph.png)]]
+[[Image(rw-net.png, 40%)]]
+[[Image(rw-rggraph.png, 59%)]]
 
 A reference net modeling the reader writer problem with two persons and the generated reachability graph. Black tokens are noted as [] .
@@ -28 +28 @@
 === Example
 
-[[Image(rw-net.png)]]
-[[Image(rw-rggraph-depthlimit.png)]]
+[[Image(rw-net.png, 40%)]]
+[[Image(rw-rggraph-depthlimit.png, 59%)]]
 
 The same net as before, this time with a depth limit.
@@ -45 +45 @@
 === Example
 
-[[Image(rw-counter-net.png)]]
-[[Image(rw-counter-rggraph.png)]]
+[[Image(rw-counter-net.png, 40%)]]
+[[Image(rw-counter-rggraph.png,60%)]]
 
 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.
 
-[[Image(prodcons-complete.png)]]
+[[Image(prodcons-complete.png, 95%)]]
 
 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.
 
-[[Image(prod-cons-rg-2.png)]]
+[[Image(prod-cons-rg-2.png, 95%)]]
 
 The arrow inscription with the yellow background has been extended to display the complete binding.
@@ -103 +103 @@
 
 === The net System
-[[Image(prodconsclock-complete.png)]]
+[[Image(prodconsclock-complete.png, 100%)]]
 
 === The Reachability Graph
@@ -116 +116 @@
 
 
-[[Image(prodcons-clockRG.png)]]
+[[Image(prodcons-clockRG.png, 100%)]]