Actividades

Esta solución no es la correcta, ya que no podría haber dos personas a la vez en diferentes cajas. Es decir, si llega una persona a la caja 1 y están las dos libres, el token "Caja libre" habilitaría la transición "Ingresa a pagar por caja 1" y si, luego, llega otra persona a la caja 2 no podría pasar hasta que la persona que está en la caja 1 libere el token.

Esta solución es la correcta. Si probamos ejecutándola, nos aseguraríamos de eso!

Esta solución no es correcta. Pero ¿Por qué? si nos deja que haya dos personas a la vez en cada una de las cajas. Eso es verdad, pero, como sabemos las redes de petri son no determinísiticas, esto implica que, en este caso, los tokens que lleguen al sitio "Persona esperando en la cola" puede irse uno a cada caja o los dos para la misma caja. Por lo que, con este modelado, puede ocurrir el caso en que haya dos personas al mismo tiempo, en la misma caja.

Esta solución funciona bien solo para el primer paquete, ya que el sitio que está inicializado con un token habilitaría la transición la primera vez y luego, como no retorna el token, no habilitaría más la transición. Por lo tanto, esta solución, no es válida.

Ésta, es la solución correcta. Podemos probarlo ejecutándola. En este caso, la transición no está habilitada hasta que no lleguen 6 vasos, por lo que los vasos se acumularían en el primer sitio y solo se liberarían los tokens, de a 6, pasando por la transición de empaquetamiento.

Esta solución no es correcta, ya que estaríamos empaquetando de a un vaso. Suponiendo que la transición inicial, modela el evento en que llega un vaso para ser empaquetado, al llegar generaría 6 tokens, uno por cada flecha de salida. Esto haría que llegue un token a cada uno de los sitios y por ende, esté habilitada la última transición.