Changes between Version 21 and Version 22 of ReferenceNetsReachabilityGraph

Timestamp:

Jun 3, 2019, 3:36:15 PM (6 years ago)

Author:

9simon

Comment:

--

ReferenceNetsReachabilityGraph

@@ -14 +14 @@
 [[Image(rw-rggraph.png, 59%)]]
 
-A reference net modeling the reader writer problem with two persons and the generated reachability graph. Black tokens are noted as [] .
+A reference net modeling the reader writer problem with two people and the generated reachability graph. Black tokens are noted as [] .
 
 == Depth limited search