UNIDAD 2

herramientas de modelado
para Sistemas en Tiempo Real

Redes de Petri
 1. Definición General RdP

1. Componentes de una
RdP

1. Marcación y Rdp
Contenido Marcada

1. Definición Formal de la
Rdp

1. El cambio de estados

1. Reglas de Disparos o
Ejecucion.
 Definición Red de Petri
Es un modelo gráfico, formal y abstracto para describir y analizar el flujo de
información.

Herramienta matemática para modelar concurrencia, no determinismo,

comunicación y sincronización.

Permite mostrar la información importante sobre su estructura y comportamiento

dinámico.

Pueden considerarse como generadores de lenguaje o autómatas formales asociados a

la teoría de grafos.

Las redes de Petri sonrepresentaciones graficas quepermiten modelar sistemas con flujode información,
mostrando lainformación importante sobre suestructura y comportamiento dinámico.Pueden considerarse
comogeneradores de lenguaje o autómatasformales asociados a la teoría degrafos.Por sus características,
son de granutilidad para el diseño, especificación ysimulación de sistemas de hardware osoftware; permiten
representarprocesos concurrentes ymodelamiento matemático del sistema
 Componentes Red de
El grafo contiene nodosPetri
que pueden ser de dos tipos:
Lugares y Transiciones
Transiciones Lugares/(Plazas: Place)
son dibujados como son dibujados como
barras y se usan para círculos y se usan para
representar Eventos representar Estados o
Condiciones.
Token (marca/Cospel):
se representa por un
punto dentro de un
Los arcos unen lugares y
estado, que se ubican transiciones.
dentro de cada lugar.
 Los arcos dirigidos
O Si un arco va desde un lugar a
una transición, al lugar se lo
llama input place (lugar de
entrada)= I de la transición.

O Si un arco va desde una

transición a un lugar, al lugar se
lo llama output place (lugar de
salida)= O de la transición.

O Cada arco, posee un número

(positivo) que indica su peso, el
cual determina la cantidad de
marcas que consume de un lugar o
deposita en un lugar, siempre y
cuando se haya disparado una
transición habilitada.
 Marcación
O Una marcación
(marking) consiste en
asignar un número
entero no negativo de
tokens a cada lugar.

O Una marca en un lugar

muestra en que
secuencia del sistema
se encuentra.

O Se utilizan para mostrar

la evolución de la red.

O Los lugares que

contienen marcas se
consideran activos.
Red de Petri marcada
O El marcado inicial de una RP son
las marcas que posee cada lugar
de la red en su inicio.
O La marcación (M) de una RP es una
función del conjunto de lugares
P al conjunto de Enteros no
negativos,
M: P N que asigna cospeles a
los
lugares de red dónde M puede
definirse
como un vector de dimensión
P: m =(m1,m2, …, mp).
O La marcación inicial se
denomina Mo.
Para el ejemplo de la Fig. de arriba
P1=1; P2, P3, P4 y P5= ninguno o
sea = 0
entonces Mo = [1 0 0 0 0].
 Definición Formal RdP
Una Red de Petri es un multigrafo bipartito dirigido
representado por una quintupla:RP= (P, T, I, O,
W)

1.P = {p1, p2, …, pn} es un conjunto finitos de lugares,

n≥0
2. T = {t1, t2, …, tm} es un conjunto finito de transiciones,
m≥0
Los conjuntos P y T son disjuntos P∩T=∅ y P ∪ T≠∅
3. Un función de entrada (Input) I : P X T N
Es la función que especifica los lugares de entrada de la transición
con N=1, 2… / Arcos: (pi, tj)
4. Una función de salida O (Output): O: T X P N
Es la función que especifica los lugares de salida de la transición con
N=1, 2… /Arcos: (tj, pi)
5. W:F→{1, 2, 3, …} es una función de pesos de los arcos.
Donde F⊆ (P×T) ∪ (T×P) es un conjunto de arcos dirigidos.

Nota: ⊆ significa que cada elemento de F es también elemento de PxT y TxP

Consigna: Definir para la siguiente RdP los conjuntos de P, T
I, O y la Mo
p1 • • p2
t1 t2
p3
p4 p5
•

t3 t4
p6 p7

t5 t6
 p1
• • p2 Resultado de la definición
RdP
t1 t2 P = {p1, p2, p3, p4, p5, p6, p7}
p3 T = {t1, t2, t3, t4, t5, t6}
p4 p5
• I(t1) = {p1} O(t1) = {p4}
I(t2) = {p2} O(t2) = {p5}
I(t3) = {p3, p4} O(t3) = {p6}
t3 t4
I(t4) = {p3, p5} O(t4) = {p7}
p6 p7
I(t5) = {p6} O(t5) = {p1, p3}
I(t6) = {p7} O(t6) = {p2, p3}

t5 t6
Mo = (1, 1, 1, 0, 0, 0, 0)
 El Cambio de Estado
Se indica por el
movimiento del TOKEN
de lugar(es) a lugar(es);
es causado por el
disparo de una
transicion.

El disparo representa
un evento ocurrido o
una acción tomada.

El disparo está
supeditado a las
condiciones de
entrada, denominada
como
disponibilidad de
marcado.
Ejemplo: Máquina Expendedora (3
Casos)
O Caso 1:
O Deposita 5c, deposita 5c, deposita 5c,
deposita 5c, compra producto de 20c.
O Caso 2:
O Deposita 10c, deposita 5c, compra
producto de 15c.
O Caso 3:
O Deposita 5c, deposita 10c, deposita
5c, compra producto de 20c.
(C) Copyright
2001, Chris
Ling
 Ejemplo: Máquina Expendedora
(Evolución) El disparo está
El disparo supeditado a las
representa un condiciones de
evento ocurrido o entrada,
una acción tomada. denominada como
disponibilidad de
marcado.
Compra 15c
Dep. 10c
15c
Por
movimiento
el
del
5c
TOKEN de lugar(es)
a lugar(es); es
Dep. 5c
causado por el
disparo de una
transicion.

Dep. 5c Dep. 5c
0c Dep. 5c

Dep. 10c
10c 20c
Dep. 10c
Compra 20c (C) Copyright
2001, Chris
Ling
Reglas de disparo o
ejecución
1.Una transición puede disparar si está habilitada o
sensibilizada.

Una transición está habilitada por una marcación dada cuando cada
uno de los lugares de entrada a dicha transición contiene un
número de marcas ≥ que el peso del arco que vincula el lugar con
las transiciones.
Ejemplo: T1 y T3;
P1

T1 P1=1 ≥ 1 => T1 sensibilizada

P3=2 ≥ 1 => T3 sensibilizada
P2 P3

T2 T3

P4 P5

T4
Reglas de disparo o
ejecución
2. Una transición
sensibilizada puede ser
Disparada y es este disparo el
que modifica la marcación.

Un disparo está compuesto por 2

operaciones instantáneas e
indivisibles:

1°. a cada lugar de entrada de la

transición le es quitado un número
de marcas igual al peso del arco que
une el lugar con dicha transición.

2°. a cada lugar de salida de la

transición se le agrega un número de
cospeles = al peso del arco que une
la transición con el lugar.
 ESTRUCTURAS BÁSICAS
Si dos o más transiciones tienen un lugar de entrada en
común y el disparo de una de ellas inhabilita/insensibiliza a la
otra se dice que dichas transiciones están en conflicto.

Si disparo T1deja de ser sensibilizada T 2

o si disparo T2 deja de serlo T1.
Esto se denomina Transición en Conflicto

Es decir, ambas transiciones están sensibilizadas

simultáneamente por el mismo lugar de entrada
 ESTRUCTURAS BÁSICAS
o Conflicto
p1 p2
t3 y t4 habilitadas y
t1 t2 el disparo de una
p3 deshabilita la otra
p4 p5
• • • => en conflicto

ambas
t3 t4 transiciones
p6 p7 están
sensibilizadas
simultáneamente
por el mismo
t5 lugar de entrada
t6
P3
ESTRUCTURAS BÁSICAS
O Elección, decisión: Elegir entre seguir
t1, t2 ... O t3, t4,…

t1 t2

t3 t4
 Red: Estructuras
Básicas
O Secuencia de eventos/acciones:

e1 e2 e3

(C) Copyright
2001, Chris
Ling
 Red: Estructuras
Básicas
O Concurrencia: es un conjunto de procesos
autónomos que se ejecutan en paralelo.

e2 e3

e1
(C) Copyright
2001, Chris
e4 e5 Ling
 ESTRUCTURAS BÁSICAS
Herramienta matemática para modelar
p1 concurrencia
p2
• • t1 y t2 habilitadas
t1 t2
y el disparo de
p3 una No
p4 p5 deshabilita la
•
otra
=> concurrentes
t3 t4
p6 p7

t5 t6
 ESTRUCTURAS
BÁSICAS
Herramienta matemática sincronización
O Sincronización: ocurre cuando dos o mas Procesos
concurren o se unen. Este es un caso para unir o
ensamblar Tokens que vienen de diferentes caminos en
paralelo.

e1

Sincronizar: Satisfacer las restricciones en el enlazado de las acciones de los distintos

procesos
 ESTRUCTURAS
concurrencia
BÁSICAS
Herramienta matemática para modelar sincronización y

O Sincronización y Concurrencia

e1

(C) Copyright
2001, Chris
Ling
 Subestructuras
En (a) se ilustra como especificar un conjunto de condiciones que se
deben cumplir para iniciar una actividad o proceso;

En (b) muestra que es posible llegar a una misma situación por

diferentes caminos.

a)
b)
 Subestructuras
En (c) ilustra una situación de toma de decisiones,

En (d) describe como se puede iniciar varias actividades

simultáneamente

c) d)
 Ejecución de una Red
de Petri
La secuencia de disparos dada es una de las posibles
secuencias, no es la única.

El modelo es no determinístico, en el sentido que

dado un marcación inicial M0 distintas evoluciones de
la red son posibles.
Ejecución de una Red de
p1 Petri p2
• • M0 = (1, 1, 1, 0, 0, 0, 0)

t1 t2 t1 y t2
p3
p4 p5
• están
habilitadas.
t3 t4
¿Por qué t3 y t4 No
p6 p7
están habilitadas.?

t5 t6
 Ejecución de una Red de
p1 Petri p2
• M0 = (1, 1, 1, 0, 0, 0, 0)

t1 M1 = (0, 1, 1, 1, 0, 0, 0)
t2
p3
p4 p5
• •
•secuencia de
disparos: (t1)
t3 t4
p6 p7 •t2 y t3 quedaron
habilitadas.

t5 t6
 Ejecución de una Red de
p1 Petri p2 M = (1, 1, 1, 0, 0, 0, 0) 0

M1 = (0, 1, 1, 1, 0, 0, 0)
t1 t2
M2 = (0, 0, 1, 1, 1, 0, 0)
p3
p4 p5
• • •

t3 t4 •secuencia de
p6 p7 disparos: (t1,t2)
•t3 y t4 quedaron
habilitadas.
t5 t6
 Ejecución de una Red de
p1 Petri p2
M0 = (1, 1, 1, 0, 0, 0, 0)
M1 = (0, 1, 1, 1, 0, 0, 0)
t1 t2
p3 M2 = (0, 0, 1, 1, 1, 0, 0)
p4 p5
• M3 = (0, 0, 0, 1, 0, 0, 1)

t3 t4
p6 p7 •secuencia de
• disparos: (t1,t2,t4)
•t6 quedó
t5 t6 habilitada.
 Ejecución de una Red de
p1 Petri p2 M = (1, 1, 1, 0, 0, 0, 0)
• 0

M1 = (0, 1, 1, 1, 0, 0, 0)
t1 t2
p3 M2 = (0, 0, 1, 1, 1, 0, 0)
p4 p5
• • M3 = (0, 0, 0, 1, 0, 0, 1)
M4 = (0, 1, 1, 1, 0, 0, 0)

t3 t4
•secuencia de
p6 p7
disparos:
(t1,t2,t4,t6)
t5 t6 •t2 y t3 quedaron
habilitadas. ...
 REDES DE PETRI
INTERPRETADAS
Para que una RdP pueda representar un sistema , hace falta

asociarle una interpretación

Se define por un lado:

1. El significado físico de las condiciones necesarias

para el disparo y

2. Por el otro lado, las acciones generadas por la

evolución del marcado. (Lugares y Transiciones)

 REDES DE PETRI
INTERPRETADAS
Para modelar automatismos la estructura recibe las señales

producidas por eventos externos a la red como son los que

producen los sensores, y produce señales al exterior de la

Red que son acciones de control.

Esta interpretación asocia señales externas a las transiciones

y las acciones de control a los lugares

REDES DE PETRI INTERPRETADAS
Definición: Una red de Petri Interpretada
<RdPI> es:una red de Petri Marcada <RdPI>
= (RdP,M0)
O un conjunto de entradas o señales externas
X = {x1, x2, x3,…… xn}
O un conjunto de salidas o acciones de control
Y = {y1, y2, y3,…… ym}
O Un conjunto de condiciones de disparo
asociado a las transiciones C = {c1, c2, c3,……
cn} es el subconjunto de estados de las
variables de entrada
O También se define un conjunto de eventos
Ei en donde cada evento representa el cambio
 REDES DE PETRI
INTERPRETADAS
Por convenio se hacen las siguientes
asociaciones:
O Los eventos Ei y las condiciones externas Ci se
asocia con las Transiciones
O Las salidas Yi se asocia a los Lugares.

Una Red de Petri Interpretada se define

como:
OUna RdP Marcada <R M0>
OUna Aplicación de T en E, que asocia a cada
transición un evento Ei
OUna Aplicación de T en C, que asocia a cada
transición una condición externa Ci
OUna Aplicación de PxC en Y , que a los lugares
(representados por P) les asocia salidas
 REDES DE PETRI
INTERPRETADAS
Algunas Especificaciones.

OLa acción asociada a un lugar se produce cuando

una marca se deposita en el lugar y se mantiene
mientras permanezca la marca.

OUna transición se dispara si esta sensibilizada y

el evento asociado tiene el valor lógico verdadero
(1).

OLa función de estado de la RdPI esta

representada por el marcado en cada lugar de la
red.

OEl movimiento de las marcas entre los lugares

representa la evolución de la red.
 Ejemplo de Aplicación

Considere un sistema que debe controlar el

movimiento de un carro C.
OEl carro se encuentra detenido sobre el fin de
carrera A.
O Al pulsar el botón M, el carro se debe desplazar
hacia la derecha gracias a la acción de un motor,
usando el riel d.
OAl llegar al contacto B, el carro vuelve a A por la
acción del motor y utilizando el riel i.
OCuando el carro vuelve al tope A, se para si M no
 RdPI del ejemplo
Los elementos a utilizar son:
OUn conjunto de entradas del sistema.
¿De qué se tiene que enterar el
sistema?:
X={M,A,B}(pulsar botón, llega a A, llega
aB)

OUn conjunto de salidas del sistema

Y={ I,d } (mueve a izq. O mueve
derecha)

OUn conjunto de Condiciones Externas

(subconjunto de entradas)
C=M pulsar boton → se repite el ciclo,
sino para.

Entonces los Estados de la Red son

Estado1: reposo/parado; Estado2: mueve
a derecha ;Estado 3 :mueve a izquierda .

El conj. de eventos E={pulsar botón, llega a