Descripción funcional de sistemas de eventos discretos con redes de Petri. El gráfico de mando etapa/transición: GRAFCET

Presentación unidad Nº3
Alumno: Romero Daniel
Profesor: Neyra Rodolfo
Ciclo lectivo: 2015
Curso: 6º Año Electromecánica

División: “U”

Descripción funcional de sistemas de eventos discretos con redes
de Petri. El gráfico de mando etapa/transición: GRAFCET
• Tarea Nº 20: Presentación unidad Nº3

Las Redes de Petri

• Las Redes de Petri (RdP) son una teoría matemática postulada por el alemánCarl Adam
Petri que permite modelar sistemas no determinísticos, distribuidos y/o estocásticos, con
procesos concurrentes, paralelos y asíncronos. Se la ha utilizado en distintas áreas de
aplicación como en química, redes informáticas, iInteligencia artificial, tránsito, etc.
• Los modelos basados en RdP pueden conducir a la obtención de recomendaciones en el
ordenamiento de las entidades queintervienen en una situación real que se está modelando.
• Los sistemas de tránsito son sistemas discretos que pueden crecer considerablemente y que
revelan la presencia de eventos claramente identificables. Una de las formas de solucionar
este crecimiento explosivo de elementos de un sistema discreto consiste en utilizar las RdP
para su modelación. El sistema a modelar puede ser analizado de maneraformal y permite
obtener información del comportamiento dinámico de la realidad bajo estudio.

F

E

para C2
para C1

para C2

D
para C2

A

B

C

para C1
para C2

para C1

A = Autos de C1 cruzando
B = Frenando autos de C1
C = Autos de C1 frenados y autos de C2 comenzando a cruzar
D = Autos de C2 cruzando
E = Frenando autos de C2
F =

Autos de C2 frenados y autos de C1 comenzando a cruzar

B,C,E, Fpermiten un modelado mas realistico del sistema ya
que muestra como los autos comienzan a avanzar o a frenar.
La marca en el lugar D representa que la afirmación "Luz verde
para los autos de calle C2" sea cierta.

para C1

Redes de Petri
• Las redes de Petri (RdP) (C.A. Petri, 1962) son una herramienta de modelado muy efectiva para
la representación y el análisis de procesos concurrentes.
•Modelar un sistema usando redes de Petri tienen tres ventajas potenciales:
• El sistema completo es a menudo más fácil de entender debido a la naturaleza gráfica y precisa
del esquema de representación.
• El comportamiento del sistema puede ser analizado utilizando la teoría de las redes de Petri, que
incluye herramientas para el análisis tales como los árboles de marcados y establece relaciones
entreciertas estructuras de redes y el comportamiento dinámico. Pueden aplicarse también
técnicas para la verificación de programas paralelos.
• Puesto que las redes de Petri pueden sintetizarse usando técnicas "bottom-up" y "top-down”, es
posible diseñar automáticamente sistemas cuyo comportamiento es conocido o fácilmente
verificable.

Redes de Petri
Principios Básicos
Las redes de Petri son ungrafo orientado formado por:
•Plazas o lugares, representadas mediante circunferencias.
•Transiciones, representadas por segmentos rectilíneos.
•Arcos dirigidos que unen transiciones y plazas.

Redes de Petri
Programación concurrente
• Transiciones: representan los procesos del programa.
• Plazas: representan las condiciones necesarias para que un proceso
se ejecute.
• Arcos dirigidos: relacionancondiciones y procesos.
• Testigos: si están presentes en una plaza, indican que se verifica la
condición que representa esa plaza.

• Elementos Básicos De Un GRAFCET.
•

Un GRAFCET se compone de tres elementos básicos y estos son las etapas,
transiciones y sus uniones, en la figura 1.1 se puede observar las etapas y simbología.

Elementos básicos de un GRAFCET

• Las Etapas de un Grafcet
•

Unaetapa se corresponde con un funcionamiento invariante del automatismo.
Si vemos el ejemplo de la figura 1.1, una etapa puede ser “cargar pieza” o bien
“bajar taladro”.

•

Gráficamente la Etapa, se representa por un cuadrado que se numera en su
interior, dando de esta manera una secuencialidad a las etapas representadas.
Igualmente, la numeración puede representarse por la letra E con un número...