module APPLICATION (TYPES, SIZE, CONFIGURATION) is

-- application with N+1 (i.e., five) main tasks

process EXECUTE [ST, MSG: any]
                (id: Pid, j: Job_Desc, in out s: Job_Desc_Stack) is
  access ST; -- to avoid a warning from lnt2lotos
  s := s; -- to avoid a warning from lnt2lotos
  case j.pc of PC in
    DONT_CARE_1 -> LEAF [MSG] (DONT_CARE, DONT_CARE_1, ID)
  | DONT_CARE_2 -> LEAF [MSG] (DONT_CARE, DONT_CARE_2, ID)
  | DONT_CARE_3 -> LEAF [MSG] (DONT_CARE, DONT_CARE_3, ID)
  | DONT_CARE_4 -> LEAF [MSG] (DONT_CARE, DONT_CARE_4, ID)
  | DONT_CARE_5 -> LEAF [MSG] (DONT_CARE, DONT_CARE_5, ID)
  | any -> null -- to avoid a warning from lnt2lotos
  end case
end process

process HOST_APPLI [HOST: any] is
  HOST (HOST_JOB (DONT_CARE_1, DONT_CARE));
  HOST (HOST_JOB (DONT_CARE_2, DONT_CARE));
  HOST (HOST_JOB (DONT_CARE_3, DONT_CARE));
  HOST (HOST_JOB (DONT_CARE_4, DONT_CARE));
  HOST (HOST_JOB (DONT_CARE_5, DONT_CARE));
  stop
end process

end module