1

2
3
4
5
En otras palabras, una PN es un gráfico bipartito, es decir, los lugares y las
transiciones se alternan en una ruta formada por arcos consecutivos. Es obligatorio
que cada arco tenga un nodo en cada uno de sus extremos. (Desde un nodo k, lugar o
transición, hasta un nodo h, transición o lugar, hay como máximo un arco).

6
El lugar P3 se dice que es upstream o una entrada de transición T3 porque hay un
arco dirigido de P3 a T3. Se dice que el lugar P5 es downstream o una salida de
transición T3 porque hay un arco dirigido de T3 a P5. De manera similar, una se dice
que la transición es una entrada (en sentido ascendente) o una salida (en sentido
descendente) de un lugar.
Una transición sin un lugar de entrada es una transición de fuente1. Una transición
sin un lugar de salida es una transición de sumidero.

7
La marca define el estado de la RdP, o más precisamente el estado del sistema
descrito por el PN. La evolución del estado corresponde así a una evolución
del marcado, una evolución que es causada por el disparo de transiciones, ya que
deberá ... ver.
La RdP marcadas se consideran prácticamente siempre. Las llamaremos simplemente
Redes de
Petri. Por otro lado, las PN no marcadas se especificarán cuando sea necesario.

8
9
Cuando se sensibilice una transición, esto no implica que se disparara
inmediatamente. Esto solo sigue siendo una posibilidad. Supongamos que en una red
se habilitan dos transiciones, T1 y T3. Aunque no sabemos cuándo se dispararán estas
transiciones, sí sabemos que la siguiente evolución del marcado corresponderá a un
disparo de T1 o a un disparo de T3 (por lo tanto, no es posible otra evolución).
El disparo de una transición es indivisible. Aunque no existe un concepto de duración
en una RdP (si no está sincronizado ni sincronizado), es útil considerar que el disparo
de una transición tiene una duración cero, para facilitar la comprensión del concepto
de indivisibilidad.

10
11
La figura a representa el ciclo estacional. Un lugar se asocia con cada estación y el
cambio de una temporada a otra con cada transición. La marca de la a corresponde a
la primavera. Se puede ver en esta RdP que solo hay una transición T1, y que esta
transición será, por lo tanto, la siguiente en ser disparada. La siguiente marca
corresponderá, por lo tanto, al verano, pero no tenemos ninguna indicación sobre
cuándo tendrá lugar la transición. Esta RdP describe el ciclo estacional de forma
cualitativa.
Cuando un RdP describe el funcionamiento de un sistema que evoluciona de forma
autónoma, es decir, cuyos instantes de disparo son desconocidos o no están
indicados, podemos decir que es una red de Petri autónoma. Aunque la palabra
autónomo no es necesaria, permite que esta RdP se distinga claramente de una red
de Petri no autónoma.

La figura b representa el ciclo de estados de un sistema, por ejemplo un motor, que

se detiene, luego se inicia, luego se detiene nuevamente, etc. En el estado
correspondiente a la marca de la figura b, el sistema se detiene y el único habilitado
la transición es T1. Pero en este caso, esta transición se disparará cuando tenga lugar
el evento externo, es decir, la orden de inicio. Es una red de Petri no autónoma.
La figura c representa un sistema (un semáforo) cuyo comportamiento está
impulsado por el tiempo. Cuando hay un token en P1, el semáforo está en verde y T1
está habilitado. Esta transición se iniciará 60 s después del momento en que se
activó. Cuando se dispara T1, se saca el token en P1 y se deposita un token en P2: el

12
semáforo se vuelve ámbar y T2 se habilita. Y así. También es una red de Petri no
autónoma.

12
13
14
15
Un RdP sin marcar es un gráfico de estado si y solo si cada transición tiene
exactamente una entrada y un lugar de salida.
La figura representa una RdP no marcada que es un gráfico de estado, de acuerdo con
la definición anterior. Como cada transición tiene solo un lugar de entrada y un lugar
de salida, la representación de un gráfico de estado en el sentido clásico (o diagrama
de estado, figura 1.5b) contiene la misma información. En la figura 1.5b, un arco
dirigido único (conocido como transición) se hace corresponder al conjunto de una
transición con su arco de entrada y salida en la figura 1.5a.
Debe observarse que si marcamos un RdP conocido como un gráfico de estado, su
comportamiento será equivalente al gráfico de estado en el sentido clásico (que
representa un autómata que está en un solo estado a la vez) si y solo si contiene
exactamente un token (Figura 1.5c). El marcado de la Figura 1.5d, que puede generar
6 marcas diferentes según los disparos de las transiciones, claramente no es
equivalente a un autómata de 3 estados.

16
17
Una RdP es un grafo de eventos si y solo si cada lugar tiene exactamente una
transición de entrada y una de salida. Un gráfico de eventos también se denomina
gráfico de transición o gráfico marcado por algunos autores (la última expresión
puede ser confusa con RdP marcado). Un gráfico de eventos es, por lo tanto, el doble
de un gráfico de estado.

Un gráfico de eventos es una red donde las transiciones nunca entran en conflicto, ya
que un lugar es la entrada (y salida) de una transición única. En otras palabras, no hay
opciones reales en estas redes, sino más bien diferentes programas. Cuando se
cumple una condición previa de un disparo de transición, se mantiene hasta terminar
o recomenzar.

Recuerde que un circuito elemental es una ruta en un gráfico de tal manera que solo
el primer y último vértices son idénticos.
Observe primero que el número de tokens de un circuito elemental en un gráfico de
eventos es invariable ya que no hay transiciones de entrada ni transiciones de salida.
Entonces los lugares de un circuito elemental constituyen un P-semiflow. Este hecho
es el punto de partida de la teoría de los gráficos de eventos.

Recordar
Ciclos y Circuitos Ciclo, es una cadena simple, cuyos dos vértices extremos, inicial y
terminal, coinciden (no tiene en cuenta la orientación)

18
Si queremos describir la orientación en un ciclo designamos como: u+ = {ui : ui
orientada en el sentido del ciclo} u- = {ui : ui orientada en el sentido contrario al ciclo}
Ciclo elemental, es un ciclo donde no se repite ningún vértice (salvo el primero que
coincide con el último). Lo notamos uE = (u1,...,un).
Propiedad 1: Todo ciclo uC es una suma de ciclos elementales sin aristas comunes.
Propiedad 2: Un ciclo es elemental si y solo si es un ciclo minimal (es decir que no se
pueden deducir otros ciclos por supresión de aristas)
Seudociclo, es una cadena donde los extremos coinciden pero que una misma arista
puede figurar más de una vez (también consecutivamente).

18
19
20
21
22
23
24
25
26
27
La figura muestra una Rdp Coloreada, donde cada vagón es asociado con un token de
color
Las plazas {P1b, P1g}, contiene dos tokens, uno con el color <b> y el otro con
el color <g>.
Transición T1, que representa el conjunto de transiciones {T1b, T1g}, se puede
disparar con respecto a cualquier color en el conjunto {<b>, <g>}.
El disparo las condiciones se definen mediante funciones asociadas a cada arco.
La transición T1 se puede disparar con respecto a un color
esta transición podría dispararse con respecto a los colores <b> o <g>.
Las funciones de identidad se asocia con arcos P1 -> T1 y T1 -> P2
significa que, para activar el color <b>, la transición está habilitada si hay al
menos un token <b> en P1, y el disparo consiste en eliminar un token <b> de
P1 y agregando un token del mismo color a P2 (este disparo corresponde a un
disparo de T1b en la figura ).
En el caso general, un color puede ser un n-tupla y las funciones asociadas con las
transiciones pueden ser complejas (los tokens dibujados y colocados no
necesariamente tienen el mismo color).
Un lugar (una transición) en una PN coloreada siempre corresponde a un conjunto de
lugares (de transiciones) de una PN ordinaria.
La fusión de un conjunto de lugares y / o transiciones se llama plegado y la operación
inversa despliegue.
El despliegue completo de una PN coloreada (Propiedad 1.4) da como resultado una

28
PN ordinario único.

28
29
30
31
32
33
34
35
36
37
38
Con respecto a la figura b, la exclusión mutua de partes del programa que utilizan el
mismo recurso, como por ejemplo una memoria común, se puede modelar de esta
manera.
En un caso más general, puede haber varios recursos idénticos (varios tokens en P1).
En este caso, cada parte puede usar algunos recursos simultáneamente. Por ejemplo,
si hay tres recursos (inicialmente tres tokens en P1), en algún momento el
parte izquierda puede usar dos recursos mientras que la parte derecha usa un recurso
(o los tres recursos pueden ser utilizados por la misma parte).

39
40
41
42
43
44
45