Este documento presenta el programa Petrilab 1.0, el cual permite modelar sistemas utilizando redes de Petri y convertirlas a diagramas de escalera. Explica conceptos básicos de redes de Petri, su representación gráfica y reglas de evolución. Luego describe las funciones del software como insertar lugares, transiciones y arcos, editar sus propiedades, simular la red y convertirla a un diagrama de escalera. Finalmente incluye un caso práctico para ilustrar el uso del programa.

1. REDES DE PETRI Y PETRILAB 1.0
Ing Cataldo Asaro Bustamante
Email:profe.cataldo@gmail.com
01/06/2020
Decanato de Ingenieria UFT
Cabudare_Edo Lara

2. REDES DE PETRI Y PETRILAB 1.0

3. PETRILAB
HTTP://SOURCEFORGE.NET/PROJECTS/PETRILAB/
CREADO POR ANDERSON LINHARES DE SOUZA @ UFRJ

4. Redes de Petri
• Una Red de Petri (RdP) es una herramienta
matemática (con representación gráfica asociada)
que permite modelar el comportamiento de
sistemas de muchos tipos, estando especialmente
indicada para la descripción de sistemas lógicos
secuenciales y concurrentes.
• Consiste en un grafo orientado, con dos clases de
nodos (Lugares y Transiciones) unidos por Arcos. Los
Lugares se representan gráficamente con círculos,
las Transiciones con segmentos del línea.
Lugar Arco Transición

5. • Un Lugar puede contener un número de Marcas positivo o
nulo (cada Marca se representa gráficamente por un
punto en el Lugar). El número de marcas tambien se
puede representar por un número entero.
• El conjunto de Marcas asociado, en un instante dado, a los
lugares, constituye un marcado de la Red de Petri.
• Para la descripción funcional de la RdP, se realizan las
siguientes asociaciones:
• » Lugares: acciones o salidas.
• » Transiciones: eventos

6. • La dinámica de comportamiento se representa
mediante la evolución del marcado de la RdP.
• Las reglas básicas para dirigir la evolución del marcado
son:
1. Un lugar Li es de entrada a la transición Tj, si existe un
arco orientado de Li hacia Tj.
2. Un lugar Li es de salida de la transición Tj, si existe un
arco orientado de Tj hacia Li.
3. Una transición está sensibilizada si todos sus lugares
de entrada están marcados.
4. Una transición sensibilizada es disparada (o
franqueada) si el evento que tiene asociado y la
condición asociada se verifican.

7. DISPARO DE TRANSICIONES
EN PETRI

8. DIFERENTES TIPOS DE ARCOS
EN RDP
Arco Ordinario,T1
dispara ya que
M(p1)>2
Arco
Habilitador,T1
dispara ya que
M(p1)>2, pero p1
no pierde marcas
Arco Habilitador
con flanco +,T1
dispara cuando
M(p1) pasa de 1 a
2 marcas
Arco Inhibidor,T1
dispara ya que
M(p1)<3
Arco Inhibidor con
flanco -,T1 dispara
cuando M(p1) pasa
de 4 a 3 marcas

9. DIAGRAMA DE CONTROL CON
SET PRIORITARIO+RDP+
ESCALERA(LADDER)
DEDUCCION.-
S = En-1. Tn-1 ; R = En .Tn = En+1 ; R' = ( En)'
+( T n )' (2.4.3)
La ecuación general es: Q = S + Q.R'.
Donde R' se conoce como desenclavador.
Sustituyendo valores se obtiene;
En = En-1.Tn-1 +En.(En.Tn)' , al simplificar
queda,
En = En-1.Tn-1 +En.(En)' + En. (Tn)' (2.4.4),
donde En.En'= 0

10. ARQUITECTURAS MAPEO
DIRECTO 1/
Arquitectura Secuencial
Arquitectura Divergencia
en OR
Arquitectura Convergencia
en OR

11. Arquitectura Convergencia
en AND
Arquitectura divergencia
en AND
MAPEO DIRECTO
2/

12. MAPEO DIRECTO
3/

13. MAPEO DIRECTO
4/

14. MAPEO DIRECTO
5/

15. EJEMPLO DE APLICACIÓN DE LA
METODOLOGÍA A UN PROCESO SIMPLE
t0 t1 t2 t3
-1 0 0 1 P0
1 -1 0 0 P1
0 1 -1 0 P2
0 0 1 -1 P3
A3
A4
A5
A0
A1
A2
A5
A5
MATRIZ DE INCIDENCIA
SEMAFORO TUNEL
MODELO RDP
DIAGRAMA DE ESCALERA

16. INTERFACE DEL
PROGRAMA

17. INSERCION DE UN
LUGAR/TRANSICION
AL PULSAR SOBRE LA TRANSICION ESTA
ROTA 90 GRADOS

18. ARCO SE PUEDE TRAZAR AL HACER CLIC SOBRE EL PULSO
Y LUEGO SE TOCA LA TRANSICION Y LUEGO EL LUGAR O
VICEVERSA. ESTO TRAZA EL ARCO
INSERCION DE UN ARCO

19. ARCO INSERTADO, ARCO DE SEGMENTO A INSERTAR Y
ARCO DE SEGMENTO INSERTADO
INSERCION DE UN ARCO

20. ESTE TIPO DE ARCO NEUTRALIZA O INHABILITA LA
TRANSICION HACIA LA CUAL SE COLOCA EL CIRCULITO.
INSERCION DE UN ARCO
INHIBIDOR

21. EL EVENTO SE REPRESENTA POR UN PULSO QUE PUEDE
SER ASCENDENTE O DESCENDENTE.
INSERCION DE UN
EVENTO

22. ES UN ELEMENTO QUE SE ACTIVA AL PULSAR SOBRE EL Y
SE DESACTIVA AL VOLVER A PULSAR. LAS CONDICIONES Y
LOS EVENTOS SE VAN AGREGANDO EN LAS BARRAS
VERTICAL IZQDA Y SUPERIOR.
INSERCION DE UNA
CONDICION

23. ESTE TIPO DE ARCO NEUTRALIZA O INHABILITA LA
TRANSICION HACIA LA CUAL SE COLOCA EL PEQUEÑO
CIRCULO.
INSERCION DE UN ARCO
INHIBIDOR

24. ESTE TIPO DE ELEMENTO AGREGA UNA ACCION
IMPULSIONAL EN LA BARRA DE LA DERECHA. SE ASOCIA
A UN LUGAR DE LA RED DE PETRI.
INSERCION DE UNA
ACCION IMPULSIONAL

25. AL PULSAR SOBRE EL LUGAR PODEMOS EDITAR EL
NOMBRE, CANTIDAD DE MARCAS Y ACCION ASOCIADA A
EL. SE PUEDEN ASOCIAR VARIAS ACCIONES A UN LUGAR
EDICION DE UN LUGAR

26. AL PULSAR SOBRE EL PODEMOS EDITAR EL EVENTO QUE
LO ORIGINA, LA CONDICION QUE DEBE CUMPLIRSE Y EL
RETARDO DE TIEMPO QUE PUEDE SER NULO. SI
OMITIMOS EVENTO Y CONDICION SOLO TEMPORIZA.
EDICION DE UNA
TRANSICION

27. AL PULSAR SOBRE EL PODEMOS EDITAR EL PESO DEL
ARCO.
EDICION DE ARCOS
NORMALES E
INHIBIDORES

28. EN EVENTO PODEMOS EDITAR NOMBRE Y
ACCION(SUBIDA O BAJADA) . EN LOS OTROS SOLO
PODEMOS EDITAR EL NOMBRE
EDICION DE
EVENTOS,CONDICION Y
ACCION

29. AL PULSAR SOBRE EL Y MANTENER EL CLIC, PODEMOS
MOVER EL ELEMENTO A TRAVES DE LA PANTALLA
MOVER ELEMENTOS

30. AL PULSAR SOBRE UN ELEMENTO PODEMOS BORRARLO
AL HACER CLIC SOBRE EL ENVASE DE BASURA.
REMOVER ELEMENTOS

31. AL PULSAR SOBRE LA FLECHA VOLVEMOS AL MODO
SELECCION
MODO SELECCION

32. SE ACTIVAN AL PULSAR SOBRE ELLOS.LA ACCION
PERMANECE ACTIVA POR UN SEGUNDO CUANDO SE
ACTIVA EL LUGAR QUE LA CONTIENE
EVENTOS,CONDICIONES
Y ACCIONES

33. LOS ROTULOS SE PUEDEN ACTIVAR O DESACTIVAR EN EL
MENU EXIBIR
ROTULOS

34. SE ACTIVA CON EL TRIANGULO RELLENO Y SE DESACTIVA CON EL
CUADRADO RELLENO
SIMULAR UNA RED DE
PETRI (RDP)

35. LA EVOLUCION SE OBTIENE AL PULSAR SOBRE LOS EVENTOS Y AL
ACTIVAR LAS CONDICIONES
EVOLUCION DE LA RDP

36. PARA CONVERTIR DE RDP E ESCALERA , ESTANDO EN LA
RED DE PETRI HACEMOS CLIC EN EL RECUADRO LAD Y
ESTO GENERA AUTOMATICAMENTE EL ESCALERA.
CONVERSION DE RDPIC A
ESCALERA (LADDER)

37. AL PULSAR SOBRE EL MENU DIAGRAM LE DAMOS A
SALVAR
SALVAR UN DIAGRAMA
DE ESCALERA

38. PULSAMOS DEBAJO DE EDITAR EL SIMBOLO
COMBINADO DE LUGAR Y TRANSICION.
SALVAR UNA RDP
(GRAFO)

39. PULSAR SOBRE EL MENU ARCHIVO Y SELECCIONAR LA
ACCION REQUERIDA
MENU NUEVO, ABRIR Y
SALVAR

40. PULSAR LA SECUENCIA DE TECLAS PARA ATAJOS
LISTA DE TECLAS PARA
COMANDOS RAPIDOS

41. PULSAR SOBRE PETRILAB.PYW PARA EJECUTAR EL PROGRAMA Y
LUEGO SE ABRE EJEMPLO 1 CLASES.PL EN MENU ARCHIVO/ABRIR
CASO PRACTICO
PROGRAMA PETRILAB
1.0

42. AL ABRIR EL ARCHIVO SE DESPLIEGA LA RED DE PETRI Y LUEGO AL
PULSAR SIMULACION PODEMOS IR AVANZANDO EN LA RED
PULSANDO SOBRE LOS EVENTOS Y CONDICIONES.
ABRIR FILE EJEMPLO 1
CLASES.PL

43. PULSAR SOBRE LAD Y OBTENEMEOS EL DIAGRAMA DE
ESCAALERA
CONVERSION A LADDER

44. Discusión
• Qué podemos
aprender
• Procedimientos
recomendados
• Conclusiones

45. Resumen
• Defina sus retos
– Tecnológico y personal
• Establezca expectativas realistas
– El dominio no se logra de la noche a la mañana
• No pierda de vista su objetivo
– Aprender a convertir de RdP a diagramas de
escalera(Ladder)

46. Recursos
• <Texto del sitio de intranet aquí>
<hipervínculo aquí>