Génération depuis s_11 (cf schéma)


The pi-incompatible state had been computed through action 'pipeline_restart_1', and was:
          observer: ObserverOK, pipeline_1: P1_1, pipeline_2: P2_3, pipeline_3: P3_2, proc_1: proc_1_01, proc_2: proc_2_00, Token_32 = 0, Token_31 = 0, Token_2 = 0, Token_1 = 0 ==> 
          & C_task_31 >= 7
          & t_task_2 = 3
          & t_pipeline_2 = 10
          & t_asap_2 = 7
          & t_task_1 = 3
          & t_pipeline_1 = 0
          & t_asap_1 = 0
          & t_asap_3 = 10
          & t_pipeline_3 = 10
          & t_task_31 = 7
          & t_task_32 = 0

 Associated constraint:
           C_task_31 >= 7
          & t_task_2 = 3
          & t_pipeline_2 = 10
          & t_asap_2 = 7
          & t_task_1 = 3
          & t_pipeline_1 = 0
          & t_asap_1 = 0
          & t_asap_3 = 10
          & t_pipeline_3 = 10
          & t_task_31 = 7
          & t_task_32 = 0



Le Bon qui suit (s_12 sur le schéma):
          NEW STATE reachable through action 'task_31_done': 
          observer: ObserverOK, pipeline_1: P1_3, pipeline_2: P2_3, pipeline_3: P3_3, proc_1: proc_1_00, proc_2: proc_2_00, Token_32 = 0, Token_31 = 0, Token_2 = 0, Token_1 = 0 ==> 
          & C_task_31 > 0
          & 7 > C_task_31
          & t_task_2 = 3
          & C_task_31 + 3 = t_pipeline_2
          & C_task_31 = t_asap_2
          & t_task_1 = 3
          & C_task_31 + 3 = t_pipeline_1
          & C_task_31 = t_asap_1
          & t_asap_3 = 0
          & C_task_31 + 3 = t_pipeline_3
          & C_task_31 = t_task_31
          & t_task_32 = 0

  After clock elimination:
   7 > C_task_31
& C_task_31 > 0