/** 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 EmetteurABP
  state
    co : [0,5];        // abstraction du Compteur Ordinal
  event  
    receive_M, send_M_T, send_M_F, receive_A_T, receive_A_F;
  trans
    co=0                |- receive_M   -> co := 1;
    co=1                |- send_M_T    -> co := 2;
    co=2                |- receive_A_F -> co := 1;
    co=2                |- receive_A_T -> co := 3;
    co=3                |- receive_M   -> co := 4;
    co=4                |- send_M_F    -> co := 5;
    co=5                |- receive_A_F -> co := 0;
    co=5                |- receive_A_T -> co := 4;
  init
    co := 0;
edon