| Nr | Name | Value | Previous Value |
|---|---|---|---|
| 1 | g | ? | ? |
| 2 | h | ? | ? |
| 3 | i | ? | ? |
| 4 | r | ? | ? |
| 5 | r_st | ? | ? |
| 6 | s_st | ? | ? |
| Nr | Name | Value |
|---|---|---|
| 1 | f | {(1|->data1),(2|->data2),(3|->data3)} |
| 2 | n | 3 |
| Nr | Name | Value |
|---|---|---|
| 1 | D | {data1,data2,data3} |
| 2 | STATUS | {working,success,failure} |
| Nr | Name | Enabled |
|---|---|---|
| 1 | brp | ? |
| 2 | RCV_current_data | ? |
| 3 | RCV_success | ? |
| 4 | RCV_failure | ? |
| 5 | SND_success | ? |
| 6 | SND_failure | ? |
| Nr | Event | Description | Target State ID |
|---|---|---|---|
| 1 | SETUP_CONSTANTS(f={(1↦data1),(2↦data2),(3↦data3)},n=3) | State 0 | |
| 2 | INITIALISATION(g=∅,h=∅,i=0,r=0,r_st=working,s_st=working) | ||
| 3 | RCV_current_data | the receiver receives packet nr. 1 : data1 | |
| 4 | RCV_current_data | the receiver receives packet nr. 2 : data2 | |
| 5 | RCV_success | the receiver receives last packet nr. 3 : data3 | |
| 6 | SND_success | the sender detectcs successful completion | |
| 7 | brp(g={(1↦data1),(2↦data2),(3↦data3)},i=3) | the protocol terminates on the sender side with 3 packets sent |