SISTEMA DE CONTROL DE TANQUE

Una red de Petri puede ser una forma efectiva de modelar el control automático de
un tanque siguiendo las etapas descritas. Aquí tienes una representación
simplificada de una red de Petri para este sistema de control:

Lugares (P):

P0: Tanque vacío y sin receta seleccionada.

P1: Receta seleccionada y confirmada.
P2: Válvula de entrada de agua abierta.
P3: Tanque lleno de agua.
P4: Motor de recirculación activado.
P5: Válvula de drenaje del tanque abierta.
P6: Ingredientes menores listos para ser añadidos.
P7: Válvula de ingredientes menores abierta.
P8: Ingredientes menores agregados.
P9: Azúcar listo para ser añadido.
P10: Válvula de azúcar abierta.
P11: Azúcar agregado.
P12: Botón de confirmación de ingredientes pulsado.
P13: Motor del agitador activado.
Transiciones (T):

T0: Pulsa el botón de inicio.

T1: Selecciona y confirma la receta.
T2: Abra la válvula de ingreso de agua.
T3: Tanque lleno de agua.
T4: Activa el motor de recirculación.
T5: Abra la válvula de drenaje del tanque.
T6: Ingredientes menores listos para ser añadidos.
T7: Abra la válvula de ingredientes menores.
T8: Ingredientes menores agregados.
T9: Azúcar listo para ser añadido.
T10: Abra la válvula de azúcar.
T11: Azúcar agregado.
T12: Pulsa el botón de confirmación de ingredientes.
T13: Activa el motor del agitador.
Arcos (con peso 1):

De P0 a T0: Cuando el botón de inicio se pulsa, comienza el proceso.

De T0 a P1: La receta es seleccionada y confirmada.
De P1 a T2: Se abre la válvula de ingreso de agua.
De T2 a P3: El tanque se llena de agua.
De P3 a T4: Se activa el motor de recirculación.
De T4 a P4: La recirculación está en marcha.
De P4 a T5: Se abre la válvula de drenaje del tanque.
De T5 a P3: El tanque se drena.
De P3 a T6: Los ingredientes menores están listos para ser añadidos.
De T6 a P7: Se abre la válvula de ingredientes menores.
De P7 a T8: Los ingredientes menores se añaden.
De P3 a T9: El azúcar está listo para ser añadido.
De T9 a P10: Se abre la válvula de azúcar.
De P10 a T11: El azúcar se agrega.
De T11 a P12: Se pulsa el botón de confirmación de ingredientes.
De P12 a T13: Se activa el motor del agitador.
De T13 a P13: El agitador está funcionando.
Esta representación simplificada de una red de Petri modela las etapas principales
del proceso de control automático del tanque, desde la selección de la receta hasta
la activación del motor del agitador. Ten en cuenta que en aplicaciones reales, se
requeriría un diseño más detallado para incluir lógica de control adicional, sensores
y condiciones específicas del sistema.