Projects



Changes between Version 35 and Version 36 of ReferenceNetsReachabilityGraph


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

--

Legend:

Unmodified
Added
Removed
Modified

  • ReferenceNetsReachabilityGraph

    v35 v36  
    1414
    1515Additionally, a depth limit for the search can be set.
    16 This is further described in the section Depthlimitedsearch
    17  [https://paose.informatik.uni-hamburg.de/paose/wiki/ReferenceNetsReachabilityGraph#Depthlimitedsearch|Depth limited search]
     16This is further described in the section [https://paose.informatik.uni-hamburg.de/paose/wiki/ReferenceNetsReachabilityGraph#Depthlimitedsearch| Depth limited search]
     17
     18"Start" initiates the creation process.
     19The root net is the currently selected net in Renew.
     20
     21With the "Cancel"-button, the process can be terminated prematurely.
    1822
    1923== Examples for the Reference Net Reachability Graph Plugin