I am modelling a job shop process and use the event block to generate orders for the order arrival process. In action of the event block, the due date of the generated order has to be specified. This value however is not fixed. It should either be 17:45:00 PM, 19:15:00 PM or 20:15:00 PM. However, the possibility that time 17:45:00