Clase Prctica sobre Modelacin de Sistemas usando Redes de Petri.

1.

Hacer la Red de Petri para el problema del Supermercado y analizar las propiedades.
a) Hacer el rbol de alcanzabilidad.
b) Analizar las propiedades: Acotamiento, Conservacin.
Entrada

rea de
Compra
Caja

2.

El problema consta de cinco filsofos que alternativamente piensan y comen. Estn

sentados en una mesa circular donde ha sido depositada comida china, cada filsofo
tiene frente a l un plato donde servirse y entre cada uno de ellos un palillo chino.
Como sabemos, para comer comida china necesitamos dos palillos, entonces cada
filsofo para comer debe tener dos palillos en su poder. El problema est en que si
cada filsofo tiene un solo palillo en su poder, todos filsofos entraran en una espera
eterna para comer, otro problema puede ocurrir si un filsofo siempre tiene los dos
palillos y se mantiene comiendo, lo que produce que el resto no puede comer.
Analicemos los eventos y condiciones en este problema, as como las precondiciones
y postcondiciones para un solo filsofo y luego para el resto. Haga la RP para el
problema. Analizar propiedades.

3.

Haga la RP para el siguiente problema: Se tienen tres fumadores que se representan

por los procesos F1, F2, F3 y tres vendedores representados por los procesos V1, V2,
V3. Para fumar cada fumador necesita tabaco, papel y un fsforo, cuando dispone de
estos recursos, el fumador fuma un cigarrillo hasta terminarlo y entonces queda libre
para fumar de nuevo. F1 tiene tabaco, F2 tiene papel, F3 tiene fsforos, V1 vende
tabaco y papel, V2 vende papel para tabaco y fsforos y V3 vende fsforos y tabaco.
V1, V2, V3 trabajan en exclusin mutua, slo uno de los procesos puede trabajar a la
vez y el siguiente vendedor no puede vender hasta que los recursos suministrados por
el fumador anterior no hayan sido consumidos por un fumador.

4.

Se quiere modelar una estacin simplificada del ferrocarril utilizando una red de petri
(RP).
A dicha terminal pueden arribar trenes de distintos territorios del pas, pero se va a
modelar en una sola direccin. Los trenes han sido habilitados con un sensor que
indica el tipo de tren, esto a su vez indica la prioridad de paso por la estacin. Hay
dos tipos de prioridad (1-trenes de pasajeros y 2- trenes de carga), siempre que no
arriben trenes de prioridad 1 pueden pasar los trenes de prioridad 2. Cada tren de
prioridad 1 debe permanecer un tiempo en la estacin para el arribo de pasajeros y el
embarque de los pasajeros que deben viajar. A cada tren de prioridad 1 pueden
arribar hasta 5 pasajeros. Los pasajeros que llegan salen de la terminal. Se quiere
estadstica de los trenes de pasajeros que han pasado por la terminal.
Haga la RP que representa el problema anterior.

5.

Haga la Red de Petri para el caso:

Infinitos lectores, varios pueden leer simultneamente. Un slo escritor puede leer,
cada vez, slo si no hay nadie leyendo, e invalida a los lectores y a los otros
escritores.