module APPLICATION (TYPES) is -- application with N+1 (i.e., nine) main tasks: -- one don't care, three bitstreams, five vectors 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) | BITSTREAM_1 -> LEAF [MSG] (BITSTREAM, BITSTREAM_1, ID) | BITSTREAM_2 -> LEAF [MSG] (BITSTREAM, BITSTREAM_2, ID) | BITSTREAM_3 -> LEAF [MSG] (BITSTREAM, BITSTREAM_3, ID) | VECTOR_1 -> LEAF [MSG] (VECTOR, VECTOR_1, ID) | VECTOR_2 -> LEAF [MSG] (VECTOR, VECTOR_2, ID) | VECTOR_3 -> LEAF [MSG] (VECTOR, VECTOR_3, ID) | VECTOR_4 -> LEAF [MSG] (VECTOR, VECTOR_4, ID) | VECTOR_5 -> LEAF [MSG] (VECTOR, VECTOR_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 (BITSTREAM_1, BITSTREAM)); HOST (HOST_JOB (VECTOR_1, VECTOR)); HOST (HOST_JOB (BITSTREAM_2, BITSTREAM)); HOST (HOST_JOB (VECTOR_2, VECTOR)); HOST (HOST_JOB (VECTOR_3, VECTOR)); HOST (HOST_JOB (BITSTREAM_3, BITSTREAM)); HOST (HOST_JOB (VECTOR_4, VECTOR)); HOST (HOST_JOB (VECTOR_5, VECTOR)); stop end process end module