/** Le modèle de communication est supposé synchrone.
 *    - la réception du message est simultanée à son émission
 *    - ou bien elle n'a pas lieu en cas de perte
**/

node ABPperteUnidirectionnelle
  sub
    E : EmetteurABP;
    R : RecepteurABP;
  sync
    <E.send_M_T, R.receive_M_T>;
    <E.send_M_F, R.receive_M_F>;
    <E.receive_A_T, R.send_A_T>;
    <E.receive_A_F, R.send_A_F>;
    // les pertes de messages
    <E.send_M_T>;
    <E.send_M_F>;
edon