Changes between Version 13 and Version 14 of ReferenceNetsReachabilityGraph

Timestamp:

Jun 3, 2019, 3:05:19 PM (6 years ago)

Author:

5willrod

Comment:

--

ReferenceNetsReachabilityGraph

@@ -7 +7 @@
 The following example shows a simple reference net without any subnets.
 The reachability graph is generated as expected, with the red node representing the initial marking and any other node representing a reachable marking of the net.
-The arrows are labeled with the respective transition that fired. The inscription can be extended to show the full binding of the firing.
+The edges are labeled with the respective transition that fired. The inscription can be extended to show the full binding of the firing.
 
 === Example