Asignatura:

Modelado de Procesos Concurrentes.

Proceso a desarrollar:

Gestión de un estacionamiento.

Planteamiento:

Se desea centralizar la gestión de un estacionamiento, con capacidad de 20 vehículos. La

entrada y la salida de este estacionamiento se controlan mediante barreras controladas con
motores con inversión de giro (MA, MC). A la llegada de un vehículo, el usuario pulsa un botón
de entrada y en caso de haber puesto se expide un ticket (señal TK) y se levanta la barrera por un
lapso de 10 s. A su salida, se introduce el ticket precancelado (entrada TP) y la barrera se eleva
durante el mismo lapso. Se debe contabilizar el número de vehículos presentes en el sitio
(máximo 20 vehículos).

Figura N° 1.- Modelado del Funcionamiento del estacionamiento a centralizar.

Definición de las variables del Proceso:

Las variables que intervienen en el proceso, se clasifican según sea su naturaleza, estas
pueden ser controlables o no controlables. Ahora, se muestran las que intervienen en el proceso
empleado.

Número Descripción de la Variable Estado Controlable

de Si / No
Variable

1 TK: Expedición de Ticket Codificado On / Off No

2 P: Pulsador On / Off No
3 MA1: Motores con inversión de giro abierto en la entrada On / Off Si
4 MC1: Motores con inversión de giro cerrado en la entrada On / Off Si
5 MA2: Motores con inversión de giro abierto en la salida On / Off Si
6 MC2: Motores con inversión de giro cerrado en la salida On / Off Si
7 C1: Contador en la entrada Done / Undone No
8 COMP: Comparador Done / Undone No
9 TEMP1: Temporizador de entrada Done / Undone No
10 TEMP2: Temporizador de salida Done / Undone No

Tabla N°1.- Variables discretas del proceso de gestión de un estacionamiento.

Representación en autómatas de los elementos del Proceso:

Para esta representación se identificara el número de estados y las transiciones de cada

elemento controlable, la cual se denota en el siguiente cuadro:

Elemento Número de Estados Posibles Número de transiciones

MA1: Motor con inversión de giro 2 2

abierto en la entrada.
MC1: Motor con inversión de giro 2 2
cerrado en la entrada.
MA2: Motor con inversión de giro 2 2
abierto en la salida.
MC2: Motor con inversión de giro 2 2
cerrado en la salida.

Tabla N°2.- Variables discretas controlables del proceso de gestión de un estacionamiento.

Figura N° 2.- Autómata para MA1: Motor con Figura N° 3.- Autómata para MC1: Motor con
inversión de giro abierto en la entrada. inversión de giro cerrado en la entrada.

Figura N° 4.- Autómata para MA2: Motor con Figura N° 5.- Autómata para MC2: Motor con
inversión de giro abierto en la salida. inversión de giro cerrado en la salida.
Autómatas de Estados Permitidos (No controlable):

Figura N° 6.- Autómatas de Estados Permitidos.

Lenguaje controlable máximo:

MA1 MC1 MA2 MC2

Activación
0 0 0
0

1 0 0 0

0 1 0 0

0 0 0 0

0 0 1 0

0 0 0 1
 Figura N° 7.- Representación en autómata del sistema supervisorío / Modelo 1.
MA1 MC1 MA2 MC2

0 0 0 1

0 0 1 0

Activación
0 0 0 0

1 0 0 0

0 1 0 0

Figura N° 8.- Representación en autómata del sistema supervisorío / Modelo 2.