Projects



Changes between Version 34 and Version 35 of ReferenceNetsReachabilityGraph


Ignore:
Timestamp:
Jun 21, 2019, 6:03:10 PM (6 years ago)
Author:
5willrod
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ReferenceNetsReachabilityGraph

    v34 v35  
    1414
    1515Additionally, a depth limit for the search can be set.
    16 This is further described in the section [https://paose.informatik.uni-hamburg.de/paose/wiki/ReferenceNetsReachabilityGraph#Depthlimitedsearch]
     16This is further described in the section Depthlimitedsearch
     17 [https://paose.informatik.uni-hamburg.de/paose/wiki/ReferenceNetsReachabilityGraph#Depthlimitedsearch|Depth limited search]
    1718
    1819== Examples for the Reference Net Reachability Graph Plugin