4.

Autonomous
Continuos and Hybrid
Petri Nets
 4.1. Redes de Petri
autónomas continuas
4.1.1.De Redes de Petri Discretas a
Redes de Petri Continuas
• Tomemos una red de Petri Discreta, ordinaria o generalizada,
apliquémosle una transformación que consiste en dividir cada marca
en k partes iguales, esta nueva red será denotada por R’(k) y m’(k).

• Usaremos la palabra marca para el marcado inicial de la red, cada

marca es dividida entre k y la nueva unidad que es una kesima parte
de marca, es llamada token.

• En la figura mostrada en la siguiente diapositiva vemos la

transformación de la figura b a la c, en la cual el marcado esta
representado en tokens, la red tiene k=4 y posee todas las
características de una red discreta regular.
Notaciones

• [T1T2] que corresponde al disparo simultáneo de T1 y T2 (una vez

cada una).

• Como (T1)2 = T1T1, un disparo doble de T1 puede ser denotado por

[(T1)2] = [T1T1].

• Notacion 4.1. Sea [Tj]α = [(Tj) α], donde α es un número no negativo,

denota el disparo de Tj, α veces simultáneamente (at one go).
Graficando los marcados alcanzables
4.1.2. Definición
Definición 4.1. Una red de Petri marcada autónoma continua es una 5-tupla R=(P, T, Pre, Post, m0)
tal que:

P={P1, P2, …, Pn} es un conjunto finito no vacío de lugares

T={T1, T2, …, Tn} es un conjunto finito no vacío de transiciones
P  T= 
Pre: P x T  Q+
Post: P x T  Q+
m0: P  R+ es el marcado inicial

Definición 4.2. En una red de Petri continua, el grado de habilitación de una transición T j para el
marcado m, denotado por q(Tj, m) es el número real q tal que:
m( Pi )
q = min
i:Pi T j Pr e( Pi , T j ) (4.1)

Si q>0, la transición Tj está habilitada, se dice que está q-habilitada.

Q+: Números racionales positivos

 Macro-marcados

• Definición 4.3. Sea mk un marcado. El conjunto P de

lugares se divide en 2 subconjuntos:

• P+(mk) el conjunto de lugares de Pi tal que mk(Pi)>0,

Y
• P0(m) el conjunto de lugares de Pi tal que mk(Pi)=0.

• Un macro-marcado es la unión de todos los marcados

mk con el mismo conjunto P+(mk) de lugares marcados y
será denotado por m*j.
Propiedad 4.1. El número de macro-marcados
alcanzados de una red continua de n-lugares es
menor igual que 2n

• Esta propiedad es una consecuencia directa de la

definición 4.3, ya que cada macro-marcado está
basado en un estado booleano de cada lugar:
marcado o no marcado. El número de macro-
marcados es necesariamente finito (aún si la red de
Petri no es acotada) porque el número de lugares es
finito.
Ejemplo de macro-marcado

• El conocimiento del conjunto de los lugares marcados (conocimiento

del macro-marcado) es suficiente para conocer el conjunto de
transiciones habilitadas.
 Eventos continuos
• Propiedad 4.2. En una red de Petri continua, un cambio de
macro-marcado y por lo tanto un cambio en el conjunto
de transiciones habilitadas, puede ocurrir solo si un
evento que pertenece a uno de los siguientes tipos ocurre:

• C1-Evento: el marcado de un lugar marcado se vuelve 0.

• C2-Evento: un lugar desmarcado se vuelve marcado.

4.1.3. Alcanzabilidad y Conjuntos
4.1.3.1. Grafo de alcanzabilidad

• Cuando una red de Petri continua es obtenida de una red de Petri discreta,
tal que permanece el mismo Pre, Post y marcado inicial, la RP discreta de la
que se obtiene la continua es llamada la contraparte discreta de la RP
continua y viceversa.

• Analicemos la alcanzabilidad de la red de Petri continua mostrada abajo:

Figure 4.4. (a) Continuos Petri net. (b)Reachable markings

for Figure a and for its discrete counterpart
Figure 4.5. Reachability graph for the continuos
PN in Figure 4.4a.
◼Espacio de alcanzabilidad M(m0) como el conjunto de marcados alcanzable
desde m0 por una secuencia de disparo finita {T1, T2, …, Tn}.
Propiedad estructural relevante
también para PN continuas
• La red anterior tiene un P-invariante:

x=(3,3,2)

que de acuerdo con el marcado inicial

m0 =(2 , 0, 0) obtenemos el marcado invariante:

3m1 + 3m2 + 2m3 = 6 (4.3)

 4.1.3.2. Secuencia de disparo y Espacio de
Alcanzabilidad.
• Sea ma un marcado alcanzable desde m0 y [T1]x[T2]y para el ejemplo anterior.

• Si ma = (0.3, 0.7, 1.5), entonces las cantidades de disparo son x=1.2 y y=0.5.
S1=[T1]1.2[T2] 0.5

• Obviamente hay otras secuencias de disparo que la mencionada arriba que llevan de
m0 a ma (su número es infinito)

• Por ejemplo S2=[T1]0.6[T2] 0.25[T1] 0.6[T2] 0.25 .

• La ecuación fundamental:

mk=mi + W * s

es verdadera para una red de Petri continua, lo único que cambia es que s es un
vector de números reales.
• Notaciones
Notación 4.2.
a) Sea [Uj] o [Uj]α un disparo at one go (disparo OG), el disparo
simultáneo de varias transiciones. El mismo disparo OG tiene
varias expresiones:
[(T1)x (Tj)y ] α = [(T1)xα (T2)yα ]

Una secuencia de disparo debe ser escrita como:

S= [U1][U2]…[Uk]

El número k de disparos OG es la longitud de la secuencia de

disparo

• αS= [U1]α [U2]α…[Uk]α , α  R+

• Sα = ([U1] [U2]…[Uk])α , α  N

• El concepto de OG-Disparo podría ser usado para PN discretas.

 Secuencias de disparo
• Recordatorio 4.2.
a) Dada una red de Petri continua, el conjunto L(m0) (Lenguaje) de
secuencias de disparo finitas desde m0 es un conjunto infinito (excepto si
m0 es un deadlock) el cual es un subconjunto de (Uj)*.
a)Ejm: Uj = [T2]2 : [T2]1 [T2]1, [T2]1.5 [T2].5

b) αS = Sα si la longitud de S es 0 o 1:
a)Ejm: α = α =  (longitud 0)
b)Ejm: α[U1] = [U1] α (longitud 1)
S
• Propiedad 4.3. Sea S= [U1] [U2]…[Uk] tal que m0 →mk.

a) Para cualquier m0’≥m0, S es disparable desde m0’.

S

b) Para cualquier α ≥ 0, αS es disparable desde m0’ = αm0 y m0 → mk

c) Si 0 ≤ α ≤ 1, entonces αS es disparable desde m0.

 Prueba propiedad 4.3. Para cualquier m0’≥m0, S es disparable
desde m0’.

• Sean m1 , m2, … marcados que denotan los marcados

alcanzados desde m0 después de los disparos de [U1] [U2]…, y
sea uj el vector característico asociado con [Uj].

• Sea m0’ = m0 + m1 donde m1 es un vector de marcado que

utilizamos para lograr que m0’ ≥ m0.

• El marcado m1 se congela.

• Se dispara S.
Prueba propiedad 4.3. Para cualquier α ≥ 0, αS es disparable
desde m0’ = αm0 y S
m → m0 k

• Si [U1] es disparable desde m0, [U1]α es disparable desde αm0, ya

que q(Ti, αm0) = α * q(Ti, m0) para cada transición Ti.

• Después de disparar [U1]α desde m0’ = αm0, m1’ es alcanzado:

m1’ = αm0 + W * αu1

Como m1 = m0 + W * u1, m1’ = αm1 y la propiedad se muestra por

iteración.

c) Consecuencia directa de a y b.
 Espacio de alcanzabilidad
• Propiedad 4.4. El espacio de alcanzabilidad de una red
de Petri marcada continua es un conjunto convexo.

¿Qué es un conjunto convexo?

◼Conjunto Convexo: Un conjunto S en un espacio

vectorial sobre R es convexo si el segmento de línea
que une cualquier par de puntos de S se encuentra
enteramente en S.
4.1.3.3. Conflictos

a) Disparos a partir del marcado inicial

b) No hay conflicto entre T1 y T3. Todos los OG-Disparos [(T1)x(T3)y] tal que x ≤ m1 y y ≤
m3/3 son posibles.

c) Considere ahora el disparo simultáneo de T1 y T2. Su disparo no es independiente por

que hay un conflicto general <P1,{T1,T2},m>. Todos los OG-Disparos [(T1)x(T2)y] tal que x
≤ m1, y ≤ min(m1,m2), y x + y ≤ m1 son posibles.

d) Todos los posibles OG-Disparos [(T1)x(T2)y(T3)z] desde m corresponden a la unión del

paralelogramo y trapezoide (Fig (b),(c))
4.2. Redes de petri
autónomas híbridas
 ¿Para qué híbridas?
• Redes continuas son particularmente adecuadas para modelar flujos: Flujos
de líquido o la producción continua de una máquina.

• Pero este flujo puede ser interrumpido de repente por: cerrar una válvula o
que se descomponga la máquina.

• Esta situación puede ser modelada por una red Híbrida conteniendo lugares
y transiciones continuas y lugares y transiciones discretas.

• El marcado de un C-Lugar es un número real (Marca).

• El marcado de un D-Lugar es un punto (Token o marcas).

4.2.1. Presentación intuitiva

Figure 4.7.

• El comportamiento de una parte continua influenciado por una parte discreta.

• El comportamiento de una parte discreta influenciado por una parte continua.

• Un marcado discreto convertido en un marcado continuo.

• Un marcado continuo es convertido en un marcado discreto.

NOTA: Las conversiones (de marcados continuos a discretos o viceversa) son

hechos a través de D-Transiciones (T7 y T9)
 Figure 4.8.

(a) Sistema de producción.

• Los lazos P2→T5→P2 y P6→T3→P6 muestran la influencia de un D-
Lugar en una C-Transción y viceversa.

(b) Llenado de botellas.

4.2.2. Definición.
Definición 4.4. Una Red de Petri híbrida autónoma marcada en una sextupla R=<P,T,Pre,Post,m0,h> con las
siguientes condiciones:

P={P1,P2,…,Pn} es finito, no vacío, conjunto de lugares;

T={T1,T2,…,Tn} es finito, no vacío, conjunto de transiciones;

P∩T=Ø;

h: P U T → {D,C}, llamada función híbrida , indica para cada nodo si este es un nodo discreto (Conjunto P D y
TD) o uno continuo (Conjunto PC y TC);

Pre: P x T → Q+ o N es la aplicación de incidencia de entrada.

Post: P x T → Q+ o N es la aplicación de incidencia de salida.

m0: P → R+ o N es el marcado inicial.

Nota: Las funciones Pre y Post deben tener el siguiente criterio: Si Pi y Tj son tales que Pi Є PD y Tj Є TC,
entonces Pre(Pi,Tj)=Post(Pi,Tj). (Esto asegura que el marcado de D-Lugares sea un entero
independientemente de la evolución del marcado).
 Habilitación para transición discreta
Definición 4.5. Una transición discreta en un RP híbrida está
habilitada si cada lugar Pi en oTj cumple con la condición:

m(Pi) ≥ Pre(Pi,Tj).
Notas:
• Esta definición no distingue si Pi es un D-Lugar o un C-Lugar.
• La interpretación de un C-Lugar puede ser como una condición de
habilitación relacionada a un umbral que debe tener un C-Lugar.
 Habilitación para una transición continua
Definición 4.6. Una transición continua en un RP híbrida está
habilitada si cada lugar Pi en oTj cumple con la condición:

m(Pi) ≥ Pre(Pi,Tj), si Pi es un D-Lugar,

m(Pi) > 0, Si Pi es un C-Lugar.
 Notaciones
• Notación 4.3.

• Sea mD y mC el marcado para D-Lugares y C-Lugares respectivamente.

• Los lugares en una RP híbrida pueden ser ordenados de tal manera que el
índice i de cualquier D-Lugar Pi es siempre menor que el índice k de
cualquier C-Lugar Pk.

• De esta manera: m = (mD, mC)

• Las transiciones son ordenadas de manera similar.

 Algunas definiciones
• Definición 4.7. Un macro marcado de una RP híbrida es un conjunto de marcas:
m*= (mD, mC)

• Propiedad 4.5. En una RP híbrida, un cambio del macro marcado, puede ser por el
cambio del conjunto de transiciones habilitadas, o por grados de habilitación de D-
Transiciones, puede ocurrir solo si un evento pertenece a uno de los siguientes tipos:

• C1-Evento: El marcado de un C-Lugar marcado llega a ser cero.

• C2-Evento: Un C-Lugar no marcado se marca.
• D1-Evento: Disparo de una D-Transición.
• D2-Evento: El grado de habilitación de una D-Transición cambia por el marcado de un C-Lugar.

Nota: El D2-Evento es un evento específico de las RP híbridas (Contiene el nombre D porque modifica el grado
de habilitación de una D-Transición).

Recordatorio 4.4. Si todos los nodos de la red de Petri son nodos discretos, la PN híbrida es
degenerada en una PN clásica discreta. Si todos los nodos de una PN son nodos
continuos, la PN híbrida es degenerada en una PN continua.
4.2.3. Alcanzabilidad y conflictos

• Obtener el grafo de alcanzabilidad para RP híbridas es

algunas veces tedioso, aunque no hay nuevas dificultades
teóricas.

• Nuevas clases de conflictos ocurren, pero son fácilmente

entendidos si son bien entendidos los conflictos para RP
discretas y para RP continuas.
 4.2.3.1. Grafo de alcanzabilidad

• Macro marcado: m*=m0=(mD, mC)=(1,0,0.8,0).

• C1 y C2-Eventos, entre m*0, m*1, m*2.
• D1-Eventos, entre {m*0, m*1, m*2} y {m*3, m*4, m*5}
El mismo ejemplo anterior pero con la restricción
ahora del lugar P1

• Consideremos la misma RP híbrida ahora con el marcado m*= (1,0,2,0), T3

es 1-habilitada en un movimiento [T3]x, x ≤ 1.
• El lugar P3no puede ser vaciado por un solo OG-Disparo.
• Una transición desde m*1 a m*2, puede ser solo llevada a cabo solo si m3 ≤
1.
• Sin embargo no es isomorfo al grafo de la figura anterior.
Nueva notación para obtener un grafo isomorfo

• Para este grafo parece que desde m*0=(1,0,2,0),m*2=(1,0,0,2) puede ser alcanzado por una secuencia
de dos o más OG-Disparos. ([T3]1[T3]1, o [T3].7[T3]1[T3].3, o [T3].7[T3].5[T3].8.

Notación 4.4. Sea Tj una C-Transición, una secuencia de OG-Disparos de una solo transición Tj puede ser
representada por una sola notación:
[Tj]x[Tj]y…[Tj]z=(Tj)x+y+…+z

• Usando la notación 4.4 obtenemos un grafo de alcanzabilidad isomorfo al primero mostrado.

Árbol de cobertura para RP híbridas con parte discreta no
acotada

• Árbol de cobertura restringido al marcado significativo (m1, m2, m4) porque

m3=1 todo el tiempo.
 RP Híbrida donde ocurre un D2-Evento

• m*0, m*1 y m*2 corresponde a la

evolución de la parte continua
• Cuando m*3 ≥ 1 T1 llega a ser 1-habilitada
y cuando m*3≥ 2 T1 llega a ser 2-habilitada
y, estos cambios de grados de habilitación
corresponden a D2-Eventos.
 4.2.3.2. Secuencia de disparo y espacio de alcanzabilidad.
2.3
1.3
.5
.2

2.5
2.8
1.7
3
.7

• Una secuencia de disparo es una cadena de OG-Disparos, cada OG-Disparo corresponde a disparos de C-Transiciones o D-
Transiciones, o ambas. Ejemplo:

S1= [U1][U2] [U3] [U4]

Donde [U1]=[T4]0.5, [U2]=[(T3)0.3(T4)2.1], [U3]=T1, y [U4]=[T1T2(T3)0.1]

S1=[T4]0.5[(T3)0.3(T4)2.1] T1[T1T2(T3)0.1]

S
• Si mi → mk la ecuación fundamental de disparo es cierta para RP híbridas:
 1  2 − 1 1 m0k=m0i+Ws  2
 1  0   1 − 1 0 0   1 
Para nuestro ejemplo:   = + * 
0.2 0 − 1 0 − 1 1   .4 
       
2.8 3  1 0 1 − 1 2.6
Propiedad 4.6. El espacio de alcanzabilidad de una
RP híbrida marcada es la unión de conjuntos
convexos disjuntos.
 4.2.3.3. Conflictos

• En una RP híbrida como para una RP discreta o continua es un conflicto general si el número de
marcas en Pi no es suficiente para disparar todas las transiciones de salida de Pi de acuerdo a sus
grados de habilitación.

• (d) y (c) son conflictos similares a RP continuas y RP discretas, los otros 4 casos solo se presentan en
RP híbridas.

• (a) y (d) son similares si m(P4)<=m(P1)<m(P4)+1.

• (b) Tiene los siguientes OG-Disparos posibles: [T3(T4)α], 0<= α<=0.3 y [T4]β, 0< β<=1.3.

• (e), T9 y [T10]α, 0< α<=1; es posible [T10]α T9, pero después de disparar T9 ya no es posible disparar T10.

• (f) [T11]α, 0<α≤1.25 (Porque m(P6)/0.8=1.25); [T12]β, 0<β ≤ 1; y [(T11)α(T12)β] 0< α<1.25, 0< β<1, y 0.8 α+
β ≤ 1.
4.3. Propiedades de Redes
de Petri autónomas
continuas e híbridas
4.3.1. Definiciones y propiedades similares para
redes de Petri discretas y continuas.

• Cualquier definición o propiedad relacionada con la

estructura de la red es verdadera para PN discretas
y continuas. Porque la estructura no involucra el
marcado.
4.3.1.1. Definiciones en el contexto de RP discretas pueden ser
usadas en el contexto de continuas
• Coloreadas.
• Acotamiento de un lugar.
• PN acotada.
• Transición viva.
• PN viva.
• Transición casi-viva. Si existe una secuencia de disparo desde m0 que contiene a
T.
• PN casi-viva.
• Bloqueo.
• Libre de bloqueo.
• Estado home. Un marcado m es estado home si desde cualquier marcado
alcanzable desde el marcado inicial m es alcanzable.
• PN reversible. Si m0 es el estado home.
• Conflicto general. La existencia de un conflicto estructural y que el número de
tokens no es el suficiente como para disparar todas las transiciones del conflicto.
• Sifón.
• Conservativa. Si tiene un P-invariante positivo.
• Consistente. Si tiene un T-invariante positivo.
Más definiciones…
• Grafo de estados (Maq. De edos). Cada
transición un lugar de entrada y uno de
salida.
• Grafo de eventos (Grafo marcado).
Cada lugar una transición de entrada
una de salida.
• Libre de conflicto. Cada lugar a lo más
una transición de salida.
• Free choice. Cada conflicto con un solo
lugar
• Free choice extendida. Cada conflicto
con el mismo conjunto de lugares.
• Simple. A lo más un conflicto.
• Pura. Una PN es pura cuando para
cualquier transición no tiene un lugar
que sea de entrada y de salida al
mismo tiempo.
Ejemplo

• Es conservativa con los siguientes P-invariantes x1=(1,5,0)

y x2=(0,5,2).

• Es consistente porque tiene el T-invariante y1=(2,1)

 4.3.1.2. Propiedades.
• Si una PN es no acotada para m0, no es acotada para m0’≥m0.

• L(m0)  L(m0’) si m0’≥ m0.

• P-invariante induce una componente conservativa.

• Composición de P-invariantes. Combinaciones lineales.

• Existe acotamiento de lugares en componentes conservativas.

• T-invariante induce una componente repetitiva.

• Una PN es viva si hay un estado home m y una secuencia repetitiva completa aplicable desde m.

• Una red persistente es viva si y solo si hay un marcado alcanzable m  M(m0) y una secuencia
repetitiva aplicable desde m.

• PN persistente. Una transición habilitada solo puede ser deshabilitada por su propio disparo.
 4.3.2. Alcanzabilidad y alcanzabilidad al límite para una
red de Petri continua.
Definición 4.8. Sea R=<Q,m0> y n los lugares de una PN continua. El
marcado m  (R+)n es alcanzable al límite si hay una secuencia de
marcados alcanzables {mi}, i ≥ 1, tal que
S S
(4.21)
S
m0 → m1 → m2 ...mi −1 → mi
1 2 i

y el lim mi=m, i→∞.

Sea lim-M(m0) el conjunto de marcados alcanzables más los marcados alcanzables al

límite. Para el ejemplo lim-M(m0) es el triángulo gris incluyendo m = (0,0)
• M-Macro-Making. Marcado en el que todos los lugares tienen un
marcado positivo.

• Propiedad 4.8. Sea Q una PN continua no marcada en la que cada

lugar está enlazado con al menos una transición. La PN R=<Q,m0> es
casi-viva sii el M-Macro-Making es alcanzable desde m0.

Prueba. Al tener marcados todos los lugares es posible disparar todas

las transiciones.

• Propiedad 4.9. Sea R=<Q,m0> una PN continua casi-Viva. Si R es

acotada para el marcado inicial m0, entonces Q es acotada para
cualquier marcado inicial.

PN casi-viva y acotada, entonces estructuralmente acotada

Definición 4.9. Sea R=<Q,m0>, un n-lugar y una m-transición de una PN continua. El
conjunto de todos los marcados m  (R+)n tal que hay un vector s  (R+)m que
satisface la ecuación fundamental m=m0+W*s es llamado espacio linealizado de
alcanzabilidad denotado por ML(m0).

Algoritmo 4.1. Alcanzabilidad de un M-Macro-Marking

Paso1. Inicialización: P(0) =Ø; P(1)={Pk| m0(Pk)>0}; i:=1

Paso2. While P(i)≠ P(i-1) and P(i) ≠P do (Ya hay un ciclo?, ó ya tiene todos los lugares?)
T(i)={Tj| °TjP(i)}
P(i+1)=P(i) U T(i)°
i:= i+1
end while
Paso3. P(i) es el conjunto de lugares los cuales pueden ser marcados (desde m0). Si
P(i)=P, el M-Macro_Marking es alcanzado.

Propiedad 4.7. El M-Macro-Marking es alcanzable Sii P(i) es obtenido del algoritmo 4.1
es el conjunto de lugares P.
Como alcanzar el M-macro-marking
Propiedad 4.10. Sea R=<Q,m0> una PN continua casi-Viva y
consistente. Entonces, lim-M(m0)=ML(m0).

P1 P3
1.5 0
S1=[T5]0.9[T3]0.9[T2]0.9[T1]0.9[T4]0.9
T1 u1=1 T2 u2=1 T3 u3=1
 1 −1 0 0 0 0 
P2 P4 − 1 1 0 0 0 0 
0 0   
 0 −1 1 0 0   0.9 0.9 0.9 0.9 0 .9 = 0
   
T4 u4=1 T5 u5=1
 0 1 −1 −1 1  0 
 0 0 0 2 − 2 0
2 2
P5
1.8 Secuencia de disparo alcanzable desde m0
que llega a m1
¿Es alcanzable m1?
S2=[T5]0.3[T3]0.3[T2]0.3[T4]0.3
1.5  1 − 1 0 0 0 1.2 
 0  − 1 1 0 0 0 0.3
    
m1 =  0  +  0 − 1 1 0 0   0 0.3 0.3 0 0 =  0 
     
 0   0 1 −1 −1 1  0
1.8  0 0 0 2 − 2 1.8 
4.3.3. ε-Vivacidad para una RP continua.

Definición 4.10. Una transición Tj es ε-Viva para un marcado inicial m0 si existe un ε>0 tal que: para cada
marcado alcanzable mi  M(m0) el grado de habilitación de Tj es al menos ε.

• Una PN continua es ε-Viva Si todas sus transiciones son ε-Vivas.

• Una PN continua se “ε-bloquea” (ε-deadlocks) si ninguna transición es ε-Viva.

Ejemplo: PN reversible y ε-viva.

S4=[T1]1[T1].5[T1].25[T1].125… m(P1)=α S5=[T2]α/2[T2] 1.5α/2[T2] (1.5)^2 α/2[T2] (1.5)^3 α/2… m(P1)=2
4.3.4. Lim-Vivacidad para una red de petri
continua.
Definición 4.11. Una transición Tj es Lim-Viva para un marcado inicial m0 si para cualquier marcado
en mi  Lim-M(m0), hay mk  M(mi) tal que q(Tj,mk)>0.
• Una PN continua es Lim-Viva Si todas sus transiciones son Lim-Vivas.
• Una PN continua Lim-deadlocks si ninguna transición es Lim-Viva.

Ejemplo:

• La figura 4.16a converge a m1=(0,0), de aquí T1 y T2 no pueden ser disparadas.

• La figura 4.19a converge a m(P1)=0, de aquí T1 y T2 no pueden ser disparadas.
• La figura 4.20a y b son modificaciones a las figuras anteriores para que puedan ser Lim-vivas
• Propiedad 4.12. Considere la PN continua R=<Q,m0> y
cualquier valor positivo α.

• si <Q,m0> es viva, entonces <Q, α m0> es viva;

• si <Q,m0> es ε-Viva, entonces <Q, α m0> es ε-Viva;

• si <Q,m0> es Lim-Viva, entonces <Q, α m0> es Lim-Viva.

• Finalmente note que las contrapartes discretas de las figuras 4.16a,
4.19a y 4.20b se pueden bloquear.

• De manera opuesta una PN continua se puede bloquear mientras

que se contraparte no. (Ejercicio 4.7)
Una PN discreta viva y su contraparte continua no es
viva

P3
P1
0

3
3
2 2

T4 u4=0
T1 d1=1 T2 d2=1 T3 u3=0

P2 P4
0
4.3.5. Propiedades para las redes de
petri híbridas.

• Básicamente heredan las propiedades de las PN continuas y

discretas.
4.3.5.2 Alcanzabilidad y Vivacidad
• Vamos a comentar algunos conceptos introducidos para PN continuas ahora para PN híbridas.

• Después de la secuencia S6=T1[T6]1[T7]1[T6].5[T7].5[T6].25[T7].25… m1=(0,1,0,0,0,0) es alcanzable al límite.

• Las D-Transiciones T1,T2,T3,T4 y T5 son vivas.

• Las C-Transiciones T6,T7 y T8 son lim-vivas.

4.3.5.3. Matriz de incidencia

W D 0 
W =  CD C
W W 

• Cuando WCD=0 la red es llamada PN híbrida elemental.

4.4. Redes de Petri híbridas
extendidas.
4.4.1. Prueba de umbral.
• Sea Pi, Tj y s; el lugar, la transición y el peso del arco
inhibidor. La transición Tj está habilitada solo si m(Pi)<s.
4.4.2. Prueba cero y peso de arco 0+.
• Prueba cero de un D-Lugar es similar testeo cero de una
PN discreta. En este caso s=1.
• La prueba cero de un C-Lugar es diferente. Para cualquier número racional s,
un marcado Pi tal que 0 < m(Pi) < s puede existir. Inclusive si s es muy
pequeño, por eso se introduce el nuevo símbolo 0+.

Notación 4.5. La razón α/k donde α es un número finito positivo y k→∞, es

denotada por 0+. 0<0+ y no hay número real positivo x tal que x<0+.
Ejemplo con testeo cero y arco de peso
0+
Más ejemplos…
 4.4.4 Definición
Definición 4.12. La definición de una PN autónoma híbrida
extendida es similar a la definición de una PN
autónoma híbrida, excepto que:

1) Puede tener arcos inhibidores.

2) Peso de un arco originado en un C-Lugar, toma su valor en Q+ 

{0+}.

3) El marcado de un C-Lugar toma su valor en R+  {0+}.