Modificaciones para comportamiento conservador

• Deadlock: se crea un nuevo tipo de evento, al que llamamos evento nulo.

• Cada vez que un objeto va a procesar un evento, envía un evento nulo con el tiempo del evento que va a procesar más su lookahead a todos sus posibles destinos.

• Si en la cola de salida hay un mensaje nulo con igual timestamp y destino que un evento común, se aniquila al evento nulo.

• Finalización de una simulación

• Cuando circula el mensaje de tipo CheckIdleMsg por los objetos de la simulación, se asumirá que un objeto está ocioso cuando:

• No está simulando evento alguno y

• No tiene eventos que no sean nulos sin procesar en su cola de entrada