Redes de Petri: Capacidades modelado (I)

Exclusin mutua Relativa a recursos que slo pueden ser utilizados por un proceso o por un nmero limitado de procesos a la vez (recurso comn). En RdP se modela mediante lugares marcados con ms transiciones de salida que de entrada (seleccin). Problemas de conflicto entre las transiciones de salida
Es necesario establecer prioridades.

B .A

A=B=1?

Fundamentos de Automtica Modelado de Sistemas para la Programacin de Autmatas

Redes de Petri: Sistema complejo (I)

Los carros A y B transportan material desde los puntos de carga CA y CB, respectivamente, hasta el punto de descarga D. Si el carro A se encuentra en CA y se oprime el pulsador MA, comienza un ciclo CA-D-CA Espera eventual en EA hasta que la zona comn se encuentre libre. Espera obligatoria en D de 100 seg. El funcionamiento del carro B es similar (al pulsar MB realiza el ciclo CB-DCB), pero con espera en D de 50 seg., y prioridad en caso de demanda simultnea de la va compartida.
MA CA MB CB
iA A dA

EA EB

iB

dB D

Fundamentos de Automtica Modelado de Sistemas para la Programacin de Autmatas

Redes de Petri: Sistema complejo (II)

MA dA EA MB dB EB

EB dA,G CA iA dB

D /* in T100
G

D /* in T50 fin T50

iB EB

CB iB

fin T100
i A, G EA

Fundamentos de Automtica Modelado de Sistemas para la Programacin de Autmatas

Redes de Petri: Sistema complejo (II)

MA dA EA MB dB EB

dA,G CA iA

dB

D /* in T100
G

D /* in T50 fin T50

iB EB

CB iB

fin T100
i A, G EA

Fundamentos de Automtica Modelado de Sistemas para la Programacin de Autmatas

Redes de Petri: Sistema complejo (II)

MA dA / E A EB . EA dA,G CA iA MB

dB / EB EB dB

D /* in T100
G

D /* in T50 fin T50

iB EB

CB iB

fin T100
i A, G EA

Fundamentos de Automtica Modelado de Sistemas para la Programacin de Autmatas

Redes de Petri: Capacidades modelado (II)

Alternancia La alternancia entre procesos (modelados con subredes de Petri) puede darse sin necesidad de la existencia de un recurso comn.
Alternancia entre los procesos A, B y C, siguiendo la secuencia A B C A BC

A fin A

B fin B

C fin C

Fundamentos de Automtica Modelado de Sistemas para la Programacin de Autmatas

Redes de Petri: Capacidades modelado (III)

Modularidad Un conjunto de secuencias representadas por una Subred de Petri se puede reutilizar (llamar) desde diversos puntos de la red principal
Es necesario recordar el punto de regreso de la secuencia. No se podr ordenar la llamada de la subred mientras se est utilizando.

Se consiguen descripciones de menor tamao y modularidad.

Tai s Pa d Taf Tbi s Pa d Tbf Tci s Pa d Tcf

M1

M2

M3

Fundamentos de Automtica Modelado de Sistemas para la Programacin de Autmatas

Redes de Petri: Capacidades modelado (III)

Modularidad Un conjunto de secuencias representadas por una Subred de Petri se puede reutilizar (llamar) desde diversos puntos de la red principal
Es necesario recordar el punto de regreso de la secuencia. No se podr ordenar la llamada de la subred mientras se est utilizando.

Se consiguen descripciones de menor tamao y modularidad.

Tai s Pa d Taf Tbi s Pa d Tbf Tci s Pa d Tcf s Pa d

M1

M2

M3

Fundamentos de Automtica Modelado de Sistemas para la Programacin de Autmatas

Redes de Petri: Implantacin normalizada

Dificultad para describir e implantar en KOP, FUP o AWL procesos complejos. Necesidad de facilitar la comunicacin entre personal de diferente formacin. Posibilidad de disear programas de control sin conocer los lenguajes citados. GRAFCET: Lenguaje grfico, evolucionado a partir de RdP, para representar sistemas secuenciales: Representacin grfica de la evolucin de un proceso mediante una sucesin de etapas. Cada etapa lleva asociadas unas acciones, que se ejecutan cuando la etapa est activa. Slo puede existir una etapa activa. Entre 2 etapas existe una transicin, con una condicin asociada. La transicin es vlida si la etapa anterior est activa. La verificacin de la condicin de una transicin vlida implica la activacin de la etapa siguiente y la desactivacin de la precedente. Las etapas iniciales se activan en la puesta en marcha.

Fundamentos de Automtica Modelado de Sistemas para la Programacin de Autmatas