Changes between Version 30 and Version 31 of ReferenceNetsReachabilityGraph

Timestamp:

Jun 21, 2019, 5:44:28 PM (6 years ago)

Author:

5willrod

Comment:

--

ReferenceNetsReachabilityGraph

@@ -96 +96 @@
 ''Within a single execution of the plugin the IDs do not differ.''
 
-== A More Complex Example
+== More Nested Examples
 
 The following example extends the producer consumer problem by an actual product subnet. 
@@ -119 +119 @@
 
 [[Image(prodcons-clockRG.png, 100%)]]
+
+== Nested Example 2
+
+=== The Net System
+[[Image(fireNetsBundled.png, 100%)]]
+
+== The Reachability Graph
+[[Image(fireRG.png, 100%)]]
+
+== Exploration Of A Node In The Reachability Graph
+[[Image(fireNetsMarking.png, 100%)]]