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.
13 lines
263 B
13 lines
263 B
dtmc
|
|
|
|
module msg_delivery
|
|
|
|
state : [0..3] init 0;
|
|
// s = 0 -> start, s=1 -> try, s=2 -> lost, s=3 -> delivered
|
|
|
|
[] state = 0 -> (state'=1);
|
|
[] state = 1 -> 1/10 : (state'=2) + 9/10 : (state'=3);
|
|
[] state = 2 -> (state'=1);
|
|
[] state = 3 -> (state'=0);
|
|
|
|
endmodule
|