/** Conception du modèle.
 *  le passage de parametres par valeur n'est pas facile à décrire en AltaRica.
 *    - les valeurs sont codées dans le nom des événements
 *    - la boucle est dépliée pour différencier les valeurs des variables
**/

node RecepteurABP
  state
    co : [0,7];        // abstraction du Compteur Ordinal
  event  
    send_M, send_A_T, send_A_F, receive_M_T, receive_M_F;
  trans
    co=0                |- receive_M_F -> co := 1;
    co=0                |- receive_M_T -> co := 2;
    co=1                |- send_A_F    -> co := 0;
    co=2                |- send_A_T    -> co := 3;
    co=3                |- send_M      -> co := 4;
    co=4                |- receive_M_F -> co := 6;
    co=4                |- receive_M_T -> co := 5;
    co=5                |- send_A_T    -> co := 4;
    co=6                |- send_A_F    -> co := 7;
    co=7                |- send_M      -> co := 0;
  init
    co := 0;
edon