lamport.1
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.1.prop2
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.1.prop3
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.1.prop4
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.2
| Process Automaton |
 |
lamport.2
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.2.prop2
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.2.prop3
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.2.prop4
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.3
| Process Automaton |
 |
lamport.3
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.3.prop2
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.3.prop3
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.3.prop4
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.4
| Process Automaton |
 |
lamport.4
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.4.prop2
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.4.prop3
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.4.prop4
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.5
| Process Automaton |
 |
lamport.5
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.5.prop2
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.5.prop3
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.5.prop4
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.6
| Process Automaton |
 |
lamport.6
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.6.prop2
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.6.prop3
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.6.prop4
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.7
| Process Automaton |
 |
lamport.7
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.7.prop2
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.7.prop3
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.7.prop4
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.8
| Process Automaton |
 |
lamport.8
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.8.prop2
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.8.prop3
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
lamport.8.prop4
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
