Changes between Version 31 and Version 32 of ReferenceNetsReachabilityGraph

Timestamp:

Jun 21, 2019, 5:52:07 PM (6 years ago)

Author:

5willrod

Comment:

--

ReferenceNetsReachabilityGraph

@@ -1 +1 @@
 = ReferenceNetsReachabilityGraph
+
+== The Graph Creation Dialogue
+[[Image(rnrg_gui.png)]]
 
 == Examples for the Reference Net Reachability Graph Plugin
@@ -98 +101 @@
 == More Nested Examples
 
+=== 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%)]]
+
+== Nested Example 2
+
 The following example extends the producer consumer problem by an actual product subnet. 
 Instead of black tokens, the producer creates a clock net instance.
@@ -119 +133 @@
 
 [[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%)]]