Changes between Version 20 and Version 21 of ReferenceNetsReachabilityGraph

Timestamp:

Jun 3, 2019, 3:33:11 PM (6 years ago)

Author:

9simon

Comment:

arrow -> edge

ReferenceNetsReachabilityGraph

@@ -33 +33 @@
 The same net as before, this time with a depth limit.
 Possible, but not explored bindings are represented with a triangular node.
-Bindings of unexecuted bindings are still listed, as can be seen on the lower left arrow inscription.
+Bindings of unexecuted bindings are still listed, as can be seen on the lower left edge inscription.
 
 
@@ -62 +62 @@
 This net instance behaves like a simulation step which can be fully inspected, meaning that all nets that this net has a reference of can be explored with their current marking, including, again, nets referenced in this net.
 
-For any firing that happens within a subnet, the arrow is labeled with the identifier of the subnet proceeding the transition identifier, whereas transitions in the root net are only labeled with their identifier.
+For any firing that happens within a subnet, the edge is labeled with the identifier of the subnet proceeding the transition identifier, whereas transitions in the root net are only labeled with their identifier.
 
 === The Producer Consumer Problem
@@ -78 +78 @@
 [[Image(prod-cons-rg-2.png, 95%)]]
 
-The arrow inscription with the yellow background has been extended to display the complete binding.
+The edge inscription with the yellow background has been extended to display the complete binding.
 The transition is a firing of the root net transition "consume", which is a synchronous channel.
 Therefore, also the corresponding transition in the consumer net instance is listed.