forked from jkff/minxmod
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathdeadlock.dot
77 lines (77 loc) · 3.1 KB
/
deadlock.dot
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
digraph g {
1 [label = "V: \nM: \nP: 0=entry:1[1],1=ta:0[]"]
2 [label = "V: \nM: a:1/1\nP: 0=entry:1[1],1=ta:1[]"]
3 [label = "V: \nM: \nP: 1=ta:0[],2=tb:0[]"]
4 [label = "V: \nM: b:2/1\nP: 1=ta:0[],2=tb:1[]"]
5 [label = "V: \nM: a:1/1\nP: 1=ta:1[],2=tb:0[]"]
6 [label = "V: \nM: a:1/1,b:1/1\nP: 0=entry:1[1],1=ta:2[]"]
7 [label = "V: \nM: a:1/1,b:2/1\nP: 1=ta:1[],2=tb:1[]"]
8 [label = "V: \nM: a:1/1,b:1/1\nP: 1=ta:2[],2=tb:0[]"]
9 [label = "V: \nM: a:2/1,b:2/1\nP: 1=ta:0[],2=tb:2[]"]
10 [label = "V: \nM: a:1/1\nP: 0=entry:1[1],1=ta:3[]"]
11 [label = "V: \nM: a:1/1,b:1/1\nP: 1=ta:2[],2=tb:0[]?b"]
12 [label = "V: \nM: a:1/1\nP: 1=ta:3[],2=tb:0[]"]
13 [label = "V: \nM: a:1/1,b:2/1\nP: 1=ta:1[],2=tb:1[]?a"]
14 [label = "V: \nM: a:1/1,b:2/1\nP: 1=ta:1[]?b,2=tb:1[]"]
15 [label = "V: \nM: b:2/1\nP: 1=ta:0[],2=tb:3[]"]
16 [label = "V: \nM: a:2/1,b:2/1\nP: 1=ta:0[]?a,2=tb:2[]"]
18 [label = "V: \nM: a:1/1,b:2/1\nP: 1=ta:3[],2=tb:1[]"]
20 [label = "V: \nM: a:1/1\nP: 1=ta:3[],2=tb:0[]?b"]
21 [label = "V: \nM: a:1/1,b:2/1\nP: 1=ta:1[]?b,2=tb:1[]?a"]
22 [label = "V: \nM: b:2/1\nP: 1=ta:0[]?a,2=tb:3[]"]
24 [label = "V: \nM: a:1/1,b:2/1\nP: 1=ta:1[],2=tb:3[]"]
32 [label = "V: \nM: \nP: 1=ta:0[],2=tb:0[]?b"]
33 [label = "V: \nM: \nP: 1=ta:0[]?a,2=tb:0[]"]
35 [label = "V: \nM: b:2/1\nP: 1=ta:0[],2=tb:1[]?a"]
36 [label = "V: \nM: a:1/1\nP: 1=ta:1[],2=tb:0[]?b"]
37 [label = "V: \nM: b:2/1\nP: 1=ta:0[]?a,2=tb:1[]"]
38 [label = "V: \nM: a:1/1\nP: 1=ta:1[]?b,2=tb:0[]"]
1 -> 3 [style=bold, color=red, weight=10]
1 -> 2 [style=bold, color=red, weight=10]
2 -> 5 [constraint=true]
2 -> 6 [style=bold, color=red, weight=10]
3 -> 5 [style=bold, color=red, weight=10]
3 -> 4 [style=bold, color=red, weight=10]
4 -> 7 [constraint=true]
4 -> 9 [style=bold, color=red, weight=10]
5 -> 8 [style=bold, color=red, weight=10]
5 -> 7 [style=bold, color=red, weight=10]
6 -> 8 [constraint=true]
6 -> 10 [style=bold, color=red, weight=10]
7 -> 14 [style=bold, color=red, weight=10]
7 -> 13 [style=bold, color=red, weight=10]
8 -> 12 [style=bold, color=red, weight=10]
8 -> 11 [style=bold, color=red, weight=10]
9 -> 16 [style=bold, color=red, weight=10]
9 -> 15 [style=bold, color=red, weight=10]
10 -> 12 [constraint=true]
10 -> 1 [constraint=true]
11 -> 20 [style=bold, color=red, weight=10]
12 -> 3 [constraint=true]
12 -> 18 [style=bold, color=red, weight=10]
13 -> 21 [constraint=true]
14 -> 21 [style=bold, color=red, weight=10]
15 -> 24 [style=bold, color=red, weight=10]
15 -> 3 [constraint=true]
16 -> 22 [style=bold, color=red, weight=10]
18 -> 4 [constraint=true]
18 -> 35 [style=bold, color=red, weight=10]
20 -> 32 [style=bold, color=red, weight=10]
20 -> 18 [constraint=true]
22 -> 24 [constraint=true]
22 -> 33 [style=bold, color=red, weight=10]
24 -> 38 [style=bold, color=red, weight=10]
24 -> 5 [constraint=true]
32 -> 36 [style=bold, color=red, weight=10]
32 -> 4 [constraint=true]
33 -> 5 [constraint=true]
33 -> 37 [style=bold, color=red, weight=10]
35 -> 13 [constraint=true]
35 -> 9 [constraint=true]
36 -> 11 [constraint=true]
36 -> 7 [constraint=true]
37 -> 7 [constraint=true]
37 -> 16 [constraint=true]
38 -> 8 [constraint=true]
38 -> 14 [constraint=true]
}