Changes between Version 7 and Version 8 of ReferenceNetsReachabilityGraph

Timestamp:

May 3, 2019, 7:33:42 PM (6 years ago)

Author:

5willrod

Comment:

--

ReferenceNetsReachabilityGraph

@@ -48 +48 @@
 === Example 1
 
-The first example is the classic producer consumer problem, where producer and consumer are distributed into an own net each.
+The first example is the classic producer consumer problem (with a storage capacity), where producer and consumer are distributed into an own net each.
 Their net instances are created in the system net, which also holds the storage place for the producer and consumer.
 The synchronisation happens via synchronous channels.
@@ -60 +60 @@
 [[Image(prod-cons-rg-2.pdf)]]
 
-The arrow inscription with the yellow background is an extended inscription.
-It showcases how synchronous channels are listed.
+The arrow 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.
+
+As mentioned before, node inscriptions would be more confusing than helpful.
+The plugin intends the interactive inspection of the graph.
+The following images show the inspection of the bottom right marking.
+