HAL Id: inria-00073286
https://hal.inria.fr/inria-00073286
Submitted on 24 May 2006
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
A Primitive Recursive Algorithm for the General Petri Net Reachability Problem
Zakaria Bouziane
To cite this version:
Zakaria Bouziane. A Primitive Recursive Algorithm for the General Petri Net Reachability Problem.
[Research Report] RR-3404, INRIA. 1998. �inria-00073286�
ISSN 0249-6399
a p p o r t
d e r e c h e r c h e
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
A Primitive Recursive Algorithm for the General Petri Net Reachability Problem
Zakariae Bouziane
N ˚ 3404
Avril 1998
TH `EME 1
$%&')(*+,.-/(0 !(1! 32 41!
57638963:<;=69>@?4ACBDE;F6HG>
I7J9KLNMPORQ STUVM<W#XZY[M\]UV^EUV\_KLNMU
`ba_c#deM\f`CgRhi`Cg
S]W#jkjCcla_\mkMna_MopJ9MapopJ9Mrqsltvu#twQ gxya_z|{0O~}}4Q O<tj3W#MU
w) <klv I7J9MMq9MaW#{Z`M\_aVzyq9M\apMWlopJ3W#z{z|\^jka_clk{MLzUUeJ9c~'q\pcCMmMozm9W#k{M
zqmkclXk{M0MYEjCclq9MqE\VzW#{yUej3WloMl0I7J9M0jka_Mxyzc#X9UW#{c#a_z\VJkL,zUq9clqZjkaVzLz\_z|xMapMoXkapUezxlMl
iv¡ V¢£ ¤ l `M\Va_z¥fM\<¦3SM<WlopJ9W#kz{|z\^l¦k§MozmkW#kz{|z\^l¦k`c#{^yq9clLzW#{
¨ª©«¬~®'«°¯±²¬³F´µ
Unit´e de recherche INRIA Rennes
IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) T´el´ephone : 02 99 84 71 00 - International : +33 2 99 84 71 00
T´el´ecopie : 02 99 84 71 71 - International : +33 2 99 84 71 71
(4771! !(&[ ( !
qL c#qE\VapMvX9M'{M7jkapc#k{KL M mW#ooMU_Uezkz|{z\_T7m9Wq9Ub{MU)apTU_M<WXYPmkM`M\_aVz
MUV\RmkTozm9W#{MMq MUVj9WloMPmkclXk{ML MqE\MYEjCclq9Mqy\VzM{=W#{cla_z|\_JkLNM*MYEzUe\W#qy\W<x#W#qy\
MUV\q9c#q jkaVzLz\Vza_ToXapUVz
! £ #" STUVM<W#X mkM`M\_aVz¦9gooMU_UVz|kz{|z\_Tl¦k§fTozm9W#kz|{z|\pTl¦`cl{|^yq%$lLNM
8 9
&P ![4&":
hiW#qy^WlUej¡Mo\_U'c \_J9MXq9m9W#LNMqy\W{¡q3W#\VXkapMnc oclLjkXk\pW#\_zclq!W#a_MRc \pMq!UV\VX9mzMmxEzW
cla_L W#{LNcEmkM{U¦UeX9opJWlUIXka_z|q9nLwW#opJkzq9MU¦<;kqz\pM Ue\W#\_MLwWlopJzq9MU¦EW#q9mjkX9UeJmc 'q
W#Xk\pc#LwW#\pW q9M claVLwW#{|zUeL \VJ3W#\J3WlU'CMMqiX9UVMm \_cL cEmkM{¡j3W#aW{{M{oclLNjXk\W#\VzclqkU
zU\_J9M `M\_a_zEq9M\>=@?Z¦BA=gUW]LNM<W#qkU)c vW#zqzq9]W]CM\V\pMa)Xkq9mMapUe\W#qkmzq9c \VJ9M`M\_aVz
q9M\°LNcZmkM{¦\VJ9MmkMozm9W#z{z|\^W#qkmNoclLNjXk\W#\Vzclq9W#{koclLNj{MYEz|\^c H\^Ejzo<W{HW#Xk\pc#LwW#\pW
\_J9MclapM\_zoNjkapcl{MLNUoclq9oMa_qzq9 `M\_aVz'q9M\_UJ3W<xMwCMMq M YW#LNz|q9Mm¡DC)YW#Ljk{MUc
UVX9opJNjkapcl{MLNUbzqko{XkmkM'mkM<W#m{cEoE apMMmkc#Li¦EW#q9mP{z|xMq9MUVU c H\_JkM]Ue^EUV\pMLiGFEcl{Xk\VzclqkU
\pcn\_J9MU_M]MYW#Ljk{Mjapclk{MLNU)jka_cZo{W#z|Li¦zqNWnU_MqkU_Ml¦E\_J9M]W#kU_MqkoM]c IHmz7JoXk{\VzMULK cla
W#{{¡UV\W\pMU\_J9W#\]W#apMRa_M<WlopJ9W#k{Mnz|q[\VJ9M*UV^EUV\_ML
g]q9cl\VJ9Ma yXkMUV\Vzclq zU*'J9M\VJ9MaU_clLNMwW#aVkz\VaW#aV^ UV\pW#\pMNo<W#q ¡MPapMWlopJ9Mm a_clL W
;YZMm zqkz|\_zW#{UV\pW#\pM#4I7JkM{W#\_Ma<¦H\_J9MUVc#oW#{{Mm Mq9MaW#{apMWlopJ3W#kz|{z|\^[japclk{ML ¦CzUc
3WlUVzozLjCcla_\pW#q9oM clafLwW#qy^ cl\_JkMapUNM\zUfa_MoXkapUezxM{^iM vXkzx#W#{Mqy\R\_cw\_J9M{|zxlMq9MU_U
jkapcl{MLO=QPAF!h c#apMc~xlMa<¦bW[qyXkLCMa4c c#\_J9Ma4jka_clk{MLNU*z|q \VJ9MPapMjapMUVMqy\W\_zc#q c
j3W#aW{{M{Wq9m oclq9oXka_a_Mqy\UV^EUV\_MLNU¦zq.{Wq9lX3WllM Mq9MapW#\_z|q9 UV^EUV\_MLNU¦zq+W#{MkapW
W#q9m zq qyXkLCMa*\_JkMclaV^ o<W#q CMUeJ9c~'q \_c!CMPMSRCMo\_zxlM{|^ apMmZX9oz|k{Mcla*MvXkzx#W#{Mqy\
\pc\_J9Mna_M<WlopJ3Wkz{|z\^jkapcl{ML
T
Wapmkc<UW¦ z|jk\pclq¦h W~^ya[W#qkm h[M^MaV=ªOl¦WBARJ3W<xM UeJ9c~'q M YZjCclq9Mqy\_zW{nUVj3W#oM
{c~7MaP¡clXq9m cla\VJ9M!apM<W#opJ3W#kz|{z\^ jkapc#k{MLi¦°kXk\P\_JkM clq{^VEyq9c~'q W{claVz\VJkL zU
q9clq=jka_z|LNz|\_zxlMapMoXka_UVzxlMX=QYE¦)tBAFZCbxMq \_J9MwmMozm9W#kz|{z|\^ c \_JzU4japclk{ML W#UW#q
clj¡Mq yXkMUV\Vzclq cla'L W#qy^w^MW#apU
[ & (4& 2w&4 ( ]\N!(n4&!
gUX9UVX3W{¦%^4_ mkMqkcl\pMU]\VJ9M4UVM\]c q9clqkq9MvW#\VzxM*zqy\_MMapU]W#q9m`^4_ba mkMq9cl\_MU\_J9Mdc
mzLNMq9Uezclq9W#{ocl{|XkLNq xMo\pcla_UPc 'q3W#\VXkaW#{ qyXkLCMapU"e9claW#qy^ z|qE\_MMapUgf%hibjk^4_
UVX9opJ \_J3W#\Nf"lmi~¦\_J9MPzqy\_Ma_x#W#{onf%hipmkMq9c#\pMU*\_JkMNUVM\rqfIhf.sut<h#v#v3vShi#wyxe3c#aW#qy^
xMo\pcla_Uoy)zhy%{|j}^4_
a Mn'a_z|\pM~
yzy%{zW#q9m[clqk{|^ zy)zS LyI{# p¦ claMxlMaV^` jVqthh#v#v3vh/c}wy¦
S
t
yzsZyI{°\pc4mkMqkcl\pM\_J9MxMo\_cla7c ^4_ a 'JkcU_M' RoclLNjCclq9Mqy\zU6yzS 2sZyI{ p¦
yzhyI{ \_c mkMq9cl\pM \_J9M xMo\_cla c ^_ a 'J9cUVM oclLj¡clqkMqy\ zU
y)z Lhy%{, L/ W#q9m
yz
qBy)z L Gj nt<h/c pwy
g
' ()
zU W \_Xkj{M >h >h"!>h$#%S 'JkMapM#¦ q$& zh& {#h#v#v3v3h'&
a w
zU W ;kqkz|\pM UVM\@c )( * ¦* q,+zh+L{#h3v#v#v3h-+/.w+zU W ;kqz\pM U_M\@c +*(0 (0 ¦
! 0 213o54 61 87:9 ^4_ zUNW8;
< !() (3=
¦W#qkm>#?% j ^4_ a zUW#q
(%* r*"(
MqiW{{H\_JkzU7j3W#jCMa>c'z{|{¡mMUVzlq3W#\_M\_JkMRqEXL¡Mac jk{W#oMUW#q9mA@
\_J9MnqyXkLCMa]c \_apW#q9UVz|\_zclq9Uc \_JkM4`M\Va_zq9M\<
M\B >h >h"!>h$#?%CMwW `M\Va_zq9M\W#q9m3#?C}j ^_ a ¡M W[L W#a/Eyz|q9kA#DC
zUwU_W#zm \_c CM /*0*2137 zqE@¦RW#q9m M q9cl\pM z|\A#DC jGFIH Xp¦]z *\_J9MapM MYEzUe\
W";kqkz\_M U_M\!c *xMo\pc#apUKJxzh"J {#h#v#v3v3h"JBL j ^4_ a W#q9m W U_MvX9Mq9oM c \VaW#qkUVz\VzclqkU
+/MONh+/MPh#v#v#vSh+/MQojR UVX9opJ \_J3W\
STTTTTT
UTTTTTTV
#% Jxz sW! vh-+/MON
JXs!rY+/M[Z,h#v4 J\X] z)sW! vh+/M^Z_ N c#aMxMa_^a` j nt<h"bB7 tSp
JBLGs!rY+/MQ h#v4 #DC
c
Oed
¥fcl\_M\VJ3W#\fUV^EUV\_ML
c
OedJ3WlUfWNUVcl{Xk\Vzclq[zbW#q9m clqk{^ z)z|\J3WlURWU_cl{|Xk\_zclq[UVX9opJ \VJ3W#\¦
claMxlMa_^`<h'`gf jnQt<h$bp=¦h`jik`lf¦k M*J9W~xlM)#%)imJ\XsW! vh-+/M[Z3niEJ\XposW! vh-+/M
Z o
I7JkMrq3ts %"vu ~w s * kyxkzw "Yw |{ £ " zUb\VJ9M'jkapcl{ML c CmkMozmz|q9
cla*Wwlz|xMq W`M\_aVz0q9M\ >h >h"!>h$#?%fW#q9m@W L W#a/EyzqkA#DC j ^4_ a 'JkM\_JkMa
#DCNj|F}H Z
Xka]oclLNjXk\W#\Vzclq!c 0W#q!XkjkjCMa]CclXkq9m cla'\_JkM*a_M<WlopJ9W#kz{|z\^Njkapcl{ML zU3WlUVMm
clq@WNapMmX9o\_zc#q c °\_JkzUf{W\pMaf\pcw\VJ9Mjka_clk{ML c °U_cl{|xEz|q9W jCcl{^yq9c#LNzW#{M vX3W#\Vzclq
e3c#a\_J3W\7Mnq9MMm!\pcmkM;kq9Mn\_JkMRj¡cl{|^yq9clLzW#{U7WlUVU_cEozW#\pMmw\pcW`M\_a_zqkM\<~ Mo;ka_UV\
'* rYYO Yh/-\,
Y,e ¡
Y
e¢£¥¤
£¦
)§
¤
,¨Y©ª¬«
¤
y
®¯[°±YY²³ -g´/¬°±O'
µ·¶µ¸
ocEmkM \VJ9MiUVM\wc RxMo\pc#apUwzqy\_c zqy\_MMapUNy^ \_JkM J9M{j c nW#q (# !() (
mkMS;kqkMmy^
y k
z
v {
v
v#v#v
a
'J9Ma_MzU \_J9Moc jkaVzLNM]qyXkLCMa
I7J9Mq¦0z|q clapmkMa\pc UezLjk{z ^ \_JkMwq9cl\W\_zc#q9U¦b MwjkXk\¯%x #DC¦%x #?%3
W#q9m¦¯M
!r+vh+/M +nWq9m M
!rY+/M h3v+¦ clad dj nt<h@ pF ez|q3W#{{|^¦{M\ ^2n p°CM
\_J9MU_M\7c ¡jCcl{^yq9clLzW{U)c~xlMa clq9MxlWa_zWk{M W#q9m'J9cUVMfocZMJNozMqE\_U7WapM'zqbq! 0h#twy
gf{{¡\_J9MnjCcl{^yq9clLzW{U°7Mn'z{|{mkMW#{'z\VJ[z|q!\_JkzUj3W#jCMa]W#a_M*z|qb^2n pF
I7JkMNapMmX9o\_zc#q a_clL \_JkMa_M<WlopJ3Wkz{|z\^ jka_clk{ML \_c[\VJ9Mjapclk{ML c 7U_cl{|xyzq9[W
j¡cl{|^yq9clLzW#{CUV^EUV\_ML zU'lzxlMq[E^ \_J9M cl{|{c~'zq94{MLL W
" .$#&%('
#DCj FIHoX
! *(*) (%45 !} %V,+<7D*.-$(% } /3%()"L!
(%L 10 M32Xj ^4_ % 0*6 % !#7<( ( 45B() * /3 * (Z7 -)
5476 s .
8
M:9 z L,;
8
X9 z
;=<Z?>
4 ;
@BAC6 s .
8
M=9 z LD;
8
X,9 z
;:<ZE>
A ;
j}^2n`p
c
Pld
u4 ££GF % e9claMxMa_^xMo\_clapUyzhyI{3hy
j}^4_ a ¦k M*J3W<xM
nyzy%{s y
p&HJI n y)z y%{Sv y p
I7JEXkU¦% claMxlMaV^xMo\pcla_Uoy)zhy%{#hy
j}^_ a
¦ MJ3W<xlM
nyzy%{s y
p&HJI n5K
N
@LK
PMN>
K
CO p
M MjkXk\QP³M
J)Mp¦ cla 'junQt<h$bp=¦\VJ9Mq¦a_clL%\_J9MapMWlopJ3W#z{z|\^[mkMS;kqz\_zclq¦¡ M
mkMmXkoM*\_J3W#\#?C.j|FIHoXz )Wq9m c#qk{^Nz7M*J3W<xM
STTTTTT
UTTTTTTV
% P zv MN
P®X,vM[Z P®X] zv M[Z_ N cla5`xjnQt<h$b)7 t3p
POLBvM
Q %
S
W
fMqkoMl¦ #DCdj|FIHoXz bW#qkm[c#qk{^Nz7MnJ3W<xM
STTTTTT
UTTTTTTV 476
NM>
A ;N
ZC>
4 ;Z
Z_ N >A ;
Z_
N cla5` j nt<h"bB7 tSp
Q >4 ;Q
AC6
~ Mo<W#q opJkcZcUVM ¯%Bi P®X,vM[Zi PX ovM
Z o ¦ cla]MxlMaV^I`<h/`lf j nQt<h$bp
c
I7JkzUzUM vXkz|x#W
{Mqy\'\_c}#%)imJ\XsW! +/M[Z h#v4niEJ\X o sW! +/M
Z o h#v4pd
I7JEXkU¦ #DCNjjFIH ZzW#q9m[clqk{|^ z MJ9W~xlM
4 6 s L
8
X9 z ZE>
4 ;Z
@
A 6 s L
8
X,9 z Z?>
A ;Z
j}^2n`p
w& " 2 & ( ]\!(*4&
e9a_clL {MLLwWgPE|O*7MmkMmX9oM\_J3W\]\VJ9M*apM<W#opJ3W#kz|{z\^Njkapc#k{MLzUM vXkz|x#W#{MqE\\_cP\VJ9M
jkapcl{ML c HmkMozmZzq9R'J9M\_J9Ma°UV^EUV\_ML
c
PldJ3WlU°WRUVcl{X\_zc#q MqP\VJkzUbUVMo\_zc#q7MUVJkc
\_J3W#\*\VJkzUn{W\pManzU*mkMozm9W#{Ml
Xka*jkapcEc oclq9UezUV\_Uz|q apMmZX9oz|q9iUe^ZUe\pML
c
Pld\pc W#q
M vXkzx#W#{Mqy\PUV^EUe\pML L WlmkM c f\ c@M vX3W#\Vzclq9U
c
{MLNL W s²Oed I7J9Mq 7M!UeJ9c~ \_J9W#\
\_J9MfU_M\c U_c#{Xk\Vzclq9U°\pc4\_J9M|;kapUe\'clq9Mfo<W#qwCMMR¡Mo\VzxM{^NoclqkUV\_aVX9o\_Mm
c
{MLLwW*sQPld
ezq3W{{^l¦7Moclq9Ue\_aVX9o\\VJkzU U_M\W#q9mwM YE\_aW#o\a_clL z\\_J9MRUVcl{X\_zc#q9U\VJ3W#\W#{UVc4xMa_z ^
\_J9M*U_MoclqkmiM vX3W\_zc#q
c
{MLNL WssPW#q9m!{MLL Wsthd
" .%(' /3 * ( 0*g*b 4 (V!r*(*)}(%45`! % ,+<7]< -$(%L
/3I()|L!(%
M2XheM32X|j}^4_
I 0* %]< !#7<(
(
45() *%/3 *
(0N*d-)
5476 s .
8
M=9 z LD;
8
X9 z C ;=<Z?>
4 ; BAC6s
.
8
M=9 z L o;
8
X9 z
;:<ZE>
A ;
j}^2n p c
sgd
µ·¶µ¸
LD;
8
X,9 z
BA
; C ;=<Z?>
4 ; L o;
8
X9 z 54
;
;:<ZE>
A ;
!# 5 $jnth @ p c
thd
u4 ££GF % C vX3W#\Vzclq
c
thd zU'MyXzx#W#{Mqy\]\_c\_J9Mnjka_clj¡clUVz\Vzclq
M32X> eM32X c#a] Gj nt<h@ pW#q9m`xj nt<h"blMp
I7JEXkU¦!\_J9M zqy\_MapUVMo\_zc#q c M vX3W\_zc#q
c
sgd W#q9m M vX3W\_zc#q
c
thd zU.MyXzx#W#{Mqy\.\pc
M vX3W#\Vzclq
c
Pd
M\r%0CM\_J9M'UVM\c 3Xkjk{M\pU]$zh3v#v#v3h {>.UVX9opJ\_J9W#\<¦ clabMxMa_^g $jnQt<h @ p=¦hM j
^n 4 ;
p0Wq9m v. ] MGjV^<n A ;
pF¦W#qkm5
476 s .
M=9 z
vM D@
AC6
s
{>.
M=9 . ] z
M DGj}^2n p<
r%zU\VJ9Mq[\_J9M*UVM\]c U_cl{|Xk\_zclq9U\pcPMyX9W#\_zclq
c
sgd
M\PO% Pc}q¯M h? M j nt<h@ p w c
P cPzU\VJ9Mw{MWlUV\oclLL clq.LXk{\Vzjk{M,d*W#q9m
P z$ q vP³% j}^4_ Wq9m
¯%#h?%S vPO%3wy
M\ z*CM \VJ9MwU_M\Pc 'Xkjk{M\_U zh#v#v#vh {>.rjr%UeX9opJ \_J3W\<¦ claMxMa_^ .j
nt<hv@ p=¦ M J9W~xlM M P z oz zU ;kqkz\_M W#q9m M oW#q 'a_z\_M
z q
zz
h#v3v#v3h
z
{>.
h#v#v3vSh z h3v#v#v3h {>
.
wy
M\]{fCMn\_J9M*UVM\]c )Xjk{M\pUd dzh3v#v#vh {>.7UeX9opJi\VJ3W#\ claMxMaV^b Gj nQt<h @ p=¦k M
J3W<xM! Mj}^n 4 ;
pF¦" .,] Mj}^2n A ; p=¦
ae
q#$I Mh$I . ] M/w% P³%W#qkm
.
8
M:9 z
M D
{>.
8
M=9 . ] z
rML D
|{zU;kqz\pM*Wq9m[ M*o<W#q['a_z|\pM&]{>uq
zz
h#v#v3vSh
z
{>.
h#v#v#vSh
Lz
h#v#v#vSh
L
{>.
wy
" .%# r% 7 /3 * r% ]L! ( 7 $zh3v#v#v3h {>.2 % 0*
$zh#v3v#v3h"{>.2 zh#v#v#vSh {>.)s N v L
8
M=9 z
v(' M Dv7
Mz
h#v3v#v3h
M
{>.
S
!#x x
zh#v#v3v3h {>. j oz
*(*)
'zh3v#v#v3h':L"j ^n p
I 0*
L
M=9 z
v(' ML Dr
M=9%
M>6
!#o x
fxj}^4_
u4 ££GF %
e9claMxlMa_^D zh#v3v#v3h {>.j oz¦%cla]MxMa_^ P j nthv@ pW#q9m cla]MxlMaV^[LNclq9c
LNzW#{&z|q
MnJ3W<xM l P z
e9claRMxMaV^} |jnth$bpF¦ clanMxMa_^LPjnQt<hv@ pbW#qkm clanMxlMaV^iLNclq9clLzW#{ z|q
M D°7M*J3W<xM l PO%~
fMq9oM#¦ claMxMa_^` >j nQt<h$bpF¦ claMxMa_^LPGj nQt<hv@ pbW#qkm clafMxMa_^ L clqkclLNzW#{
zq.
N v
>6 v M
°7M*J3W<xMQP z si vPO%l P z s is tBvPO%~
T clq9UVM vX9Mqy\V{^¦ D s N v L
M=9 z v' ML Dv
M
DGj ^n pF°I7JEXkU]\VJ9M*UVXkL
zh#v#v#vShd{>.2)s N v L
8
M:9 z
v(' M Dv7
Mz
h#v#v3v3h
M
{>.
zUz|qr%~
M\`zh#v#v#vSh" {>.2 j r%Wq9m+{M\
q# :X3` j nt<hv@ pwy e3c#a
MxlMa_^*`xjnQt<hv@ p=¦y{M\ rX\_c4CMf\VJ9M{WapMUV\ UVXk=j¡c#{^yq9clLzW#{kc :Xc mMla_MM
{MU_U\_J9W#q P z¦9W#q9m{M\
X
\_c¡Mn\VJ9MR{W#a_MUe\UVXkZjCcl{^yq9clLzW{Cc XUVX9opJ[\_J9W#\
W#qy^PL clqkclLNzW#{G c v:XxMa_z^JPz s P 7 tBvP³%'l P zIs P vPO%
c
PzU7UeX9opJ\_J9W#\
P zs P:7 tBvPO%|l9
I7J9MnXkjk{M\d zh#v#v3v3h {>.°zU\_J9Mq z|q z
e9cla `xl>@ M*J9W~xlM* Xj}^2n 4 Z
pFfMqkoM*MxlMa_^!LNclq9clLzW{ c
X
xlMa_z ^
P z s P 7 tBvPO%|l > v X P z s P vPO%¦ claUVclL M bjZ^4_
h cla_Mc~xMa<¦ a_clLr\VJ9MfmMS;kqkz|\_zclq c PO%7W#q9m P z ¦E MmMmX9oMf\VJ3W#\ PO%> ¥%3v¥XW#q9m
P z)zv¥X~¦ claU_clLNM ´% h z6j}^_@I7JEXkU
)z s P 7 tBv¥%v Xl > v X k )z s P v(´%Sv¥X
µ·¶µ¸
~ JkzopJ!LNM<W#qkU\VJ3W#\
N v
z >6 v >4 Z claUVclL M i v X PO%
Mq \VJ9MoWlU_M]'J9Ma_M @ ` lv@)¦y MfX9UVMf\_JkMUpWL MjkapcEc CE^Pa_Mjk{Wloz|q9 ¥Xy^
gX .E
T clq9UVM vX9Mqy\V{^¦) z
h3v#v#v3h
{>. j z0I7JyX9Uzh#v#v#vSh" {>.o<W#qN¡M'a_z|\_\_Mq z|q
\_J9M claVLc \_JkMMvX3W#\_zclq!zq!{MLNL WsQPZ
" .% /3 * (0*|* 4 ( !|*(*) (%45 !> %o,+<7
'zh#v3v#vSh':L j
^n p
Ib0*G %dY< ]!#7<( 5 L..* -)
{]>{ > Q
8
; N
; {3> ;
{39
_
{]]{ (>
Q
8
; N
;
{N> ; _ {3
zM2³. !
*(*)
L
8
M=9 z ' M
8
M=9%
M3>
6 c
Wgd
!# x fxj}^_ *(*) zh#v#v#vSh {>.6j oz
u4 ££GF % ekapclL {MLL Ws|ONW#q9m {MLNL WsQPZ¦7MNmkMmZX9oM\_J3W#\MyX9W#\_zclq
c
PldfJ3WlU4W
U_cl{|Xk\_zclq z nW#qkm clqk{|^.zf\_J9MapMiM YEzUV\ 'zh#v#v3v3h ':L j ^2n pfW#q9m fj ^4_ UeX9opJ \_J9W#\
L
M=9 z ' M D
M=9%
M3>
6
¦9W#qkm
"
] "
(>
Q
8
; N ;
#"
> ;
#"
3!9
$ _
#"
] "
N>
Q
8
; N ;
"
> ; _
"
3&%'
() zM2¬.
fc~7MxMa<¦cla P jnQt<h @ pF¦C\VJ9MjCcl{^yq9c#LNzW#{U
A s N >A v L
M=9 z ' M A
v
M
A
W#q9m .,]
4 s NM>
4 v L
M=9 z ' ML 4
v
M
.,]
4
*W#a_Mz|qV^2n`p= fMq9oM#¦)\_JkMU_MN\7c
j¡cl{|^yq9clLzW#{U4WapMwMyX9W#{z]Wq9m.clqk{|^ z '\_J9M^ J3W<xMw\VJ9MUpWL MxlW{X9Mwc#q.zqy\pMMarE
I7JkzU'Mq9mkU\_J9Mnjka_cZc
" .%*,+
%5 L r* ).L!|5, - g*(*) 5 L '. N0*d* 4 ( !
*(*) (%45 !o$0*.*g 4 ( <
frl
{/ 0N
!#o x (0 *(%
j}^4_
S
O~u
u4 ££GF % e9cla $jnQt<h$bp=¦!PjnQt<h @ p=¦~{M\rM32
k N >A v M A
¦rM32.,]
NM>
4 v M
. ] 4
p¦
%2
A W#q9m %2. ]
.,]
4
p M\ qkj}^_ L L
M=9 z
. L twy
fMqkoMl¦3MyX9W#\_zclq
c
Yld zU'M vXkzx#W#{Mqy\'\pcP\_JkM*{|zq9MW#amZzcljkJ9W#qy\_zqkMnUV^EUV\_ML
%2
s L
8
M=9 z rM32
v ´M32
%2.,]
s L
8
M=9 z M2.,]
v ´M32. ]
¦Pj nt<h@ p c
?ld
W#q9m!M vX3W#\Vzclq
c
Wld zU'M vXkz|x#W#{MqE\'\_c\_J9M*UV^EUe\pML
ST
UTV M32
%
6 >A
z
>6 >A
!
"#%$&('*),+-."#0/1$2&('*)435-
M32. ]
6
%789
6 >4 :
z;
>6 >4
"#%$&('*),+-."#0/1$2&('*)435-
<!=>
claUVclLNM? %#h#v3v#v3h@
jA
fc~7MxMa<¦ claMxlMa_^ P jnth @ pF¦k\_J9MnUVM\fc U_cl{|Xk\_zclq
B(
9DC
E N<2 >(>>(2
E Q <2E N< _ 2 >>(>(2 E Q < _
GFIH P
QKJML
6 < ] Q
8
; N L
;:<
>E
;:<
9 L 6 < _ ] Q
8
;# N L
;=<
_ >E
;=<
_ ON
zU'U_MLz|={z|q9M<W#a¦Wq9m oW#q!¡Mn'aVz\_\_Mq[zq\VJ9M cla_L
H qBy
s 8
X,9 z
tX v PKXD2
y
j|H
2%dhPVzM2
h#v3v#v3h@P 2 jjH
2zh zh#v3v#v3h j}^4_ w
'J9Ma_M H 2%RQ ^4_
{>L
zU°\_JkMRU_M\c
(%r* 4 (0
c \_JkM P M vX3W#\Vzclq zqwUe^EUV\pML
c
?ldnW#q9mH
2z?Qm^4_
{>L
zUn\VJ9MNUVM\4c (%r* 4 (0 c 7z\_UnJ9clLNcMqkMclX9U*j3W#aV\
L
M=9 z rM32
v ´M32
L
M=9 z rM32.,]
vS¥M32. ]
~ M c#qk{^ 7W#qy\\_J9M UVcl{X\_zc#q9UT
zM2
h3v#v#v3hU L 2 h zM2. ]
h#v#v#vSh ¥L 2.,]
}j H
\_J9W#\
xMaVz^ UV^EUV\_ML
c
gd M\V
%
y 2% s X,9 z
tX v PKXD2
CMUVXkopJ WNU_cl{|Xk\_zclqM\Ro<W#q CM
'a_z\V\pMq[z|q!\_J9M claVL
%
ky
2%s
8
X9 z
hXD2zv PKX2
s 6 >W v 8
X9 z
hXD2{#v PKX2
'J9Ma_Ml¦X
q
hE
wW#q9m l tX2z 6 >W
µ·¶µ¸
I7JEXkU¦% claMxlMaV^ Gj nt<h"bp=¦k MnJ3W<xM
ST
UTV y 2% L)s
X9 z
hXD2zv PKXD2
%# )s 6 >A
vQyf
2%
y 2% 'b s s
X9 z
hXD2zv PKX2
'b s L %# )s 6 >4 vQy f
2%
bds
claUVclLNM yf
2% j"^4_
{>L
M\
q
hE
wW#q9mi{M\ y 2z|j"^_ {>L
¦CUeX9opJ \_J3W\<¦ cla
MxMa_^x Gj nt<h"bp=¦E7MRJ9W~xlMdy
2z { 6 {
6 vy\f 2%
LW#q9mby
2z'b'sD { 6 {
6 vy f 2%
'b|s" p
fMqkoMl¦8
z
ky
2z s { 6 {
6 v X9 z
hXD2{3v PKX2
xMa_z;9MUUV^EUe\pML
c
gd
^ a_MjCM<W#\Vzq9 \VJ9Mwjka_MxyzclXkUjkapcEoMU_U Mw'z{{ clk\pW#zq.W U_M vX9Mq9oM[c 'xlMo\_clapU y 2%¦
y 2z ¦v#v3v|¦Iy
2 zq ^_
{>L
h cla_Mc~xMa<¦9 MJ3W<xlM
y 2X] z
l t
6 >6 vn
y 2X
s 0 v 6 >W v
ae q
PAXD2
y` jnQt<h 0 p w p
fMqkoMl¦
y 2X] z
l
y 2%
h 0 v 6 >W v
q
PKX2
`xj nt<h 0 p w<v
6 >
6 > 7 t
e9a_clL =sBA=¦7MwmMmX9oMw\_J3W\<¦ c#aMxlMaV^PAXD2
jEH
2zW#qkm claMxMa_^ y 2% jEH
2%<¦) M
J3W<xM
ST
UTV PAXD2
l
qM32
hUrM32.,]
Gj nt<h"bpw l W >6 ] N
y 2%
l v
qM2
hUM32. ]
$jn 0h$bp w l W >6 ] N ¬] z
fMqkoMl¦9\VJ9MnqEXL¡Ma
0 c M{MLNMqy\pU'zqAH
2z7xlMaVz7;9MU
0 l
{>L >W >6 ] N
fc~7MxMa<¦3\_J9MnqyXkLCMa bwc M{ML Mqy\pU'zq ]{]xlMa_z;9MU
b l .>
6
S
O,P
T clq9U_MvX9Mqy\_{|^¦
0 l
{>W >6 ] N>{ 6 l {/
6 0N
claU_clLNMnoc#q9UV\pW#qy\ j ^4_
~ JkzopJ[L MW#q9U\VJ3W#\
y 2X
l
{ / N 0N
claU_clLNMnoc#q9UV\pW#qy\ ~
I7JEXkU¦k\_JkMnM{ML Mqy\pU'c H
\VJ3W#\'xlMa_z ^wMyX9W#\_zclq
c
gdo<W#q!CMnMq9MaW#\_Mm!y^WXkqkzclq
c )H 2%W#Xk\pc#LwW#\_clq
|q
y 2M\y 2MjEH
2%#wy}C°WlopJ+W#X\pclL W#\W
y 2M RzU
c xlMa\_JkM4W{jkJ3W¡M\ W#q9m!J3WlU'q9cEmkMUz|q\_J9M*UVM\fc xlMo\pcla_U
qBy j}^4_
L y
l
{ / N N w
\_J9M'zqz\_zW#{L W#a+EEz|q9RzU6y
2M3\VJ9M|;q3W#{9L W#a/Eyzqk*zU 0h#v#v#vh? )W#qkm\VJ9Ma_M]zU WqwW#a_o
apclL yz \pc y%{]{W#¡M{Mmz )Wq9m c#qk{^Nz
yz s
X,9 z
hX v(PAXD2
. )s 6 > vy%{, L
yz'b s L s
X,9 z
tX v PKXD2
bNs N )s 6 >
vQyI{ b s
cla] $jnth$bpW#qkm )zh#v#v3v3h 6 >W
ezq3W{{^l¦v\_J9MRUVM\]c UVcl{Xk\VzclqkUc M vX3W#\Vzclq
c
?ld\VJ3W#\xlMa_z ^ MvX3W#\_zclq
c
gd0zUoclLjk{M
\pM{|^wmkM\pMa_Lzq9Mm!y^\VJ9Mnzqy\pMapU_Mo\Vzclq
.
9 z
'J9Ma_M
°zU\VJ9Mn{W#q9#X3WlMRa_MocllqkzUMmy^
I7J9M]qyXkL¡Ma c ¡q9cEmkMUc ¡MxMa_^NW#Xk\_clL W#\pclq
y 2X3zU0{MUVU0\_J3W#q { /P N
¦# claU_clLNM
oclq9Ue\W#qy\%{~ ]Mq9oMl¦ i!z W#q9m@clqk{|^izz\*oclqy\W#z|q9U*W!U_M vX9Mq9oMNc 7{Mq9#\_J q9c
{clq9lMa]\_J3W#qD
.>{ / P N l { / O 0N ¦ c#aRU_c#L M4oclq9Ue\W#qy\!
j"^4_ nI7JyX9U¦\_J9MUe^EUV\pML
LwWlmM7c HUV^EUe\pML
c
?ldW#q9mPUV^EUV\_ML
c
gdJ9WlU°WU_c#{Xk\Vzclqz HW#q9mclq{^*z9z|\)J3WlU°WfU_cl{|Xk\_zclq
'z\_J`f
{/ N ¦ claU_clLNMnoc#q9UV\pW#qy\ 'j ^_@
µ·¶µ¸