You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
11 lines
271 B
11 lines
271 B
digraph model {
|
|
0 [ label = "0[s=0]: {init}" ];
|
|
1 [ label = "1[s=1]: {}" ];
|
|
2 [ label = "2[s=3]: {delivered}" ];
|
|
3 [ label = "3[s=2]: {}" ];
|
|
0 -> 1 [ label= "1" ];
|
|
1 -> 2 [ label= "0.9" ];
|
|
1 -> 3 [ label= "0.1" ];
|
|
2 -> 2 [ label= "1" ];
|
|
3 -> 1 [ label= "1" ];
|
|
}
|