elevator2


about elevator2

see this page

  • elevator2.1

    Process Automaton
    in-degreeout-degree
    BFS levelBack level edge lengthError states
    DFS depthDFS cycle lengthDFS stack DFS error states
    DFS depth(rev)DFS cycle length(rev)DFS stack(rev) DFS error states(rev)

  • elevator2.2

    Process Automaton
    in-degreeout-degree
    BFS levelBack level edge lengthError states
    DFS depthDFS cycle lengthDFS stack DFS error states
    DFS depth(rev)DFS cycle length(rev)DFS stack(rev) DFS error states(rev)