Académique Documents
Professionnel Documents
Culture Documents
Autores:
Prog. Catalina Salvati
Prog. Leandro Cofre
Prog. Francisco Surez
ndice
INTRODUCCIN
CONTENIDO
DEFINICIONES
DEFINICIN FORMAL
REPRESENTACIN
REPRESENTACIN GRFICA
REPRESENTACIN MATRICIAL
EJEMPLO 1
MARCADO
EVOLUCIN DE MARCADO
SUBCLASES DE REDES DE PETRI
GRAFO DE ESTADOS
GRAFO MARCADO
RED DE LIBRE ELECCIN
RED SIMPLE
3
4
4
5
5
7
7
8
8
8
8
8
ESTRUCTURAS BSICAS
SELECCIN
ATRIBUCIN
DISTRIBUCIN
CONJUNCIN
EJECUCIN SECUENCIAL
SINCRONIZACIN
CONCURRENCIA
CONFLICTOS
9
9
9
10
10
10
11
11
PROPIEDADES
12
PROPIEDADES ESTRUCTURALES
RDP PURA
RED DE PETRI ACOTADA ESTRUCTURALMENTE
RED DE PETRI ESTRUCTURALMENTE VIVA
RED DE PETRI COMPLETAMENTE CONTROLABLE
RED DE PETRI ESTRUCTURALMENTE CONSERVATIVA
RED DE PETRI (PARCIALMENTE) REPETITIVA
RED DE PETRI (PARCIALMENTE) CONSISTENTE
PROPIEDADES DE COMPORTAMIENTO
VIVACIDAD
CICLICIDAD
ACOTAMIENTO
CONSERVATIVIDAD
ALCANZABILIDAD
12
12
12
12
12
12
12
12
13
13
14
15
16
16
EXTENSIONES
18
18
18
VALIDACIN
19
MTODOS DE ANLISIS
19
TCNICAS ENUMERATIVAS
TCNICAS DE TRANSFORMACIN
TCNICAS ESTRUCTURALES
19
20
21
TIPOS DE RED
23
23
23
23
24
24
25
EJERCICIOS
26
EJERCICIO N 1:
EJERCICIO N 2:
EJERCICIO N 3:
CMO MODELARA LA SITUACIN DE QUE CUANDO NO HAY MS BEBIDAS LA MQUINA
RETORNE LA MONEDA?
EJERCICIO N 4:
EJERCICIO N 5:
EJERCICIO N 6:
EJERCICIO 7
EJERCICIO 8
26
26
27
29
EJERCICIO 1
EJERCICIO 2
EJERCICIO 3
EJERCICIO 4
EJERCICIO 5
EJERCICIO 6
EJERCICIO 7
EJERCICIO 8
29
29
30
30
31
31
31
32
GLOSARIO
33
CONJUNTOS
LGICA
33
33
NDICE DE IMGENES
34
27
27
27
28
28
28
II
35
III
Introduccin
Las Redes de Petri (RdP) son una teora matemtica postulada por el
alemn Carl Adam Petri que proporciona una herramienta grfica y
matemtica de modelado para la descripcin formal de sistemas cuya
dinmica se caracteriza por la concurrencia, sincronizacin, exclusin mutua
y conflictos, las cuales son caractersticas tpicas de sistemas distribuidos.
La principal aplicacin de las redes de Petri es el modelado y el
anlisis de sistemas con componentes concurrentes que interactan. Un
modelo es una representacin de las caractersticas ms importantes de un
sistema de estudio. Manipulando esta representacin, se pueden obtener
nuevos conocimientos del sistema modelado sin ningn coste o peligro para
el sistema real. Sin embargo, el modelado por s solo sirve de poco, es
necesario analizar el sistema modelado.
El sistema se modela primero como una RdP y despus, este modelo
se analiza. Este anlisis nos lleva a una mejor comprensin del
comportamiento del sistema modelado. Para realizar el anlisis de las
propiedades de una red de Petri se han desarrollado diferentes tcnicas, que
permiten la verificacin de las propiedades que el sistema construido posea.
Las RdP se han utilizado en distintas reas de aplicacin como en
qumica, redes informticas, Inteligencia artificial, trnsito, etc.
Definiciones
Contenido
En este documento, introduciremos los fundamentos de la teora de
redes de Petri.
En la primer parte daremos las definiciones bsicas de RdP y los
modos de representacin.
Luego daremos algunos ejemplos de estructuras
describen el modo de representar algunos casos comunes.
bsicas
que
Definiciones
Definiciones
Una RdP est formada por lugares y transiciones, unidos
alternativamente por arcos dirigidos. Un lugar puede o no contener marcas.
El conjunto de marcas asociadas a cada uno de los lugares en un momento
dado, constituye un marcado de la RdP. Para la descripcin funcional de
sistemas concurrentes los marcados representan estados y las transiciones
sucesos, que dependen del cumplimiento de determinadas condiciones.
Definicin formal
Podemos definir a una red de Petri como una 5-upla:
RdP = (P, T, F, W, M0), donde:
P = {p1, p2, pm} es un conjunto finito no vaco de lugares
T = {t1, t2, , tn} es un conjunto finito no vaco de transiciones
PT=
F (P
X T) U (T
X P) es un conjunto de arcos dirigidos
W: F{1,2,3,} es una funcin de pesos
Mi: P{0,1,2,}
Definiciones
Representacin
Toda herramienta de modelado tiene una o mas formas de ser
representada. En el caso de las RdP, podemos encontrar una representacin
grfica y otra matricial.
Representacin grfica
A una RdP podemos asociarle un grafo dirigido con dos clases
disjuntas de nodos, los lugares y las transiciones.
Un crculo representa un lugar, una barra representa una transicin y
un arco dirigido conecta lugares y transiciones.
Algunos arcos van desde un lugar a una transicin y otros desde una
transicin a un lugar. Un arco dirigido desde un lugar p a una transicin t
define p como un lugar de entrada para t. Un lugar de salida se indica con
un arco desde la transicin al lugar.
Los arcos se etiquetan con sus pesos (enteros positivos). Si una de
esas etiquetas se omite, significa que el arco tiene peso uno.
Las marcas se representan como puntos negros en los lugares.
Figura 1 Representacin grfica de una Rdp.
Representacin matricial
Una transicin tiene un determinado nmero de lugares de entrada (o
precondiciones) y de lugares de salida (o postcondiciones). Cada uno de
estos se puede representar por una matriz binaria de dos dimensiones,
donde las columnas representan las transiciones, las filas los lugares y las
celdas la conexin entre ambas. Las matrices reciben los nombres de
Matriz de incidencia previa y Matriz de incidencia posterior
respectivamente.
Definiciones
Ejemplo 1
Dada la RdP R1 = (P, T, F, W, M0), donde:
P = {p1, p2, p3, p4}, T = {t1, t2, t3 }, Mo=(5, 0, 0, 0)
Figura 5 Red de Petri con cuatro lugares y tres transiciones.
Definiciones
C- = Pre(pi, tj) =
C+ = Post(pi, tj)
=
Definiciones
Marcado
Un marcado es una funcin que asigna a cada lugar un entero no
negativo (marca), de forma que decimos que un lugar p est marcado con k
marcas, si el marcado asigna al lugar p un entero k.
Un marcado M se representa mediante un vector con tantos
componentes como lugares tenga la red. La cantidad de marcas en el lugar
p ser M(p).
Una RdP marcada es un par (N, M) formado por una RdP N y un
marcado M.
El marcado de la RdP del ejemplo 1 :
5
0
M0 =
Evolucin de marcado
El marcado cambia al disparar las transiciones. Para disparar una
transicin ha de estar validada y sensibilizada. Cuando una transicin se
dispara desaparecen las marcas de los lugares origen y se aade una marca
a cada uno de los lugares destino.
Una transicin t T est sensibilizada (habilitada) para un marcado
M dado, sii p t se verifica M(p) Pre(p, t).
El grado de habilitacin de una transicin indica el mximo nmero
que la transicin puede ser disparada concurrentemente.
Regla de evolucin del marcado:
Si t est habilitada para un marcado M entonces t puede dispararse.
En la operacin se alcanza un nuevo marcado M 0, y se denota por M[t] > M0,
el cual resulta de quitar Pre(p, t) marcas de cada lugar p t y aadir
Post(t, p) marcas a cada lugar p t.
El cambio en el marcado esta dado por la ecuacin:
M0(p) = M(p) Pre(p, t) + Post(t, p), p P
Cada disparo de una transicin modifica la distribucin de las marcas,
y por ello produce un nuevo marcado en la red.
Siguiendo con el ejemplo 1, al disparar la transicin t1, obtenemos:
M0
Pre(p, t)
Pos(t, p)
Mf
Definiciones
0 0 0
Grafo marcado
Un grafo marcado (GM) o grafo de sincronizacin es una RdP que
cumple:
p P, |p| = |p| = 1
Red simple
Una RdP simple (RS) es una RdP que cumple:
p1 p2 = p1 p2 o p1 p2 para toda p1, p2 P.
Definiciones
p1
t1
t2
p2
t1
=>
p3 p1
t1
p3
p2
p3
p2
Figura 1
Estructuras bsicas
Seleccin
Selecciona el proceso a ejecutar
Figura 7 Estructura bsica. Seleccin.
Atribucin
Ejecucin independiente de un proceso por dos procesos distintos
Figura 8 Estructura bsica. Atribucin.
Distribucin
Ejecucin de procesos paralelos o concurrentes
Figura 9 Estructura bsica. Distribucin.
Conjuncin
Sincronizacin de procesos en paralelo
Figura 10
Ejecucin Secuencial
La transicin t2 puede ser disparada sea antes disparado t1.
Figura 11
Sincronizacin
La transicin t1 estar habilitada para ser disparada todos los
nodos de entrada de la transicin t1 poseen al menos una marca en cada
uno de ellos.
Esto ocurre principalmente en la electrnica. Ej: El en circuito AND las
dos entradas producen una salida lgica.
Figura 12
Definiciones
Concurrencia
Las transiciones t2 y t3 son concurrentes. Con esta propiedad, las RdP
es capaz de modelar sistemas de control distribuido con mltiples procesos
ejecutndose concurrentemente.
Figura 13
Conflictos
Tanto la transicin t1 como t2 estn listas para ser disparadas, pero el
disparo de alguna de ellas produce que la otra transicin quede inhabilitada
para ser disparada.
Figura 14
Definiciones
10
Propiedades
En las RdP podemos encontrar propiedades estructurales, que
dependen de la estructura topolgica de las RdP, independientes del
marcado inicial y, las propiedades de comportamiento que s dependen del
marcado inicial
Propiedades estructurales
RdP Pura
Una RdP N es una red pura si no existe ninguna transicin que tenga
un lugar que sea al mismo tiempo de entrada y salida de la transicin:
tj T , pi P, Pre(pi, tj) Post(tj , pi) = 0
Definiciones
11
Propiedades de comportamiento
Vivacidad
Una transicin t est viva para un marcado inicial dado M 0, sii existe
una secuencia de disparos a partir de un marcado M sucesor de M 0 que
comprenda a t :
M M(R, M0) : M M0 tal que t .
Una RdP marcada est viva para M0 sii todas sus transiciones son
vivas para M0.
Se puede decir que la propiedad de vivacidad significa la ausencia en
el conjunto de alcanzabilidad de un marcado en el que la red se bloquee
totalmente (deadlock), ya que, para que est viva, todas sus transiciones
deben ser disparables desde cualquier marcado alcanzable.
Se dice que una RdP marcada est parcialmente viva para M 0 si,
tomando como punto de partida cualquier marcado alcanzable a partir de
M0, existe al menos una transicin disparable y otra transicin no viva. Toda
RdP marcada parcialmente viva tiene la posibilidad de evolucin global,
independientemente de que existan transiciones que no puedan ser
disparadas.
Ejemplo: Una red de Petri no viva.
Figura 15
Definiciones
12
Ciclicidad
Se dice que una RdP posee un comportamiento globalmente cclico
para M0 si existe una secuencia de disparos que permite alcanzar el
marcado inicial M0 a partir de cualquier marcado M alcanzable a partir de
M0:
M M(R, M0), tal que M M0.
La ciclicidad o reversibilidad de una RdP marcada garantiza que no
existen subconjuntos finales de estados (marcados). Un subconjunto final de
estados (marcados) contiene estados (marcados) mutuamente alcanzables
entre s y tales que el estado inicial (marcado inicial) no es alcanzable a
partir de ninguno de ellos.
Ejemplo de una red no reversible:
Figura 17
de
Acotamiento
El significado de esta propiedad es el de asegurar que el sistema que
una red representa posee un nmero finito de estados (si suponemos que
cada lugar de la red representa a una variable de estado del sistema y su
marcado el valor de dicha variable). Luego la propiedad de acotamiento
determina la finitud del nmero de estados del sistema representado por
una RdP.
Un lugar p es k-acotado para M 0 sii existe un nmero entero k tal que
M(p) k para cualquier marcado M M(R, M0). Se denomina cota del lugar
p al menor entero k que verifica la desigualdad anterior.
Una RdP marcada es k-acotada para M 0 sii todos sus lugares son kacotados para M0:
p P y M M(R, M0), M (p) k.
Definiciones
13
Merece una consideracin especial la 1-acotacin. Si una RdP es 1acotada para M0, su marcado es binario (un lugar est o no est marcado) y
se dir que la RdP es binaria para M 0. Una red segura, es una RdP 1-acotada.
Una RdP es estructuralmente acotada si es acotada para cualquier marcado
inicial y finito.
Se dice que la red est k-acotada si para todo marcado alcanzable
tenemos que ningn lugar tiene un nmero de marcas mayor que k. Las
redes 1-acotadas son conocidas como binarias.
Si la red diseada generar ms marcas que las que su acotacin
permite el modelado ser errneo.
Ejemplo: Una red no acotada:
Figura 18
Conservatividad
Las marcas de una red se pueden entender como recursos del
sistema. Normalmente los recursos de un sistema ni se crean ni se
destruyen. Cuando las marcas se conservan, tras el disparo de una
secuencia de transiciones, se dice que la red es conservativa.
Sea R = (P, T, Pre, Post, M0) se dice que es estrictamente
conservativa sii M0 M(R, M0), iM0 (pi) = iM(pi), pi P.
Esto es, se ha de mantener el nmero de marcas para cualquier
marcado de la red. La definicin anterior implica que el nmero de entradas
ha de coincidir con nmero de salidas, es decir: (|I(t j)|) = |O(tj)|), para cada
transicin disparable.
Definiciones
14
Figura 2
Alcanzabilidad
La alcanzabilidad es una base fundamental para estudiar las
propiedades dinmicas de cualquier sistema. al dispararse una transicin
habilitada, esta cambiar la distribucin de las seales ( marcado). De esta
forma, de una secuencia de disparos resultar una secuencia de marcados,
luego un marcado Mn es alcanzable a partir de M 0, si existe una secuencia
de disparos que a partir de M 0 nos lleve a Mn. Una secuencia de disparos la
denotaremos por = t1, t2, ....., tn . en este caso Mn es alcanzable desde M0,
sii t.q. M0 [i Mn.
Ejemplo RdP y su grafo de alcanzabilidad
Figura 19
Definiciones
15
Extensiones
Recursos compartidos
Las RdP permiten modelar sistemas donde un recurso es compartido
por dos procesos de forma que el uso del recurso durante la ejecucin de un
proceso impide que dicho recurso sea utilizado por el otro proceso.
Un recurso compartido se modela mediante un lugar con una marca
inicial y transiciones en conflicto.
Ejemplo:
Figura 20
Arcos inhibidores:
Figura 21
Definiciones
16
Validacin
La validacin consiste en comprobar que se cumplen las propiedades
de:- VIVACIDAD; LIMITACIN; REVERSIBILIDAD.
Hay que considerar :
M0 : marcado inicial. De este se desprende el comportamiento del
sistema.
[M0] : vector de marcados posibles a partir de un marcado inicial.
(marcados alcanzables).
Ejemplo:
Figura 22
Mtodos de Anlisis
Las tcnicas para el anlisis de RdP (anlisis cualitativo de redes) se
clasifican normalmente en tres grupos.
Tcnicas Enumerativas
En primer lugar se tienen las tcnicas enumerativas.
Se basan en la generacin del grafo de alcanzabilidad para sistemas
limitados o del grafo de cobertura para sistemas no limitados. Estas
tcnicas se pueden aplicar en teora, pero en la prctica estn limitadas a
sistemas pequeos debido a su elevada complejidad computacional. En este
grafo los nodos corresponden al marcado alcanzable y los arcos
corresponden al disparo de las transiciones. En la figura se muestra una red
de Petri y su grafo de alcanzabilidad (Grafo de marcados).
Figura 23
Este grafo puede ser utilizado para mostrar que la red es segura, viva,
reversible y que esta tiene dos componentes que se repiten t 1, t2,t4 y t1, t3,t5.
En una red no limitada, el nmero de seales en un lugar puede ser
infinito. Un lugar que puede llegar a tener un nmero infinito de seales se
representa por . El grafo resultante es llamado grafo de cobertura.
Definiciones
17
Tcnicas de Transformacin
En segundo lugar se tienen las tcnicas de transformacin. En este
grupo de tcnicas el objetivo es reducir el tamao de los modelos mediante
reglas de reduccin que preserven las propiedades que se quieren estudiar.
En la figura puede observarse un conjunto sencillo de seis reglas de
reduccin que preservan vivacidad y k-limitacin.
Reglas de reduccin que presentan vivacidad y k-limitacin:
Figura 24
Tcnicas Estructurales
En tercer lugar se tienen las tcnicas estructurales. En este grupo de
tcnicas el objetivo es obtener la mxima informacin del modelo utilizando
nicamente su estructura y marcado inicial.
Los mtodos de lgebra lineal son utilizados para determinar las
propiedades de la red.
La ecuacin de estado de una red de Petri se define como sigue: el
marcado Mk se define como un vector columna m 1. La jesima entrada
de Mk denota el nmero de seales en el lugar j inmediatamente despus
Definiciones
18
Definiciones
19
Tipos de red
RdP con peso
Permite que multiples tokens puedan ser quitados/agregados cuando
se dispara una transicin. Las
q2,,qm)
es
el
conjunto
de
retardos
asociados
las
RdP coloreadas
En general, los tokens representan objetos (recursos, personas, etc)
en el modelado de un sistema. Para representar los atributos de estos
objetos, se utilizan las RdP coloreadas, donde los colores representan las
caractersticas de los objetos modelados. Las transiciones usan los valores
de los tokens adquiridos para determinar los valores de los tokens
producidos.
Definiciones
20
RdP jerrquicas
Las especificaciones de sistemas reales tienen una tendencia a ser
grandes y complejos. Un mecanismo de abstraccin, estructuracin
jerrquica, se utiliza para poder modificar ms fcilmente el modelo. La
construccin jerrquica se llama subred. Una subred es un agregado de
nmero de lugares, transiciones y subsistemas. Se puede utilizar para
estructurar grandes procesos. En determinados niveles, se quiere dar una
simple descripcin de un proceso (sin considerar todos los detalles). Pero a
otro nivel quizs, se quiera especificar un comportamiento mas detallado.
Cada subred se representa con un rectngulo que encapsula parte del
modelo general.
Definiciones
21
Definiciones
22
Figura 4
Figura 3
Ejercicios
Ejercicio N 1:
a. Dada la siguiente RdP, indique cul es la matriz de incidencia
previa y la matriz de incidencia posterior.
Figura 25
Ejercicio 1.
Ejercicio N 2:
Dadas las siguientes redes de Petri, indicar cules de ellas pueden
entrar en deadlock. (si al menos existe un marcado en el cual no se puede
disparar ninguna transicin, entonces la red entra en deadlock)
En caso de que as sea dar una secuencia de disparos que lleve a esta
situacin.
Figura 26
Ejercicio 2 a.
Figura 27
Ejercicio 2 b.
Ejercicio N 3:
Construya una red de Petri para especificar el funcionamiento de una
mquina expendedora de bebidas. La misma tiene un depsito de bebidas
con una cierta carga inicial, y un depsito de monedas el cual inicialmente
se encuentra vaco.
Definiciones
23
Ejercicio N 4:
Existen pequeas diferencias entre los sistemas de luces de trnsito
en diferentes pases. Por ejemplo, el sistema de luces alemn tiene una fase
extra en su ciclo. Las luces no cambian repentinamente de rojo a verde sino
que antes de pasar al verde enciende la luz verde junto con la luz amarilla.
Construya una red de Petri que se comporte como el sistema de luces
de trnsito alemn. Asegrese que la red no permita transiciones que no
son posibles.
Ejercicio N 5:
a. Construya una red de Petri para especificar el funcionamiento de
un sistema de control de barreras de un paso a nivel.
Cuando un tren se acerca, ste es detectado por un sensor que
ocasiona que se baje la barrera del paso a nivel. Cuando se aleja el tren, es
detectado por otro sensor que ocasiona que se eleve la barrera. Si la barrera
est elevada, los vehculos que lleguen al paso a nivel pueden pasar a
travs de l, en caso contrario deben esperar hasta que la barrera sea
levantada.
b. Verifique que el modelo construido no permita la situacin en la
que la barrera se encuentre alta, arribe un tren y un vehculo, y se le d el
paso al vehculo antes de bajar la barrera. Si no es as modifquelo para que
no se d dicha situacin.a. Construya una red de Petri para especificar el
funcionamiento de un sistema de control de barreras de un paso a nivel.
Ejercicio N 6:
Usando alguna de las extensiones estudiadas, construya una Redes
de Petri que describa el siguiente problema: Un proceso despachador de
mensajes recibe mensajes provenientes de dos canales diferentes. Verifica
la paridad de cada mensaje. Si la paridad es incorrecta, enva un aviso de
no-reconocimiento del mensaje a travs de un canal de respuesta (existe un
canal de respuesta por cada canal de entrada); si la paridad es correcta,
coloca el mensaje recibido en un buffer. El buffer puede contener hasta diez
mensajes. Cuando el buffer est lleno, el despachador enva todo el
contenido del buffer a una unidad de procesamiento a travs de otro canal.
No se pueden colocar mensajes en un buffer lleno.
Ejercicio 7
Resuelva mediante una RdP el siguiente problema:
Un grupo de 5 filsofos se encuentran sentados en una mesa circular
donde ha sido depositada comida china. Cada filsofo tiene frente a l un
plato donde servirse y entre cada uno de ellos un palillo chino. Como
Definiciones
24
Ejercicio 8
Tres fumadores estn representados por los procesos F1, F3 y F3. Tres
vendedores estn representados por los procesos V1, V2 y V3. Para fumarc
cada fumador necesita tabaco, papel para tabaco y un fsforo; cuando
dispone de estos recursos, el fumador fuma un cigarrillo hasta terminarlo y
entonces queda elegible para fumar de nuevo. F1 tiene tabaco, F2 tiene
papel y F3 tiene fsforos. V1 vende tabaco y papel, V2 vende papel para
tabaco y fsforos, y V3 vende fsforos y tabaco. V1, V3 y V3 trabajan en
exclusin mutua; slo uno de los procesos puede trabajar a la vez y el
siguiente vendedor no puede trabajar hasta que los recursos suministrados
por el vendedor anterior hayan sido consumidos por un fumador.
A partir de este enunciado, dibuje una RdP que represente el
problema y sus matrices de incidencia previa y posterior.
Definiciones
25
t2
t3
t4
P1
P2
P3
P4
t
2
t
3
t
4
1
2
3
4
a. Marcado alcanzable.
b. Marcado alcanzable.
c. Marcado no alcanzable.
d. Marcado no alcanzable.
Ejercicio 2
a) no
b) no
Definiciones
26
Salida de
monedas
t5
p2
Automviles
para cruzar
Rojo
Verde
p3
Automviles
que cruzaron
p1
p7
Depsito
Ingresa
moneda
tprovisorio
1
t1
p1p3
t2
tAmarillo
6
Barrera
en alto
p4
t2
Depsito de
monedas
p8
p3
p4
Barrera
baja
Amarillo
Sensor B
t3p4
t2
Tren
acercndose
t4
Bebidas
Salida de
bebidas
t3
Tren
alejndose
p2
t1
p1
p5
Sensor A
p5
t3
p2
p6
p5
t4
Ejercicio 3
Figura 28
Ejercicio 4
Figura 29
Ejercicio 5
Figura 30
Ejercicio 6
Se utilizaron RdP coloreadas para identificar los mensajes que circulan
por distintos canales. En rojo los mensajes del canal A y en azul los
mensajes del canal B.
Figura 31
Ejercicio 7
Matriz de incidencia previa
V
1
V
2
V
3
F
1
F
2
F
3
Definiciones
27
V
2
V
3
F
1
F
2
F
3
Ejercicio 8
Figura 32
Definiciones
Respuesta al ejercicio 8.
28
Glosario
Conjuntos
{e1, e2, . . . , Conjunto formado por los elementos e1, e2, . . . , en, (por
en}
extensin)
(e|r)
Pertenencia
No pertenencia
Conjunto vaco
AUB
AB
AXB
AB
AB
Lgica
Implica.
S y solo s.
Definiciones
29
ndice de imgenes
FIGURA 1
FIGURA 2
FIGURA 3
FIGURA 4
FIGURA 5
FIGURA 6
FIGURA 7
FIGURA 8
FIGURA 9
FIGURA 10
FIGURA 11
FIGURA 12
FIGURA 13
FIGURA 14
FIGURA 15
FIGURA 16
FIGURA 17
FIGURA 18
FIGURA 19
FIGURA 20
FIGURA 21
FIGURA 22
FIGURA 23
FIGURA 24
FIGURA 25
FIGURA 26
FIGURA 27
FIGURA 28
FIGURA 29
FIGURA 30
NIVEL.
FIGURA 31
FIGURA 32
Definiciones
30
Bibliografa
C. Ramchandan. Analysis of Asynchronous concurrent systems by timed petri nets, MIT
MAC-TR-120, 1974.
Ing. Jair Cervantes Canales. Representacin y aprendizaje de conocimiento con redes de Petri
difusas. Mexico 2005.
K. Jensen, Colored Petri nets and the invariant method, Theoretical Computer Science,
volume 14, 1981, pp. 317-336.
Murata, Tadao. Petri Nets: properties, analysis and applications. Proceedings of the IEEE,
VOL. 77, No. 4. April 1989.
Definiciones
31