Apunte de RDP

Teora de Redes de Petri
Autores:
Prog. Catalina Salvati
Prog. Leandro Cofre
Prog. Francisco Surez
Base terica del ro!ecto final de la carrera de Lic. en Siste"as
#niversidad FASTA Bariloc$e
Apunte de Redes de Petri
ndice
INTRODUCCIN ...................................................................................................................... 1
CONTENIDO ............................................................................................................................. 2
DEFINICIONES ......................................................................................................................... 3
DEFINICIN FORMAL.....................................................................................................................3
REPRESENTACIN..........................................................................................................................4
REPRESENTACIN GRFICA............................................................................................................4
REPRESENTACIN MATRICIAL.........................................................................................................4
EJEMPLO 1....................................................................................................................................... 5
MARCADO...................................................................................................................................... 7
EVOLUCIN DE MARCADO..............................................................................................................7
SUBCLASES DE REDES DE PETRI...................................................................................................8
GRAFO DE ESTADOS........................................................................................................................8
GRAFO MARCADO........................................................................................................................... 8
RED DE LIBRE ELECCIN.................................................................................................................8
RED SIMPLE..................................................................................................................................... 8
ESTRUCTURAS BSICAS ...................................................................................................... 9
SELECCIN...................................................................................................................................... 9
ATRIBUCIN.................................................................................................................................... 9
DISTRIBUCIN................................................................................................................................. 9
CONJUNCIN................................................................................................................................... 9
EJECUCIN SECUENCIAL.................................................................................................................9
SINCRONIZACIN............................................................................................................................ 9
CONCURRENCIA............................................................................................................................ 10
CONFLICTOS.................................................................................................................................. 10
PROPIEDADES ....................................................................................................................... 11
PROPIEDADES ESTRUCTURALES..................................................................................................11
RDP PURA..................................................................................................................................... 11
RED DE PETRI ACOTADA ESTRUCTURALMENTE...........................................................................11
RED DE PETRI ESTRUCTURALMENTE VIVA...................................................................................11
RED DE PETRI COMPLETAMENTE CONTROLABLE.........................................................................11
RED DE PETRI ESTRUCTURALMENTE CONSERVATIVA..................................................................11
RED DE PETRI PARCIALMENTE! REPETITIVA...............................................................................11
RED DE PETRI PARCIALMENTE! CONSISTENTE............................................................................11
PROPIEDADES DE COMPORTAMIENTO........................................................................................11
VIVACIDAD................................................................................................................................... 11
CICLICIDAD................................................................................................................................... 1"
ACOTAMIENTO.............................................................................................................................. 1#
CONSERVATIVIDAD.......................................................................................................................14
ALCANZABILIDAD......................................................................................................................... 14
EXTENSIONES ....................................................................................................................... 16

%
RECURSOS COMPARTIDOS...........................................................................................................16
ARCOS INHIBIDORES: .................................................................................................................16
ALIDACIN .......................................................................................................................... 17
M!TODOS DE ANLISIS ..................................................................................................... 17
T!CNICAS ENUMERATIAS.........................................................................................................17
T!CNICAS DE TRANSFORMACIN...............................................................................................18
T!CNICAS ESTRUCTURALES.......................................................................................................18
TIPOS DE RED ........................................................................................................................ 2"
RDP CON PESO............................................................................................................................. 2"
RDP CON TIEMPO........................................................................................................................2"
RDP COLOREADAS.......................................................................................................................2"
RDP #ERR$UICAS......................................................................................................................21
ESTOCSTICAS %CONCEPTOS REDES PETRI.PDF&........................................................................21
REDES DE PETRI ESTOCSTICAS GENERALIZADAS.......................................................................""
E#ERCICIOS ........................................................................................................................... 23
E#ERCICIO N' 1:...........................................................................................................................23
E#ERCICIO N' 2:...........................................................................................................................23
E#ERCICIO N' 3:...........................................................................................................................23
(CMO MODELAR)A LA SITUACIN DE $UE CUANDO NO HA* MS BEBIDAS LA M$UINA
RETORNE LA MONEDA+...............................................................................................................24
E#ERCICIO N' 4:...........................................................................................................................24
E#ERCICIO N' ,:...........................................................................................................................24
E#ERCICIO N' 6:...........................................................................................................................24
E#ERCICIO 7................................................................................................................................. 24
E#ERCICIO 8................................................................................................................................. 2,
RESPUESTAS A LOS E#ERCICIOS .................................................................................... 26
E#ERCICIO 1................................................................................................................................. 26
E#ERCICIO 2................................................................................................................................. 26
E#ERCICIO 3................................................................................................................................. 27
E#ERCICIO 4................................................................................................................................. 27
E#ERCICIO ,................................................................................................................................. 27
E#ERCICIO 6................................................................................................................................. 27
E#ERCICIO 7................................................................................................................................. 27
E#ERCICIO 8................................................................................................................................. 28
-LOSARIO .............................................................................................................................. 29
CON#UNTOS.................................................................................................................................. 29
L-ICA......................................................................................................................................... 29
)NDICE DE IM-ENES ........................................................................................................ 3"

%%
BIBLIO-RAF)A ...................................................................................................................... 31

%%%
Introduccin
Las Redes de Petri &RdP' son una teora "ate"tica ostulada or el ale"n
Carl Ada" Petri (ue roorciona una $erra"ienta grfica ! "ate"tica de "odelado
ara la descricin for"al de siste"as cu!a din"ica se caracteriza or la
concurrencia) sincronizacin) e*clusin "utua ! conflictos) las cuales son
caractersticas ticas de siste"as distri+uidos.
La rincial alicacin de las redes de Petri es el "odelado ! el anlisis de
siste"as con co"onentes concurrentes (ue interact,an. #n "odelo es una
reresentacin de las caractersticas "s i"ortantes de un siste"a de estudio.
-aniulando esta reresentacin) se ueden o+tener nuevos conoci"ientos del
siste"a "odelado sin ning,n coste o eligro ara el siste"a real. Sin e"+argo) el
"odelado or s solo sirve de oco) es necesario analizar el siste"a "odelado.
.l siste"a se "odela ri"ero co"o una RdP ! desu/s) este "odelo se
analiza. .ste anlisis nos lleva a una "e0or co"rensin del co"orta"iento del
siste"a "odelado. Para realizar el anlisis de las roiedades de una red de Petri se
$an desarrollado diferentes t/cnicas) (ue er"iten la verificacin de las roiedades
(ue el siste"a construido osea.
Las RdP se $an utilizado en distintas reas de alicacin co"o en (u"ica)
redes infor"ticas) %nteligencia artificial) trnsito) etc.
Resuestas a los e0ercicios
1
Contenido
.n este docu"ento) introducire"os los funda"entos de la teora de redes de
Petri.
.n la ri"er arte dare"os las definiciones +sicas de RdP ! los "odos de
reresentacin.
Luego dare"os algunos e0e"los de estructuras +sicas (ue descri+en el
"odo de reresentar algunos casos co"unes.
Seguire"os con las roiedades) e*tensiones ! "/todos de anlisis.
Finalizando luego con una serie de e0ercicios ara resolver.
2
Definiciones
#na RdP est for"ada or lugares ! transiciones) unidos alternativa"ente or
arcos dirigidos. #n lugar uede o no contener "arcas. .l con0unto de "arcas
asociadas a cada uno de los lugares en un "o"ento dado) constitu!e un "arcado de
la RdP. Para la descricin funcional de siste"as concurrentes los "arcados
reresentan estados ! las transiciones sucesos) (ue deenden del cu"li"iento de
deter"inadas condiciones.
Definicin formal
Pode"os definir a una red de Petri co"o una 34ula:
RdP 5 &P) T) F) 6) -7') donde:
P 5 81) 2) 9 ": es un con0unto finito no vaco de lugares
T 5 8t1) t2) 9) tn: es un con0unto finito no vaco de transiciones
P T 5
F ;&P < T' # ;&T < P' es un con0unto de arcos dirigidos
6: F81)2)=)9: es una funcin de esos
-i: P;87)1)2)9: es el "arcado inicial de la red >> define un n,"ero inicial de
"arcas or lugar
=
Representacin
Toda $erra"ienta de "odelado tiene una o "as for"as de ser reresentada.
.n el caso de las RdP) ode"os encontrar una reresentacin grfica ! otra "atricial.
Representacin grfica
A una RdP ode"os asociarle un grafo dirigido con dos clases dis0untas de
nodos) los lugares ! las transiciones.
#n crculo reresenta un lugar) una +arra reresenta una transicin ! un arco
dirigido conecta lugares ! transiciones.
Algunos arcos van desde un lugar a una transicin ! otros desde una transicin
a un lugar. #n arco dirigido desde un lugar a una transicin t define co"o un lugar
de entrada ara t. #n lugar de salida se indica con un arco desde la transicin al lugar.
Los arcos se eti(uetan con sus esos &enteros ositivos'. Si una de esas
eti(uetas se o"ite) significa (ue el arco tiene eso uno.
Las "arcas se reresentan co"o untos negros en los lugares.
Figura 1 Reresentacin grfica de una Rd.
Los lugares (ue contienen "arcas se consideran lugares activos.
Figura 2 Lugar activo.
A las transiciones se les asocia eventos &funciones lgicas de las varia+les de
entrada'. #na transicin se dice (ue est sensi+ilizada cuando todos sus lugares
origen estn "arcados.
Figura = Transicin sensi+ilizada.
Cuando ocurre un evento asociado a una transicin) se dice (ue la transicin
est validada.
Figura ? Transicin validada.
Representacin matricial
#na transicin tiene un deter"inado n,"ero de lugares de entrada &o
recondiciones' ! de lugares de salida &o ostcondiciones'. Cada uno de estos se
uede reresentar or una "atriz +inaria de dos di"ensiones) donde las colu"nas
reresentan las transiciones) las filas los lugares ! las celdas la cone*in entre a"+as.
Las "atrices reci+en los no"+res de @-atriz de incidencia reviaA ! @-atriz de
incidencia osteriorA resectiva"ente.
Pode"os decir (ue una RdP B se encuentra definida "atricial"ente or "edio
de dos "atrices. Sea n 5 CPC &n,"ero de lugares de P' ! " 5 CTC &n,"ero de
transiciones de T'.
Se deno"inan:
?
-atriz de incidencia revia: C
D
5 EcDi0F
nG"
en la (ue c
D
i0 5 Pre&i) t0'.
-atriz de incidencia osterior: C
H
5 EcHi0F
nG"
en la (ue c
H
i0 5 Post&ti) 0'.
-atriz de incidencia de B: C 5 C
H
D C
D
.
Ejemplo 1
Iada la RdP R1 5 &P) T) F) 6) -7') donde:
P 5 81) 2) =) ?:) T 5 8t1) t2) t= :) -o5&3) 7) 7) 7'
Figura 3 Red de Petri con cuatro lugares ! tres transiciones.
3
-atriz de %ncidencia revia ! "atriz de incidencia osterior:
C
4
5 Pre&i) t0' 5
1 7 7
CH 5 Post&i) t0' 5
7 7 7
7 1 1 1 1 1
7 7 7 7 7 7
7 7 7 7 7 7
Sea B una RdP) donde t T ! P. Se definen los siguientes con0untos:
Con0unto de lugares de entrada a t : Jt 5 8 P C Pre&) t' K 7:
Con0unto de lugares de salida de t : tJ 5 8 P C Post&t) ' K 7:
Con0unto de transiciones de entrada a : J 5 8t T C Post&t) ' K 7:
Con0unto de transiciones de salida de : J 5 8t T C Pre&) t' K 7:
L
Marcado
#n "arcado es una funcin (ue asigna a cada lugar un entero no negativo
&"arca') de for"a (ue deci"os (ue un lugar est "arcado con M "arcas) si el
"arcado asigna al lugar un entero M.
#n "arcado - se reresenta "ediante un vector con tantos co"onentes
co"o lugares tenga la red. La cantidad de "arcas en el lugar ser -&'.
#na RdP "arcada es un ar &B) -' for"ado or una RdP B ! un "arcado -.
.l "arcado de la RdP del e0e"lo 1 :
-
7
5
3
7
7
7
Evolucin de marcado
.l "arcado ca"+ia al disarar las transiciones. Para disarar una transicin $a
de estar validada ! sensi+ilizada. Cuando una transicin se disara desaarecen las
"arcas de los lugares origen ! se aNade una "arca a cada uno de los lugares destino.
#na transicin t T est sensi+ilizada &$a+ilitada' ara un "arcado - dado)
sii Jt se verifica -&' O Pre&) t'.
.l grado de $a+ilitacin de una transicin indica el "*i"o n,"ero (ue la
transicin uede ser disarada concurrente"ente.
Regla de evolucin del "arcado:
Si t est $a+ilitada ara un "arcado - entonces t uede disararse. .n la
oeracin se alcanza un nuevo "arcado -7) ! se denota or -EtF K -7) el cual resulta
de (uitar Pre&) t' "arcas de cada lugar Jt ! aNadir Post&t) ' "arcas a cada lugar
tJ.
.l ca"+io en el "arcado esta dado or la ecuacin:
-7&' 5 -&' D Pre&) t' H Post&t) ') P
Cada disaro de una transicin "odifica la distri+ucin de las "arcas) ! or ello
roduce un nuevo "arcado en la red.
Siguiendo con el e0e"lo 1) al disarar la transicin t1) o+tene"os:
M ! Pre"p# t$ % Pos"t# p$ & Mf
3 1 7 7 7 7 7
?
7 7 1 1 1 1 1
1
7 7 7 7 7 7 7
7
7 7 7 7 7 7 7
7
P
Figura L .volucin del "arcado de la red del e0e"lo 1.
'u(clases de Redes de Petri
)rafo de estados
#n grafo de estado &Q.' o "(uina de estados &-.' es una RdP (ue cu"le:
t T) CJtC 5 CtJC 5 1
)rafo marcado
#n grafo "arcado &Q-' o grafo de sincronizacin es una RdP (ue cu"le:
P) CJC 5 CJC 5 1
Red de li(re eleccin
#na RdP de li+re eleccin &RL.' es una RdP (ue cu"le:
P) si CJC K 1) entonces t J) CJtC 5 1
Red simple
#na RdP si"le &RS' es una RdP (ue cu"le:
J1 R J2 5 J1 J2 o J1 J2 ara toda 1) 2 P.
S
Estructuras (sicas
'eleccin
Selecciona el roceso a e0ecutar
Figura P .structura +sica. Seleccin.
Atri(ucin
.0ecucin indeendiente de un roceso or dos rocesos distintos
Figura S .structura +sica. Atri+ucin.
Distri(ucin
.0ecucin de rocesos aralelos o concurrentes
Figura T .structura +sica. Iistri+ucin.
Conjuncin
Sincronizacin de rocesos en aralelo
Figura 17 .structura +sica. Con0uncin.
Ejecucin 'ecuencial
La transicin t2 uede ser disarada sea antes disarado t1.
Figura 11 .structura +sica. .0ecucin secuencial.
'incroni*acin
La transicin t1 estar $a+ilitada ara ser disarada todos los nodos de
entrada de la transicin t1 oseen al "enos una "arca en cada uno de ellos.
.sto ocurre rincial"ente en la electrnica. .0: .l en circuito ABI las dos
entradas roducen una salida lgica.
Figura 12 .structura +sica. Sincronizacin.
= t
1
t
2
2
t
1
=
2
t
1
=
5K
T
Concurrencia
Las transiciones t2 ! t= son concurrentes. Con esta roiedad) las RdP es caaz
de "odelar siste"as de control distri+uido con ",ltiles rocesos e0ecutndose
concurrente"ente.
Figura 1= .structura +sica. Concurrencia.
Conflictos
Tanto la transicin t1 co"o t2 estn listas ara ser disaradas) ero el disaro
de alguna de ellas roduce (ue la otra transicin (uede in$a+ilitada ara ser
disarada.
Figura 1? .structura +sica. Conflictos.
17
Propiedades
.n las RdP ode"os encontrar roiedades estructurales) (ue deenden de la
estructura toolgica de las RdP) indeendientes del "arcado inicial !) las
roiedades de co"orta"iento (ue s deenden del "arcado inicial
Propiedades estructurales
RdP Pura
#na RdP B es una red ura si no e*iste ninguna transicin (ue tenga un lugar
(ue sea al "is"o tie"o de entrada ! salida de la transicin:
t0 T ) i P) Pre&i) t0' Post&t0 ) i' 5 7
Red de Petri Acotada Estructuralmente
#na red de Petri est acotada estructural"ente si est acotada ara cual(uier
"arcado inicial finito.
#n lugar en una red de Petri se dice no acotado estructural"ente si e*iste un
"arcado - ! una secuencia de disaro U desde - tal (ue no est/ acotado.
Red de Petri Estructuralmente +iva
#na red de Petri est estructural"ente viva si e*iste alg,n "arcado inicial ara
el (ue est viva.
Red de Petri Completamente Controla(le
#na red de Petri se dice co"leta"ente controla+le si cual(uier "arcado es
alcanza+le desde cual(uier otro "arcado.
Red de Petri Estructuralmente Conservativa
#na red de Petri es estructural"ente conservativa si) ara cual(uier "arcado
inicial -7 ! un "arcado alcanza+le - R&-7') e*iste un vector * &n G 1' tal (ue *iV7)
ara cual(uier i 5 1)...)n) ! *
t
- 5 *
t
-7.
Red de Petri "parcialmente$ Repetitiva
#na red de Petri es &arcial"ente' reetitiva si e*iste un "arcado finito -7 !
una secuencia de disaro s tal (ue &alguna' toda transicin ocurre un n,"ero infinito
de veces en U.
Red de Petri "parcialmente$ Consistente
#na red de Petri es &arcial"ente' consistente si e*iste un "arcado finito -7 !
una secuencia de disaro s cclica &desde -7 a -7 tal (ue &alguna' toda transicin
ocurre al "enos una vez en U.
Propiedades de comportamiento
+ivacidad
#na transicin t est viva ara un "arcado inicial dado -7) sii e*iste una
secuencia de disaros a artir de un "arcado - sucesor de -7 (ue co"renda a t :
11
- -&R) -7' U : - UW-7 tal (ue t U.
#na RdP "arcada est viva ara -7 sii todas sus transiciones son vivas ara
-7.
Se uede decir (ue la roiedad de vivacidad significa la ausencia en el
con0unto de alcanza+ilidad de un "arcado en el (ue la red se +lo(uee total"ente
&deadlocM') !a (ue) ara (ue est/ viva) todas sus transiciones de+en ser disara+les
desde cual(uier "arcado alcanza+le.
Se dice (ue una RdP "arcada est arcial"ente viva ara -7 si) to"ando
co"o unto de artida cual(uier "arcado alcanza+le a artir de -7) e*iste al "enos
una transicin disara+le ! otra transicin no viva. Toda RdP "arcada arcial"ente
viva tiene la osi+ilidad de evolucin glo+al) indeendiente"ente de (ue e*istan
transiciones (ue no uedan ser disaradas.
.0e"lo: #na red de Petri no viva.
Figura 13 .0e"lo de una RdP no viva.
Para la secuencia de disaros t1) t2) t1) t2) no $a! +lo(ueo. Si a$ora se disaran
las transiciones t1) t=) t?) !a no se uede disarar ninguna transicin "s) la red (ueda
@+lo(ueadaA.
Pode"os tener redes seudo4vivas en las (ue e*isten algunas transiciones
vivas ! no se +lo(uea total"ente.
.0e"lo: RdP Pseudoviva
Figura 1L .0e"lo de una RdP seudoviva.
Ciclicidad
Se dice (ue una RdP osee un co"orta"iento glo+al"ente cclico ara -7 si
e*iste una secuencia de disaros (ue er"ite alcanzar el "arcado inicial -7 a artir de
cual(uier "arcado - alcanza+le a artir de -7:
- -&R) -7') U tal (ue - UW-7.
12
La ciclicidad o reversi+ilidad de una RdP "arcada garantiza (ue no e*isten
su+con0untos finales de estados &"arcados'. #n su+con0unto final de estados
&"arcados' contiene estados &"arcados' "utua"ente alcanza+les entre s ! tales (ue
el estado inicial &"arcado inicial' no es alcanza+le a artir de ninguno de ellos.
.0e"lo de una red no reversi+le:
Figura 1P .0e"lo de una RdP no reversi+le.
.sta RdP es seudoviva) ade"s no tiene la roiedad de reversi+ilidad !a
(ue el "arcado inicial no se uede o+tener 0a"s.
Acotamiento
.l significado de esta roiedad es el de asegurar (ue el siste"a (ue una red
reresenta osee un n,"ero finito de estados &si suone"os (ue cada lugar de la red
reresenta a una varia+le de estado del siste"a ! su "arcado el valor de dic$a
varia+le'. Luego la roiedad de acota"iento deter"ina la finitud del n,"ero de
estados del siste"a reresentado or una RdP.
#n lugar es M4acotado ara -7 sii e*iste un n,"ero entero M tal (ue -&' X M
ara cual(uier "arcado - -&R) -7'. Se deno"ina cota del lugar al "enor entero
M (ue verifica la desigualdad anterior.
#na RdP "arcada es M4acotada ara -7 sii todos sus lugares son M4acotados
ara -7:
P ! - -&R) -7') - &' X M.
-erece una consideracin esecial la 14acotacin. Si una RdP es 14acotada
ara -7) su "arcado es +inario &un lugar est o no est "arcado' ! se dir (ue la RdP
es +inaria ara -7. #na red segura) es una RdP 14acotada. #na RdP es
estructural"ente acotada si es acotada ara cual(uier "arcado inicial ! finito.
Se dice (ue la red est M4acotada si ara todo "arcado alcanza+le tene"os
(ue ning,n lugar tiene un n,"ero de "arcas "a!or (ue M. Las redes 14acotadas son
conocidas co"o +inarias.
1=
Si la red diseNada generar "s "arcas (ue las (ue su acotacin er"ite el
"odelado ser errneo.
.0e"lo: #na red no acotada:
Figura 1S .0e"lo de una RdP no acotada.
Conservatividad
Las "arcas de una red se ueden entender co"o recursos del siste"a.
Bor"al"ente los recursos de un siste"a ni se crean ni se destru!en. Cuando las
"arcas se conservan) tras el disaro de una secuencia de transiciones) se dice (ue la
red es conservativa.
Sea R 5 &P) T) Pre) Post) -7' se dice (ue es estricta"ente conservativa sii
-7 -&R) -7') Yi-7 &i' 5 Yi-&i') i P.
.sto es) se $a de "antener el n,"ero de "arcas ara cual(uier "arcado de la
red. La definicin anterior i"lica (ue el n,"ero de entradas $a de coincidir con
n,"ero de salidas) es decir: &C%&t0'C' 5 CZ&t0'C') ara cada transicin disara+le.
Alcan*a(ilidad
La alcanza+ilidad es una +ase funda"ental ara estudiar las roiedades
din"icas de cual(uier siste"a. al disararse una transicin $a+ilitada) esta ca"+iar
la distri+ucin de las seNales & "arcado'. Ie esta for"a) de una secuencia de disaros
resultar una secuencia de "arcados) luego un "arcado -n es alcanza+le a artir de
-7) si e*iste una secuencia de disaros (ue a artir de -7 nos lleve a -n. #na
secuencia de disaros la denotare"os or U 5 t1) t2) .....) tn . en este caso -n es
alcanza+le desde -7) sii U t.(. -7 EUi -n.
.0e"lo RdP ! su grafo de alcanza+ilidad
1?
Figura 1T .0e"lo de una RdP con su grafo de alcanza+ilidad.
13
E,tensiones
Recursos compartidos
Las RdP er"iten "odelar siste"as donde un recurso es co"artido or dos
rocesos de for"a (ue el uso del recurso durante la e0ecucin de un roceso i"ide
(ue dic$o recurso sea utilizado or el otro roceso.
#n recurso co"artido se "odela "ediante un lugar con una "arca inicial !
transiciones en conflicto.
.0e"lo:
Figura 27 .*tensiones. Recursos co"artidos.
Arcos in-i(idores.
Figura 21 .*tensiones. Arcos in$i+idores.
.stos tios de arcos se relacionan con la transicin a ser in$i+ida ! con el lugar
(ue) de tener una "arca) va a i"edir el disaro de la transicin.
1L
+alidacin
La validacin consiste en co"ro+ar (ue se cu"len las roiedades de:4
[%[AC%IAI\ L%-%TAC%]B\ R.[.RS%B%L%IAI.
â! (ue considerar :
-7 : "arcado inicial. Ie este se desrende el co"orta"iento del siste"a.
E-7F : vector de "arcados osi+les a artir de un "arcado inicial. &"arcados
alcanza+les'.
.0e"lo:
Figura 22 [alidacin de una RdP.
M/todos de Anlisis
Las t/cnicas ara el anlisis de RdP &anlisis cualitativo de redes' se clasifican
nor"al"ente en tres gruos.
0/cnicas Enumerativas
.n ri"er lugar se tienen las t/cnicas enu"erativas.
Se +asan en la generacin del grafo de alcanza+ilidad ara siste"as li"itados
o del grafo de co+ertura ara siste"as no li"itados. .stas t/cnicas se ueden alicar
en teora) ero en la rctica estn li"itadas a siste"as e(ueNos de+ido a su elevada
co"le0idad co"utacional. .n este grafo los nodos corresonden al "arcado
alcanza+le ! los arcos corresonden al disaro de las transiciones. .n la figura se
"uestra una red de Petri ! su grafo de alcanza+ilidad &Qrafo de "arcados'.
Figura 2= T/cnica enu"erativa de validacin.
.ste grafo uede ser utilizado ara "ostrar (ue la red es segura) viva)
reversi+le ! (ue esta tiene dos co"onentes (ue se reiten t1) t2)t? ! t1) t=)t3.
.n una red no li"itada) el n,"ero de seNales en un lugar uede ser infinito. #n
lugar (ue uede llegar a tener un n,"ero infinito de seNales se reresenta or _. .l
grafo resultante es lla"ado grafo de co+ertura.
1P
0/cnicas de 0ransformacin
.n segundo lugar se tienen las t/cnicas de transfor"acin. .n este gruo de
t/cnicas el o+0etivo es reducir el ta"aNo de los "odelos "ediante reglas de reduccin
(ue reserven las roiedades (ue se (uieren estudiar. .n la figura uede o+servarse
un con0unto sencillo de seis reglas de reduccin (ue reservan vivacidad ! M4
li"itacin.
Reglas de reduccin (ue resentan vivacidad ! M4li"itacin:
Figura 2? T/cnica de transfor"acin de validacin.
Con este con0unto de reglas es osi+le reducir la co"le0idad del clculo de la
vivacidad ! li"itacin de un siste"a.
0/cnicas Estructurales
.n tercer lugar se tienen las t/cnicas estructurales. .n este gruo de t/cnicas
el o+0etivo es o+tener la "*i"a infor"acin del "odelo utilizando ,nica"ente su
estructura ! "arcado inicial.
Los "/todos de lge+ra lineal son utilizados ara deter"inar las roiedades
de la red.
La ecuacin de estado de una red de Petri se define co"o sigue: el "arcado
-M se define co"o un vector colu"na " G 1. La 0Desi"a entrada de -M denota el
n,"ero de seNales en el lugar 0 in"ediata"ente desu/s del MDesi"o disaro en la
1S
secuencia de disaros. .l MDesi"o disaro o vector de control uM es un vector colu"na
de n G 1) con nD1 ceros ! una entrada 1 en la iDesi"a osicin) indicando el disaro
de la transicin i. .sto es) la iDesi"a fila de la "atriz de incidencia C denota el ca"+io
de "arcado co"o el resultado del disaro de la transicin i) luego la ecuacin de
estado ara la red de Petri se escri+e co"o sigue:
-M 5 -MD1 H CT uM) M 5 1) 2) =) 9.
.l "arcado de una red de Petri uede ser ca"+iado cada vez (ue una
transicin se disara. Si no ocurre un +lo(ueo) el n,"ero de disaros es ili"itado. Sin
e"+argo) no todos los "arcados ueden ser alcanzados ! no todas las secuencias de
disaros ueden ser llevadas a ca+o. Las restricciones son dadas or los invariantes
de la red. #n "arcado invariante es o+tenido si la su"a de los esos de el "arcado de
un su+con0unto de lugares en una red es sie"re constante. Los lugares contenidos
en este su+con0unto son lla"ados co"onentes conservativos ! el vector (ue contiene
los esos es P4%nvariante. Si el disaro de una cierta secuencia de transiciones resulta
en el "is"o "arcado co"o cuando inicio) la secuencia es lla"ada co"onente
reetitivo. .l vector caracterstico de la secuencia de disaros es el T4%nvariante.
1T
0ipos de red
RdP con peso
Per"ite (ue "ultiles toMens uedan ser (uitados>agregados cuando se
disara una transicin. ;Las aristas estn eti(uetadas con el eso &n,"ero de toMens'.
;Si no $a! ning,n valor se asu"e (ue es 1.
RdP con 0iempo
Las Redes de Petri no inclu!en conceto alguno de tie"o) or ello) sola"ente
es osi+le descri+ir sola"ente la estructura lgica de los siste"as ! no su evolucin
te"oral.
La introduccin del tie"o en el "odelo er"ite la descricin de
co"orta"ientos din"icos de los siste"as) considerando la evolucin de estados !
la duracin de cada accin to"ada or el siste"a. â! ",ltiles for"as diferentes de
introducir el conceto de tie"o.
#na ri"era osi+ilidad consiste en asociar a cada transicin un n,"ero (ue
indica) en alguna unidad te"oral adecuada) el retardo entre la $a+ilitacin ! el
disaro de la transicin. #na RdP Te"orizada uede ser definida co"o:
TPB 5 8P) T) A) -7) `:
donde P) T) A ! -7 se definen co"o antes
`5&(1) (2)9)("' es el con0unto de retardos asociados a las transiciones.
#na segunda osi+ilidad ara la introduccin del conceto de tie"o consiste
en asignar un retardo ( al roceso de convertir una fic$a en disoni+le luego (ue la
"is"a llega a un nuevo lugar. Por ello) cada fic$a uede estar en uno de dos estados:
disoni+le ! no disoni+le\ sola"ente fic$as disoni+les $a+ilitan transiciones. La falta
de disoni+ilidad de una fic$a "odela el tie"o utilizado desarrollando una actividad.
.n esta a+straccin) el tie"o es asociado a los lugares.
La adicin de tie"os en las Redes de Petri es un roceso crtico ! se de+er
restar atencin esecial a la co"rensin total de la se"ntica del "odelo ! a los
detalles de su co"orta"iento.
.*iste una a"lia variedad de e*tensiones adicionales) (ue +sica"ente
consisten en adicionar tie"os a las diferentes co"onentes del grafo +iartito (ue
constitu!e la red.
RdP coloreadas
.n general) los toMens reresentan o+0etos &recursos) ersonas) etc' en el
"odelado de un siste"a. Para reresentar los atri+utos de estos o+0etos) se utilizan
las RdP coloreadas) donde los colores reresentan las caractersticas de los o+0etos
"odelados. Las transiciones usan los valores de los toMens ad(uiridos ara deter"inar
los valores de los toMens roducidos.
#na transicin descri+e la relacin entre los valores de los toMens. .s osi+le
esecificar recondiciones) utilizando el color de los toMens ara ser consu"idos.
27
RdP jerr1uicas
Las esecificaciones de siste"as reales tienen una tendencia a ser grandes !
co"le0os. #n "ecanis"o de a+straccin) estructuracin 0err(uica) se utiliza ara
oder "odificar "s fcil"ente el "odelo. La construccin 0err(uica se lla"a su+red.
#na su+red es un agregado de n,"ero de lugares) transiciones ! su+siste"as. Se
uede utilizar ara estructurar grandes rocesos. .n deter"inados niveles) se (uiere
dar una si"le descricin de un roceso &sin considerar todos los detalles'. Pero a
otro nivel (uizs) se (uiera esecificar un co"orta"iento "as detallado. Cada su+red
se reresenta con un rectngulo (ue encasula arte del "odelo general.
Estocsticas "conceptos redes petri2pdf$
Los "odelos de erfor"ance tratan de reresentar el co"orta"iento de
siste"as deter"insticos co"le0os or "edio de rocesos estocsticos. Ie esta
for"a es osi+le evitar una detallada descricin deter"instica de las oeraciones del
siste"a) sustitu!/ndola or asunciones ro+a+ilsticas) (ue caturen la esencia del
siste"a.
Las Redes de Petri .stocsticas &SPB' se o+tienen asociando con cada
transicin en una RdP una varia+le aleatoria con distri+ucin e*onencial (ue e*rese
el retardo desde la $a+ilitacin $asta el disaro de la transicin. .li"inando las
varia+les aleatorias de una SPB se o+tiene la RdP asociada.
Considere"os una SPB ! un "arcado - en el cual ",ltiles transiciones estn
si"ultnea"ente $a+ilitadas. La transicin (ue tiene asociado el retardo "s +reve
disarar ri"ero. La SPB alcanza un nuevo "arcado -a) en el cual algunas
transiciones estuvieron $a+ilitadas en el "arcado - ero (ue no fueron disaradas !
ueden aun estar $a+ilitadas. Ie+ido a la roiedad de falta de "e"oria de las
varia+les aleatorias e*onencial"ente distri+uidas) o+tene"os una distri+ucin de vida
igual a la distri+ucin del retardo de disaro en s "is"o. Se uede asu"ir (ue la
actividad asociada con cada transicin reco"ienza con cual(uier nuevo "arcado. .sto
es vlido inclusive cuando se est "odelando actividades (ue se suceden en for"a
continua: el "odelo no @sienteA la reeticin de actividades asociadas con una
transicin.
#na definicin for"al de una SPB es:
SPB 5 8P) T) A) -7) L:
donde P) T) A ! -7 se definen co"o antes !
L5&l1) l2)9)l"' es el con0unto de tasas de retardos asociados con las
transiciones) osi+le"ente deendientes del "arcado) asociadas con las transiciones
de la Red de Petri.
Cuando sea necesario) la deendencia con un "arcado dado - se
reresentar co"o l0&-'.
Se uede ro+ar (ue) de+ido a la roiedad de falta de "e"oria de la
distri+ucin e*onencial de los retardos en los disaros) las SPB son iso"rficas a
cadenas de -arMov de tie"o continuo. .n articular) una SPB M4acotada es
iso"rfica a una -C finita. La "is"a se uede o+tener alicando las siguientes
reglas:
1. .l esacio de estados S de la -C corresonde al con0unto de alcance R&-7'
de la Red de Petri asociada con la SPB &-ib4Ki'.
21
2. La tasa de transicin del estado i &corresondiente a -i' al estado 0 &-0' es
&-0' es (i0 5 YMHij
l
k
) donde î0 es el con0unto de transiciones $a+ilitadas or el
"arcado -i) cu!os disaros generan el "arcado -0.
#na SPB se dice ergdica si genera una CT-C. .s osi+le "ostrar (ue una
SPB es ergdica si -7) el "arcado inicial) es alcanza+le desde cual(uier -i (ue
ertenece R&-7'.
Si la SPB es ergdica) es osi+le calcular la ro+a+ilidad de distri+ucin de
"arcados en el estado estacionario resolviendo la ecuacin "atricial c` 5 7 con la
restriccin adicional Yci 5 l) donde ` es el generador infinitesi"al cu!os ele"entos se
o+tienen or el "/todo de construccin de la -C anterior ! es el vector de
ro+a+ilidades del estado estacionario. A artir de la distri+ucin de ro+a+ilidades del
estado estacionario es osi+le o+tener esti"aciones cuantitativas del co"orta"iento
de la SPB.
Redes de Petri Estocsticas )enerali*adas
Frecuente"ente no es desea+le asociar un tie"o aleatorio a cada transicin.
Batural"ente se tiende a asociar tie"os con las transiciones "s lentas o a(uellas
(ue se cree (ue tienen un "a!or i"acto en la erfor"ance glo+al del siste"a ! a
asu"ir instantneas a(uellas "u! +reves o cu!a duracin se esti"a (ue no tendr
i"acto en la erfor"ance glo+al.
#n e0e"lo tico uede ser el caso en el cual las actividades (ue co"onen el
siste"a oseen diferencias en duracin de rdenes de "agnitud. La ocin se
convierte en articular"ente conveniente si el n,"ero de estados de la Cadena de
22arMov asociada se reduce. Las Redes de Petri .stocsticas Qeneralizadas &QSPB'
se o+tienen er"itiendo (ue las transiciones ertenezcan a dos clases diferentes:
in"ediatas ! te"orizadas. Las transiciones in"ediatas disaran en tie"o cero una
vez (ue estn $a+ilitadas. Las transiciones te"orizadas disaran luego de un tie"o
de $a+ilitacin aleatorio) e*onencial"ente distri+uido. #na definicin for"al ara las
QSPB se o+tiene $aciendo (ue los ele"entos del arreglo L sean sola"ente ele"entos
"a) a(uellos asociados a transiciones te"orizadas. Si el con0unto de transiciones
$a+ilitadas ^ inclu!e sola"ente transiciones te"orizadas) entonces la transicin ti &i
ertenece ^' disara con ro+a+ilidad li > YMH
l
k
co"o en el caso de SPB. Si ^
involucra transiciones te"orizadas e in"ediatas si"ultnea"ente) ,nica"ente
disararn transiciones in"ediatas. Si ^ involucra cero o "s transiciones
te"orizadas ! sola"ente una transicin in"ediata) sola"ente disarar la transicin
in"ediata. Cuando ^ involucra varias transiciones in"ediatas) es necesario esecificar
la funcin de densidad de ro+a+ilidad en el con0unto de transiciones in"ediatas
$a+ilitadas de a cuerdo a la cual se o+tiene la transicin (ue disara. .l su+con0unto ^
(ue involucra todas las transiciones in"ediatas $a+ilitadas) 0unto con las
ro+a+ilidades de distri+ucin es lla"ado sditc$ aleatorio &rando" sditc$'.
22
Ejercicios
Ejercicio 34 1.
a. Iada la siguiente RdP) indi(ue cul es la "atriz de incidencia revia ! la
"atriz de incidencia osterior.
Figura 23 .0ercicio 1.
+. Iado el "arcado inicial 7 5 &7) 1) 7) 7' indi(ue cules de los siguientes son
"arcados son alcanza+les desde 7.
a. 5 &d) 1) 7) 7') d K57
+. 5 &d1) 7) 1) d2') d1 K57) d2 K57
c. 5 &7) 1) 1) d') d K57
d. 5 &d1) 7) 7) d2') d1 K57) d2 K57
Ejercicio 34 5.
Iadas las siguientes redes de Petri) indicar cules de ellas ueden entrar en
deadlocM. &si al "enos e*iste un "arcado en el cual no se uede disarar ninguna
transicin) entonces la red entra en deadlocM'
.n caso de (ue as sea dar una secuencia de disaros (ue lleve a esta
situacin.
Figura 2L .0ercicio 2 a.
Figura 2P .0ercicio 2 +.
Ejercicio 34 6.
Constru!a una red de Petri ara esecificar el funciona"iento de una "(uina
e*endedora de +e+idas. La "is"a tiene un desito de +e+idas con una cierta carga
inicial) ! un desito de "onedas el cual inicial"ente se encuentra vaco.
Cuando se le ingresa una "oneda ! $a! +e+idas) la "(uina entrega una
+e+ida ! al"acena la "oneda en el desito corresondiente.

2=
eC"o "odelara la situacin de (ue cuando no $a! "s +e+idas la "(uina retorne
la "onedaf
Ejercicio 34 7.
.*isten e(ueNas diferencias entre los siste"as de luces de trnsito en
diferentes ases. Por e0e"lo) el siste"a de luces ale"n tiene una fase e*tra en su
ciclo. Las luces no ca"+ian reentina"ente de ro0o a verde sino (ue antes de asar al
verde enciende la luz verde 0unto con la luz a"arilla.
Constru!a una red de Petri (ue se co"orte co"o el siste"a de luces de
trnsito ale"n. Aseg,rese (ue la red no er"ita transiciones (ue no son osi+les.
Ejercicio 34 8.
a. Constru!a una red de Petri ara esecificar el funciona"iento de un siste"a
de control de +arreras de un aso a nivel.
Cuando un tren se acerca) /ste es detectado or un sensor (ue ocasiona (ue
se +a0e la +arrera del aso a nivel. Cuando se ale0a el tren) es detectado or otro
sensor (ue ocasiona (ue se eleve la +arrera. Si la +arrera est elevada) los ve$culos
(ue lleguen al aso a nivel ueden asar a trav/s de /l) en caso contrario de+en
eserar $asta (ue la +arrera sea levantada.
+. [erifi(ue (ue el "odelo construido no er"ita la situacin en la (ue la
+arrera se encuentre alta) arri+e un tren ! un ve$culo) ! se le d/ el aso al ve$culo
antes de +a0ar la +arrera. Si no es as "odif(uelo ara (ue no se d/ dic$a situacin.a.
Constru!a una red de Petri ara esecificar el funciona"iento de un siste"a de control
de +arreras de un aso a nivel.
Ejercicio 34 9.
#sando alguna de las e*tensiones estudiadas) constru!a una Redes de Petri
(ue descri+a el siguiente ro+le"a: #n roceso desac$ador de "ensa0es reci+e
"ensa0es rovenientes de dos canales diferentes. [erifica la aridad de cada
"ensa0e. Si la aridad es incorrecta) enva un aviso de no4reconoci"iento del "ensa0e
a trav/s de un canal de resuesta &e*iste un canal de resuesta or cada canal de
entrada'\ si la aridad es correcta) coloca el "ensa0e reci+ido en un +uffer. .l +uffer
uede contener $asta diez "ensa0es. Cuando el +uffer est lleno) el desac$ador
enva todo el contenido del +uffer a una unidad de rocesa"iento a trav/s de otro
canal. Bo se ueden colocar "ensa0es en un +uffer lleno.
Ejercicio :
Resuelva "ediante una RdP el siguiente ro+le"a:
#n gruo de 3 filsofos se encuentran sentados en una "esa circular donde
$a sido deositada co"ida c$ina. Cada filsofo tiene frente a /l un lato donde
servirse ! entre cada uno de ellos un alillo c$ino. Co"o sa+e"os) ara co"er co"ida
c$ina necesita"os dos alillos) entonces cada filsofo ara co"er de+e tener dos
alillos en su oder.
.l ro+le"a est en (ue si cada filsofo tiene un slo alillo en su oder todos
los filsofos entrarn en una esera eterna ara co"er) otro ro+le"a uede surgir !
es el (ue un filsofo o+tenga sie"re los dos alillos ! se "antenga co"iendo) lo (ue
roducir (ue los otros filsofos no uedan co"er.
2?
Ejercicio ;
Tres fu"adores estn reresentados or los rocesos F1) F= ! F=. Tres
vendedores estn reresentados or los rocesos [1) [2 ! [=. Para fu"arc cada
fu"ador necesita ta+aco) ael ara ta+aco ! un fsforo\ cuando disone de estos
recursos) el fu"ador fu"a un cigarrillo $asta ter"inarlo ! entonces (ueda elegi+le ara
fu"ar de nuevo. F1 tiene ta+aco) F2 tiene ael ! F= tiene fsforos. [1 vende ta+aco !
ael) [2 vende ael ara ta+aco ! fsforos) ! [= vende fsforos ! ta+aco. [1) [= !
[= tra+a0an en e*clusin "utua\ slo uno de los rocesos uede tra+a0ar a la vez ! el
siguiente vendedor no uede tra+a0ar $asta (ue los recursos su"inistrados or el
vendedor anterior $a!an sido consu"idos or un fu"ador.
A artir de este enunciado) di+u0e una RdP (ue reresente el ro+le"a ! sus
"atrices de incidencia revia ! osterior.
23
Respuestas a los ejercicios
Ejercicio 1
-atriz de incidencia revia &P t'
t1 t2 t= t?
P1 7 1 7 7
P2 7 1 7 7
P= 7 7 1 7
P? 7 7 7 1
-atriz de incidencia osterior &t P'
t1 t2 t= t?
P
1
1 7 7 7
P
2
7 7 1 7
P
=
7 1 7 7
P
?
7 7 1 7
a. -arcado alcanza+le.
+. -arcado alcanza+le.
c. -arcado no alcanza+le.
d. -arcado no alcanza+le.
Ejercicio 5
a' no
+' no
2L
Ejercicio 6
Figura 2S Resuesta al e0ercicio =. -(uina e*endedora de +e+idas.
Ejercicio 7
Figura 2T Resuesta al e0ercicio ?. Se"foro ale"n
Ejercicio 8
Figura =7 Resuesta al e0ercicio 3. Siste"a de control de +arreras de un aso a nivel.
Ejercicio 9
Se utilizaron RdP coloreadas ara identificar los "ensa0es (ue circulan or
distintos canales. .n ro0o los "ensa0es del canal A ! en azul los "ensa0es del canal B.
Figura =1 Resuesta al e0ercicio L. Iesac$ador de "ensa0es.
Ejercicio :
-atriz de incidencia revia
[
1
[
2
[
=
F
1
F
2
F
=

1
1 1 1 7 7 7
2 7 7 7 7 7 1
= 7 7 7 1 7 7
? 7 7 7 7 1 7

1
t
1
t
=
=
t
2
%ngresa
"oneda
Iesito
rovisorio
Be+idas
Iesito de
"onedas
Salida de
"onedas
3
Salida de
+e+idas

1
t
1
=
t
2
3
t
= t
?
Ro0o
[erde
A"arillo
[erde
A"arillo

=
t
1
t2
? t=
3
t
3
P
t
L
L
t
?
Tren
acercndose
Sensor A
Sensor B
Barrera
en alto
Barrera
+a0a
Tren
ale0ndose
Auto"viles
ara cruzar
Auto"viles
(ue cruzaron

2P
-atriz de incidencia osterior
[
1
[
2
[
=
F
1
F
2
F
=
1 7 7 7 1 1 1
2 1 7 7 7 7 7
= 7 1 7 7 7 7
? 7 7 1 7 7 7

Ejercicio ;
Figura =2 Resuesta al e0ercicio S.

2S
)losario
Conjuntos
8e1) e2) . . . ) en: Con0unto for"ado or los ele"entos e1) e2) . . . ) en) &or e*tensin'
&eCr' Con0unto for"ado or los ele"entos e (ue cu"len la
roiedades r &notacin or co"rensin'
Pertenencia
Bo ertenencia
Con0unto vaco
A # B #nin de los con0untos A ! B
A B %nterseccin de los con0untos A ! B
A < B Producto cartesiano de A or B Econ0unto de los ares &a) +') aeA
! +.BF
A B
%nclusin del con0unto A en el con0unto B
A B
%nclusin o igualdad del con0unto A en el con0unto B
<gica
.*iste &cuantificador e*istencial'
Para todo &cuantificador universal'
%"lica.
S ! solo s.
2T
ndice de imgenes
FIGURA 1REPRESENTACIN GRFICA DE UNA RDP........................................................................4
FIGURA " LUGAR ACTIVO...............................................................................................................4
FIGURA #TRANSICIN SENSIBILIZADA............................................................................................4
FIGURA 4TRANSICIN VALIDADA...................................................................................................4
FIGURA 5RED DE PETRI CON CUATRO LUGARES $ TRES TRANSICIONES........................................5
FIGURA %EVOLUCIN DEL MARCADO DE LA RED DEL EJEMPLO 1..................................................8
FIGURA 7ESTRUCTURA BSICA. SELECCIN...................................................................................9
FIGURA 8ESTRUCTURA BSICA. ATRIBUCIN................................................................................9
FIGURA 9ESTRUCTURA BSICA. DISTRIBUCIN.............................................................................9
FIGURA 10ESTRUCTURA BSICA. CONJUNCIN..............................................................................9
FIGURA 11ESTRUCTURA BSICA. EJECUCIN SECUENCIAL............................................................9
FIGURA 1"ESTRUCTURA BSICA. SINCRONIZACIN.......................................................................9
FIGURA 1#ESTRUCTURA BSICA. CONCURRENCIA.......................................................................10
FIGURA 14ESTRUCTURA BSICA. CONFLICTOS............................................................................10
FIGURA 15EJEMPLO DE UNA RDP NO VIVA..................................................................................1"
FIGURA 1%EJEMPLO DE UNA RDP PSEUDOVIVA...........................................................................1"
FIGURA 17EJEMPLO DE UNA RDP NO REVERSIBLE.......................................................................1#
FIGURA 18EJEMPLO DE UNA RDP NO ACOTADA...........................................................................14
FIGURA 19EJEMPLO DE UNA RDP CON SU GRAFO DE ALCANZABILIDAD.....................................15
FIGURA "0E&TENSIONES. RECURSOS COMPARTIDOS....................................................................1%
FIGURA "1E&TENSIONES. ARCOS IN'IBIDORES............................................................................1%
FIGURA ""VALIDACIN DE UNA RDP...........................................................................................17
FIGURA "#T(CNICA ENUMERATIVA DE VALIDACIN....................................................................17
FIGURA "4T(CNICA DE TRANSFORMACIN DE VALIDACIN........................................................18
FIGURA "5EJERCICIO 1................................................................................................................."#
FIGURA "%EJERCICIO " A.............................................................................................................."#
FIGURA "7EJERCICIO " B.............................................................................................................."#
FIGURA "8RESPUESTA AL EJERCICIO #. M)UINA E&PENDEDORA DE BEBIDAS.........................."7
FIGURA "9RESPUESTA AL EJERCICIO 4. SEMFORO ALEMN......................................................"7
FIGURA #0RESPUESTA AL EJERCICIO 5. SISTEMA DE CONTROL DE BARRERAS DE UN PASO A
NIVEL............................................................................................................................................. "7
FIGURA #1RESPUESTA AL EJERCICIO %. DESPAC'ADOR DE MENSAJES........................................"7
FIGURA #"RESPUESTA AL EJERCICIO 8........................................................................................."8
Figura ==............................................................................................................................................
=7
=i(liograf>a
C. Ra"c$andan. @Anal!sis of As!nc$ronous concurrent s!ste"s +! ti"ed etri netsA) -%T -AC4TR4127)
1TP?.
%ng. gair Cervantes Canales. Reresentacin ! arendiza0e de conoci"iento con redes de Petri difusas.
-e*ico 2773.
h. gensen) @Colored Petri nets and t$e invariant "et$odA) T$eoretical Co"uter Science) volu"e 1?) 1TS1)
. =1P4==L.
-urata) Tadao. @Petri Bets: roerties) anal!sis and alicationsA. Proceedings of t$e %...) [ZL. PP) Bo.
?. Aril 1TST.
=1

Apunte de RDP

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Apunte de RDP

Cargado por

Copyright:

Formatos disponibles

Teora de Redes de Petri

.iste &cuantificador eistencial'

Para todo &cuantificador universal'

También podría gustarte