Changes between Version 12 and Version 13 of ReferenceNetsReachabilityGraph

Timestamp:

May 15, 2019, 5:48:48 PM (6 years ago)

Author:

5willrod

Comment:

--

ReferenceNetsReachabilityGraph

@@ -64 +64 @@
 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.
 
-=== Example 1
+=== The Producer Consumer Problem
 
 The first example is the classic producer consumer problem (with a storage capacity), where producer and consumer are distributed into an own net each.