Changes between Version 3 and Version 4 of ReferenceNetsReachabilityGraph

Timestamp:

May 3, 2019, 4:31:34 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. This can be further extended, so that any arrow instead is labeled with the full binding of the firing.
+The arrows are labeled with the respective transition that fired. The inscription can be extended to show the full binding of the firing.
 
 === Example