Changes between Version 19 and Version 20 of ReferenceNetsReachabilityGraph

Timestamp:

Jun 3, 2019, 3:32:21 PM (6 years ago)

Author:

9simon

Comment:

id -> ID

ReferenceNetsReachabilityGraph

@@ -74 +74 @@
 The ReferenceNetsReachabilityGraph Plugin is started with the system net as the root net.
 As the synchronous calls are initiated from the system net, they are listed without a prefix.
-The internal state changes of the producer/consumer have the net instance id as prefix.
+The internal state changes of the producer/consumer have the net instance ID as prefix.
 
 [[Image(prod-cons-rg-2.png, 95%)]]
@@ -91 +91 @@
 [[Image(prod-cons-rg-cons.png, 33%)]]
 
-''Note: The ids of the net instances in the inspection differ from the ids in the reachability graph, because they were inspected in a later simulation.''
-''Within a single execution of the plugin the ids do not differ.''
+''Note: The IDs of the net instances in the inspection differ from the IDs in the reachability graph, because they were inspected in a later simulation.''
+''Within a single execution of the plugin the IDs do not differ.''
 
 == A More Complex Example