General

Esto es correcto. Si el sistema no tiene forma de saber que el inspector llegó no se le puede dar prioridad. En este caso el P(tanque) funciona como el aviso de que llegó el inspector. Sería el equivalente en el caso de monitores de la entrada que pone inspector = true o similar. Si asumís que hay que darle prioridad al inspector antes de que haga eso es imposible de resolver.