Se trata de regular el acceso al puente de carril nico de la figura. Para ello, se
dispone de dos semforos verde-rojo, uno en cada extremo del puente (VI-RI,VD-RD), un sensor de ultrasonidos (COCHE) en el centro del puente, que proporciona un 1 lgico cuando detecta un vehculo, y un pulsador de marcha del sistema (M). Inicialmente, el sistema est parado con ambos semforos en rojo. Cuando se acciona el pulsador M, comienza un ciclo de verde para el semforo izquierdo (se supone que los vehculos no se detienen nunca en el puente). Al poner un semforo en verde, se debe esperar siempre 5 segundos (tiempo estimado para que un vehculo alcance el centro del puente) y despus, sigue verde hasta que transcurran 10 segundos (precisin de segundos) sin pasar ningn vehculo o lleve ms de 1 minuto en verde, en cuyo caso se produce el cambio de sentido, que consiste en poner a rojo el que estaba en verde y, despus de 15 segundos, poner en verde el del otro lado. Si con el sistema funcionando, estn ambos en rojo y se acciona M, se pasar a la situacin inicial de sistema parado (ambos en rojo de forma indefinida). Se pide: - Disear una Red de Petri que gobierne adecuadamente este sistema (memoria). - Realizar la programacin sncrona de la Red de Petri diseada mediante el lenguaje AWL de los autmatas SIEMENS S7-300 (memoria).
NOTA: Utilizar como smbolos y como asignacin de entradas/salidas la siguiente