Changes between Version 33 and Version 34 of ReferenceNetsReachabilityGraph
- Timestamp:
- Jun 21, 2019, 6:01:12 PM (6 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
ReferenceNetsReachabilityGraph
v33 v34 14 14 15 15 Additionally, a depth limit for the search can be set. 16 This is further described in the section Depth limited search.16 This is further described in the section [https://paose.informatik.uni-hamburg.de/paose/wiki/ReferenceNetsReachabilityGraph#Depthlimitedsearch] 17 17 18 18 == Examples for the Reference Net Reachability Graph Plugin