On the Petri Net Realization of Context-Free Graphs

(1)

HAL Id: inria-00072999

https://hal.inria.fr/inria-00072999

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-

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,

On the Petri Net Realization of Context-Free Graphs

Philippe Darondeau

To cite this version:

Philippe Darondeau. On the Petri Net Realization of Context-Free Graphs. [Research Report] RR- 3674, INRIA. 1999. �inria-00072999�

(2)

'

(3)

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

On the Petri Net Realization of Context-Free Graphs

Philippe Darondeau

N ˚ 3674

Mai 1999

TH `EME 1

(4)

(5)

./012

354687968::<;>=?A@CBEDGF;H?AI

J'KMLNPO &RQ STCUVOXWZY\[1O]^UV_`UV]aLNPOCU

bdcfeZghO]ibWZcjWZklcjWZmHKMO

S^WZm,mEelca]n,O5caOCofKMOcfofKMOqprtsvuxwyQ z{WZ| &~}t}t}$Q rtrmAWZktOCU

yGXx,lv |tOpW,p,|]fOeZc(|pH,p,|]aO{WZOOn]acfWZpMUh|]a|elpkZcjWZm,KnHO,pMOn`_W

klcjWZmHKkZcjWZNNyWxcX-'OUhKMe~WZpWZklelca|]aK,N ]aKAWx]n,OCo|n,OU-K,O]aK,Oc1]aK,|UklcjWZmHK|U

|UaeZN(elcVm,K,|o]ae$]VKMO caOXWlofKAWx,O UV]jWx]fOikZcjWZm,Kyel¡¢UaeZN(O^,p,|]aO^YHp,£WZEOOCn(bO]Vca|EpMO]WZpMn

]aKAWZ]-mHcfe`nHYMoCOU^|p]aK,|UoXWlUVO$WN|p,|NyWxEpMO]cfOXWx|¤|pMk$]aKMOklcfWZm,K¢¥

¦§v¨©Vª« x¬l# p,,p,|]fO<klcfWZm,KMU®klcjWZmHKklcjWZNN(WZcfU~bO]aca|vp,O]fUxcaOCkl|elpMU~UaOmMWZcjWZ]V|elp*

mel_¯KMOCnHcfWZ¢oelpMOCUAUaON|°±|pMOXWZc²UaO]fU

³µ´¶¸·¸¹~º-¶¼»½¾·¸¿8ÀÁ

ÂGÃÅÄÆÈÇÊÉAËMÌÅÍ~ÇÊÉÊÇÊÎ®ÎZÏÐÑdÆÒ8Ó

*®Ô

ÏaÆÕZÖÇ×Ò8ÇÊØ±Æ®ÐÙ¾Ò

Unit´e de recherche INRIA Rennes

(6)

22¢ y&

UV|²oCO(kZcjWZm,K,OPOUV]|UaelNPelcVm,KMOPWZY klcfWZm,KMOPn,OCUNyWxcvYAWlktOUWZoCoCOUaUh|,OCUnY,p caTCUVOXWZY

WZelcaU'Y,p1cfTUaOXWxY n,ObO]acV|¢NP|p,|N(WZAORcaTXWZ|UfWxp`]C¥

UaTmMWZcjWZ]V|elp*,oCelp,OCU-meZ_tTnHcjWxYH[EMOpMUVON,OCU^UaONP|¾° |pMTXWx|cfOU

(7)

$

]fOCn kZcjWZm,K WZEOOn elp WZcaoCUi|Ui|UVelNPelcam,KH|o]fey]aK,OcfOCWlofKAWZ,OUV]fWZ]fO%kZcjWZm,K el¡ UaelNPO

m,cfelHON{McfOUV]acV|o]fOCn{]fe(,pH|]fOklcfWZm,KMUE'WlURUVK,e®-pnHOCo|nMWZ,O¡eZciOONPOp¯]fWZca_pMO]fU

S^}tW

S }xEWZpMnP¡eZc'b lJ²°±pMO]aU

}

}ts¥<J'KMO^n,Oo|Uh|elpm,cae\oOCnHY,caOCU

WZcfOAWlUVOCn elp{cfOkl|elp,U^|pklcfWZm,KMUEeZc m,caeZghOCo]a|elpMU ]VKMOcaOCel¡delp]VKMOUh]jWZ]aO$klcfWZm,Kel¡¼W

pMO]<-|]aKW5UV|pMklO m,£WZoCOl¥dS^Okl|elp,U<WZcfO²|Nm,|o|]m,WloCOUC¯WZp,nUh_¯p`]VKMOCUh|¤|pMk5pMO]fU<¡£cfelN

`_ K,caOp,¡OYMofK¯]WZpMnS^et¤Op¯EOcfk

S^}tWA|]WZUiWln,WZm,]fOn UVK,elca]V_WZ¡£]aOc^]fe,] |p

-|]aK b lJ²° pMO]fU^Y,pMn,Oci]aK,OUV]aOm Hca|p,kcVY,O

zY\}elc ]VKMOUVO vYMOp`]V|£WZ,cV|pMk caY,O

}tr8¥<J'KMOofKAWZcfWlo]aOca|¤XWZ]V|elp eZ¡EkZcjWZm,K,Ud|UaeZN(elcVm,K,|o²]feUh]jWZ]aO-klcjWZmHKMU<el¡bZJ²° pMO]fU

]feoelmEOi-|]VK(,p,|]fO klcjWZmHKMU'elpH_t¥dJ'K,|U NyWX_ O^¡ O]WZA]aKMO^N(elcaO^EOCoCWZYMUVORelpMORoCWZp

n,OCo|n,OReZpy]aKMO cfOXWx|¤CWZ]a|elpel¡¢¡ elcVNyWZAWZpMklYAWZktOCU `_Y,p¯EelY,pMn,On1bO]Vca|*p,O]fU

Wl}8¥

J'KMO%n,OCo|Uh|elp>WZm,mH|OU pMeZ]jWZ,_]aen,O]aOcaN|pH|UV]V|o$oCelp¯]fOÈ[`]V° ¡£caOCO%£WxpMklYAWlklOCU5WZp,n eZpMO

m,cfelHON ¡ elc%]VKMOn,O]aOcVNP|p,|Uh]a|oPoCelp¯]aO[`]V°±¡£cfOCOklcfWZm,KMU z

±¥On,e pMeZ] `p,e®

NyWZ|p N(eZ]a|ZWZ]V|elp>|U]ae OÈ[`m,elcaO]aKMOyEelcfnHOcel¡^]aKMOn,elN(WZ|p -|]aKH|p -K,|ofKbO]acV|

pMO] UV_¯p¯]aKMOUV|UiNyWX_EO$KMOm,¡£YH ¥-J'²eyUVmEOCo|MoWZcfOCWlUKAWXtOWxcfOCWlnH_EOCOp |n,Op¯]a|,OCn

|p]aKH|Un,eZNyWZ|p¢¯-|]aK{WZmHm,|oXWZ]V|elpMU¼]feWlUh_¯pMofK,cfeZpMelYMU^o|cfoYH|]fU

#"$%$%&('

}tsWxpMn]fe

nH|Uh]aca|,Y,]V|pMkcfOCWlo]V|lO(WZYH]felN(WZ]jW

"

WZ|£}l}¥

el¯|pMk]aK,OPpMO]$caOXWZ|¤XWx]a|eZp m,cfelHON

¡ elcR-|nHOc5o£WlUVUaOCU5eZ¡²kZcjWZm,K,U5elcR£WxpMklYAWlklOCUi-|KMelmEO¡£Y,_1elmEOp pMO MOn,UReZ¡'WxmH°

m,|oXWZ]V|elp¢¥)>OmHcfOCUVOp¯]Oe~ ]VKMO,pMOUV]tOcaUV|elp el¡ ]VKMOm,cfeZ,ON ²O{oCWZp UaeltO

]fe`nMWX_t¥

OCo|nH|pMk(elppMO] cfOXWx|¤CWZ]a|elp¡ elc oCelp¯]fOÈ[`]V° ¡£caOCOkZcjWZm,K,URWlU*\U ¡ elcioelN,|p,|p,k

]aKMORNPO]VKMe\nHU'¡£cfelN

}+WZpMn

Wt}±H]VK¯YMUNP|¾[`|pMk|p,OXWZcWZktO,cjWWZpMnelmEOcjW®°

el¡]VKMO5mAWZmEOc-|UWlU-¡ ele®U¥

(8)

!#$ %2

~ « ¬l «

(§ « ®

(§ « ¨ § % ¬ "! §¯§ #

« §%$ ©'& §¯§

® (

)

(§ « «+* « §,$ ©'& §¯§

®

-

. !

§0/R«

¨ §

¬® 1

« §«+* y§,

« (

# 2 § %9¬

«

4365

§ © ~\ § § ,®H7 « -

8 2 § %9¬

«

XH § 9 § ,®H« -.

( 3

: ;

H

y§ ¬

¬

¨

+<

=<?>

§

A@

§ «

B

$2 . 0{2

cfWZm,KMU-|UVelNPelcam,KH|oR]fe cfOCWlofKAWZHOUV]jWx]fOklcjWZmHKMU eZ¡<bO]acV|p,O]fUN(W~_EOofKAWZcfWlo]aOca|¾°

¤COCn%¯_]¸²e5cfOkl|elpMWZMWx[`|elN(UGWlnMWZmH]fOCn¡£caelN

KHcfOpH¡ OYMofK¯]'WZpMnS^el¤COp¯EOcak U¼W®[\|elNPU

¡ elcOONPOp¯]jWZcV_y]acfWZpMUh|]a|elp1UV_`UV]aONPUC¥-J'K,Om,YHcamEetUaOel¡]aKMOUaOo]a|elp1|U-]fe cfOoXWZ*]aK,|U

ofKAWZcjWZo]fOca|¤XWZ]V|elp¢ÅWZmHmOCWZcfOn{-|]VKN|pMeZc^ZWZcV|£WZ]V|elp,U|p

z1Y\}+dWZp,n

}tr8¥

&

O]

YMU-H[]aK,O]aOcVNP|pMelelkl_t¥

C0D7EGFIH%JLKNMOFQPGEGFIR%MSKTPSKNU7RVMSWMGPGXZY\[;]A^`_baGcdafehg+iJ%XZESXj_kKNMbFml,RnKTPGX U7EKNRnl,RnKTPGX

MGX'PjUIo+R%Uqp%XZMsrtU7E MGPuFvPGXZMxwzyqc4KNMmF1l,RnKTPGXsR%U7R{|XZY}HnP|W~MGX'PUIo-FIX'NMsrtU7EX'XZRPGMxwzy

FIR%pLe_cs_KNMFMGX'PbUIoFI=X'NXZpFIESZMmrtU7EPGEGFIR%MSKTPSKNU7R%MzwzbCsRFInPGU7YFvPGU7R

KNM}FH=UIKNRPGXZpD7EGFIH%J[]^`_aGcafeaugLiJ%XZESXkKNMFpnKNMSPSKNR%D7nKNMGJ%XZpR%Up%X

rPGJ%XVKNRnKTPSKFvMSPuFvPGXwzh:RPGJ%X6MuXZq%X'`y

OFIR%p

FIESXFI%%ESX'qKFvPSKNU7R%MhoU7E

^tau¡7au g¢eFIR%p~£, ¢9_¤^t

gzC¥ESX¦FIuJ,FInNXD7EGFIH%JKNM F1HUIKNRPGXZpD7EGFIH%J

MG%xJ§PGJ,FvPd_4]©¨jªf «

¬

kiJ%XZESX «

¬

KNM6PGJ%XKNR%p%%'PSKTXFIR%pESX'®,Xz¯nKTX

(9)

'NU7MG%ESXUIo

]¨§

ªf¡¢§c1CR X'XZRPf{|ESXZp%%ZXZp D7EGFIH%J9KNMhF~ESX¦FIxJ,FInNX

D7EGFIH%JMG%uJPGJ,FvPX'XZEfWX'XZRPh¡6¢ c FI=X'NMMGU7Y}X PGEGFIR%MSKTPSKNU7RKNRe6 X6FIESX

YFvKNRnTWKNRPGXZESXZMSPGXZp~KNRX'XZRPf{|ESXZp%%ZXZpD7EGFIH%J%M¦+X'Pm%MmFIp,FIHnPjKNR~ZU7R%MGXZ%XZR%ZX

PGJ%X1p%X'l,RnKTPSKNU7RUIobESX¦FIxJ,FInNXLMSPuFvPGX D7EGFIH%J%MUIobX'PGEfKR%X'PGM¦

XZ¦FvT=PGJ,FvPFVYFIE 7XZpbX'PGEfK+R%X'PjKNMmFV,FIp%ES%HnNX©]A^aGcaQa0gzyiJ%XZESX

FIR%pkcFIESXhESXZMGHXZ'PSKTX1MGX'PGMQUIobHnFIZXZMFIR%pX'XZRPGM¦y4KNMmPGJ%Xs®,UiESX'FvPSKNU7R-y

FIR%p0KNMPGJ%XKNRnKTPSKFvOYFIE KNR%D%QJ%X1MuX'PGMFIR%pc FIESX1pnKNMSUIKNRP¦y%YFIE qKNR%D7M

FIESXYFIH%M

yFIR%pKNM DIKTXZRdWdF YFIH}oESU7Y ^?6c6g ^c¥Vg

PGU

QJ%XkMGX'P YFZWXKNRnl,RnKTPGX%RnNXZMuMVMGHXZ'KTl,XZp UIPGJ%XZEfiQKNMGX7y²%nPc KNM

FvTimFZWnMVl,RnKTPGX7CRX'XZRP}¡~J,FIMVZU7R%ZXZMGMGKNU7R0FvPYFIE KNR%D KToFIR%pU7RnTW KTo

^"!g#$d^"!Oau¡gboU7EX'XZEfW6HnFIZX!OyIKNRiJnKNuJ¦FIMuXmKTP²YFZW}=Xjl,ESXZp-yqESXZMGnTPSKNR%D

KNRF6PGEGFIR%MSKTPSKNU7R% &,¡('$ MG%xJPGJ,FvP) ^"!-g

¬

^"!au¡g²]* ^"!g

¬

d^t¡a!g

oU7EX'XZEfWHnFIZX+!O)X'P «

¬

X PGJ%XVKNR%p%%'PSKTX6FIR%p9ESX'®,Xz¯KTX6'NU7MG%ESX6UIoPGJ%X

ESX'FvPSKNU7R

U7RVYFIE KNR%D7MbMG%uJVPGJ,FvP,

KTo &¡-'$ o U7EOMGU7Y}X X'XZRP

¡CAYFIE qKNR%D. KNMsESX¦FIuJ,FInNX6KTo «

¬

/QJ%XVESX¦FIxJ,FInKTTKTP|W MGX'PsUIo0y

p%XZR%UIPGXZp10L_Q^ gzyKNM6PGJ%XMuX'P6UIoPGJ%XkESX¦FIxJ,FInNXYFIE KNR%D7M¦ CsR0X'XZRPiQKTPGJ

ZU7R%ZXZMGMGKNU7R9R%UiJ%XZESX}KNR9PGJ%XESX¦FIuJ,FInKTTKTP|W MGX'P1YF¦WX6ZU7R%MGKNp%XZESXZp l,'PSKTPSKNU7%M

FIR%p6J%XZR%ZX KNESESX'NX'7FIRP¦ R PGJnKNMH,FIHXZEZyviXjKNp%XZRPSKToW PGJ%XjESX¦FIuJ,FInNXQMSPuFvPGXjD7EGFIH%J

UIoPGJ%X6R%X'P- ] ^QaGcdaQa0gQiQKTPGJ9PGJ%X6D7EGFIH%J

« ] ^0L_Q^ gxaGc afea0g

MG%xJ9PGJ,FvPe]¨2

ª3\a¢40L_^ g56 &,¡'7vFIR%p c ]

¨O¡L¢c ª£8 £9 ^au¡a g¢e QJ%My

«

KNMX'XZRPf{|ESXZp%%ZXZp-

el¡N(WZc tOCn{bO]acV|¢pMO]aUC¥

2 §9:

£«

,;`*<

y§, «

>=@? BA C DFEGIHJGLK-GNM

PO

$ QD3RSGITVU

O

W

%- YX W

! #$.R[Z\E^] _ `TaUbZHc] _ $ed2" " 3f hgiR\D3M

Okj TVUD3l

O

X " : 2m:1M ] nAo hg" :ap $:$ W

! qUrZ H ] sts $ud2" "

UD3l Ov

T

U,DFl Owj x wR\D3M Ov UD3l O C R\D3M

O X " : 2m:1DFM ] M O yA9{z "

W

! 4U $d z " )|¦%$:N} -

W

! 4D~R,G T U O

2 §9:

£«

,;7<

§ ,®H § ¬ ®=w? ! #"iACDFEGIHJGLK-GNM

PO

$ $ z

" 4 >X - p

W $ $7 $ z 4 2m:N}.M8GNM S E kl Hif

¢ M CqM RDFM

O CnR\D3M O

4 $

W @D~R,G T U O o

3

¢

BD3M

] O

R\D3M O/

T

UD3l O 4 $

W @D~R,G

T U O

(10)

? $:$: $Jd2 - : " : W

: $ X 2$2$ " $7$ d:

: " p

W $ $d z %

W $2$:7 $: $v

! §`« § ; ? 2m: zud2z ! #" $ $

W

#"-3d " d2" 7 $:

! #" $

W W

%z :! : } )$7 $ 2$ " $ p

W $

*

3

* ? 2m: zed2z ! #"

W }: z } ( :: :

} $2" >X $ %

W $2$:7 $:$: $v

J'K,|Ud]VKMOCelcaON#WlU¼OUV]jWx,|UVKMOn|p

}trv'O-pMOtOca]aK,OOUaU UV]fWZ]fOWZpOÈ[\mH|o|]m,cfe`el¡

Oe~H¡elc-|]-NyWX_(K,OmY,p,n,OcaUV]jWxpMnH|p,k]VKMO5mAWZmEOcX¥

/ «*«+* pelcan,Oc ]feUVK,e® ]VKAWZ]5OtOcV_ klcfWZm,K caOXWZ|¤OCn¯_ WNyWZc tOnbO]Vca|pMO]R|U

UaOmMWZcjWZ]aOCn*M|] UhYoCOUi]feelMUVOcalO$]VKAWZ]^OlOca_1m,WloCO1el¡<W pMO]cC D(GLH G-G NO

n,O]aOcaN|p,OCUWxp|pMnHY,oCOCnPcfOCkZ|elpeZ¡

«

HUhYMofK]aKMWZ](R\D

O

C D

O ¡ elcWZp¯_PN(WZc ¯|pMk

E-D

O

WZp,n`TVUD3l

O

CJD GNl

O ¡elcOtOcV_yOtOp¯]ll¥¼J'KMO²g Y,UV]a|¡£_¯|pMkN(WZm U,DFl O C

D3l G

O

JD GIl

O

H]fUyWZo]aYMWZ_-|]VK

O¡ ¥\¥&E)E! KMeln,U%¡£cfelN ]VKMO{nHO,p,|]a|elp

el¡NyWZc ¯|pMktUiWxpMn HkE)E! KMelnHUC ¡eZcy|]OÈ[\mHcfOCUVUaOU{NPOcfO_ ]aKAWx]1WZpOtOp¯]{-|]aK

N(elcaO(nH|oY,]X¥ |lOpWZpOtOp`]h° caOCnHYMoOCn klcjWxm,K7A C DFEGIHJGLK-GNM

PO

¼WZUaUVYHN(On ]fe

O UVOmAWZcfWZ]fOn*iO]# EOWZpWlnHN|UVUV|,O{UVY,MUVO]{el¡cfOCkZ|elpMU(el¡kA WZpMnO]$ C

D-GIH G(G

2O

EOR]aKMORN(WZc tOCnpMO]n,OcV|tOnWZU¡ ele®U¥&%MelcWZp¯_PcfOCkZ|elp'iC D3RSGITVU

O

|p ]VKMOWlnHN|UVUV|HO(UVO] WZpMn ¡elc%OtOca_ OtOp¯]il HdO]' D GNl O CcTLUSD3l O WZpMn

D3l G

O C U,DFl Ov

TVU,DFl

O

-KMOcaOiU |U]aK,Og YMUh]a|¡£_`|pMkNyWxm>¡ elc( dWZUVe1O])

D

O C

R\DFM

PO

¥ p eZcfn,Oc]fe{OCUh]jWZ,|UhK]aK,OP]aK,OCelcaON{G|]UVYPoOCU]aeUVK,e® ]VKAWZ]A WZp,n*

«

WZcfO|UVelN(eZcam,K,|o5klcjWxm,KMUC¥

_1n,O,p,|]a|eZp¢+

« C D E-D O GIHJGLK-G O Å-K,OcfOiD ]

O K|¡¢WZpMnelp,_%|¡, E-D

O

WZpMn- .l0/1 £¥

O,pMO3254 DFE76 E-D

OVO

UVYMofK>]aKAWZ].M'28 |¡²WZp,n eZp,_{|¡/R\DFM

O

C9 D

O ¡elcWZdcfOkl|elp,U:$C D~R,GITLU

O ¥

UaO]C<2)=

'

|U |plghOCo]a|tOl¥?>iMUVOcV`|pMky]aKMWZ]M

29

]aKMWZ] A WZpMn

«

WxcfOcaOXWlofKAWx,OZ

WZpMn]aKAWx]$

«

|Un,O]fOcVNP|p,|Uh]a|ol-|]UhYoCOU1]ae UhKMe~ ]VKAWZ]@2 |UyW H|UV|NY,WZ]a|elp¢¥

Y,m,mEetUaO M2A#¥ ¡ M ] |p$A]aKMOp>¯_n,O,p,|]V|elpeZ¡²caOCkl|elpMUCRDFM Oj T UD3l O ¡ elc

WZp¯_7yC D3RSG T U O ]aK¯YMU D

Oij

D GNl

O

WZp,n8 .alB/ |pC ¥ "

elp¯lOcfUVO_t

O j

JDGNl

O ¡elc5WZp¯_

CD~R,GITLU O ,]VK`Y,U R\D3M O/j TLU,DFl O ¥IHiUJ#|U Wxp Wln\NP|UaUV|,OiUVY,MUVO]iel¡GcaOCkl|elpMU-el¡

A,|]-¡ ele®U]VKAWZ]M ] |pBA¥ >OO]-]aK,OcaOXWln,OctOcV|¡£_]VKAWZ]M32K#M ] MvWZpMn

] ÅOp¯]jWZ| Mv2L £¥

(11)

$2! '2 $ 01 >-2

[`]aOpMnH|pMk5]feR|p,,p,|]fOklcfWZm,KMUd]VKMOWZm,mHcfevWlofK ¡ele~²OCn|p

}8t'O-|,ofKMWZcjWloÈ°

¤XWZ]V|elp{]aK¯YMURelH]jWZ|pMOCn|U klOpMOcjWZ_pMel]iOEOCo]a|lO*|] -|OcfO,pMOCn UhY,MUVO vYMOp¯]V_

A^C DFEGLH GLK-GNM

PO

|UW%\[HOnOtOp¯]h° cfOnHYMoOCn klcfWZm,K¢\,p,|]aOelc-|p,Hp,|]aOl¥

&

O]

G '

Z,K ] EWZpMnQZuK ] HN(WZm ]VKMO WZcfoU5el¡/A]aey]aKMO|cRcaOCUVmEOCo]a|tO UaelYHcfoCOZ

]jWZcaktO]CEWxpMn{WZO ¥ H x° ofKAWZ|p{|U W NyWxm{¡£caelNrE ]fe4sts¥ H &°¸ofKMWZ|p1|U^WN(WZm1¡£cfelN

K#]fe ss$¥'H &° ofKAWZ|p|UR,p,|]aO|¡ |]OlWxYAWZ]aOCU5]fe x WZNPetUh]5OlOca_¯-KMOcfOZ¥J'KMO cfOCU °

ZD

O

CD

O ¡elc K1²WZpMnZD

O C x ¡ elc K K1¥CHpMe`n,Oe\ooY,caUeZp ]VKMO

&°¸ofKAWx|p%|¡|]$|U$]VKMOyUaeZY,cfoOyelc]fWZcfktO]el¡^WxpWZcfoUVYMofK]aKMWZ]D O C x ¥ &

O]

O]aKMONyWZm ¡£cfeZN &°¸ofKAWZ|pMU]fe ®°¸ofKAWZ|pMUUhYMofK ]aKMWZ]X¡ elc Z K ] sts WZpMn6M E

D

O

D3M

O

CD

O

'

D

O

CrM"!

#D

O

D

O C M"!¯¥FH o_`oOeZ¡A |U%W &°

ofKAWZ|p#RUVYMofK ]VKAWZ] D

O

|U^]VKMO$p¯Y,NyWZm*¥ H UVmMWZp,p,|pMkP]VcfOCO¡ elcAq|UiWoCelpHpMOCo]fOCn

UVY,MkZcjWZm,K DFEGLH G%$kGNM

PO

° ]aK¯YMU&$K4 K°-|]VK1p,ePo_\oOO[\oOm,]^]aKMO5p¯Y,*NyWxm¢¥¼J'KMO

cfON(WZ|p,|pMkPWZcaoCUi|p@K'($ WZcaO$]aK,O%ofKMelcfnHUC¥J'KMO%bWZca|`K lOCo]felcel¡<]VKMO &° ofKAWZ|p5|U

]aKMO5N(WZm*)D+

O

ZH ] sts{UVYMofK{]aKAWx],)D+

O

DFl

O C -D

O D

O

Cql.!¡ elcl HP¥

/²§ ;`

? W

! `U Z9H ] ss |¦%$: 2$ @D~R,G T U O

A }Pf

0 O U,DFl

Ov TLUD3l

O+jx

4 ul Ho

0+0 O " $ d vud:$R*1 D

O

.U213)D

O

54v 4 e}( 76 Vd2" 8q

Pf

_|pMOCWZca|]¸_teR*1 D

O

C[U13)D

O ¡eZc OtOca_,p,|]fO &°¸ofKMWZ|p' |¡GWZpMn{elp,_(|¡

R91 D O C[U13)D O ¡ elc^OtOcV_ Wxcfo: K¥<; e~ R*1 D O CqR\D

'

D OVO R\D

D OVO WZpMn

U=1)D

O C UD+ D OVO

ZKMOpMoO oelpMnH|]a|elp

||¢NyWX_EOcfO-ca|]a]fOp ]feR\D

D

OVO v UD+ D

OVO

C

R\D

'

D

OaO

¥ J'KH|U$|Uelp,O(el¡-]VKMO(cfO vY,|caONPOp¯]fU¡ eZc^g YMUh]a|¡£_`|pMk{N(WZmMU

UVOCO

O¡ ¥ \¥&+È¥

J'KMOel]aKMOccfO vY,|cfON(Op`]|U-O[HWlo]V_oelpMnH|]a|elp |¥

%McaelNpMe~elp¢O]A}+C DFEGIHJG%$kGNM

2O

EOyW1H[\OCn UVmMWZp,p,|pMk{]VcfOCOP¡elckA ¼WZpMn>¡ elc

OXWlofK M

E-²O]8%>%EO{]VKMO

Y,p,|¯Y,O &°¸ofKAWZ|p|p]VK,|UPUVmAWZpHp,|pMk ]acaOCOUhYMofK]aKMWZ]

D+?> O CqM M ¥¼J'K¯YMU@%> D O BA G x G A !¡elcC

$¥

(12)

/ « « I 7 «

\;

? W

! BU ZH ] ss |¦%$: 2$ 2 $ A+ }

U213)D+ O C x 4 2m:N}`d2}9d: & o

U213)D+?>

O $d 4

W

}E: -z !2

W

:: >X 4M E

" : " 2$Jd2 $ $7 $ z>o " #$2$:7 m T#2$R\D3M

2O

" #$2$:7

X :"- $ T UD3l

O

4 2 $D3RSG T U O

|¦%$: z@ }%U|4 }1d2" d::!z$ } "

d2 $ f

0 O R\D3M

Ov

U213)D%>

Oj T UD3l

O X " : 2m:M ] Ao

0+0

O

U,DFl

Ov TVU,DFl

O/jx

4 ul H

Pf

&

O]JD3RSG T U O

O WycaOCkl|elpel¡/AHg Y,UV]a|MOCn ¯_ WyN(WZm U ZH ] sts*¥ %Melc5OtOcV_

o_`oO1el¡.A D O C x `_n,OHp,|]V|elpeZ¡$o_`oOUCiWZpMnKMOp,oCO@U'1 )D O C x ¯_

&

ONPN(W rH¥&t¥C%MelcWZp¯_ pMe`n,OBM E-/R\D3M

O R\DFM

O C U91 )D%>

O

¯_

&

ONN(W rH¥&l

KMOpMoO

R\DFM

O

|UW$e~'OceZY,pMn(¡elcU 1 )D%>

O ¥ "

elpMnH|]a|elp

|dNyWX_ O cfO-cV|]V]fOp(]fe

DFM ] O R\D3M O+j TVU,DFl O |v¼]aeoelpMnH|]a|elp |²|p

O¡ ¥ `¥&t¥

"

eZpMnH|]V|elp

|| <¡ele~U

]aca|¯|£WZ_%¡£cfeZNoCeZpMnH|]V|elp

||<|p

O¡ ¥ \¥ &l¥

>Rp,OPoCWZpoOCWZca_ ofKMe`etUaO TVU,DFl

O _ ¡ elcOXWZofK6l H UVYMofK]aKAWZ]oelpMnH|]a|elp

|| |U5UfWZ]V|UV,OCn*¥ H UaUVYHN(OWln,O vYAWZ]fO%ZWZYMOCURKAWXlO EOCOp>\[HOn*¥'HiU H|URHp,|]aO WZpMn

pMelpH° ONm,]¸_yWxpMn`A |UOlOp¯]V°±cfOnHYMoCOn*ÅWZpMnoelpMUV|n,OcV|pMk$]aKAWZ] U:1?)D%>

O

|U Y,p,|¡eZcaN_

elYHpMn,OCny¡£caelNOe~U 1?)D+?> O T

U,DFl O cfOXWZofKMOCUWN|p,|NY,Nq|p1sts-K,Op licjWZpMklOCU

e®lOc H WZp,n$M%cfWZpMktOU5e®lOc]aK,OpMe\nHOCU5UVY,ofK ]VKAWZ].M©] |p@A¥$J'KMOcaO¡ elcaOlelpMO%oCWZp

oCOcV]jWZ|p,_ofKMe`etUaO4R\D3M

2O

_UhYMofK]VKAWZ] oelpMnH|]a|eZp

| $|U%UfWZ]V|UhMOCn*¥CH UaUVYHN(O{WZp

Wln,O vYAWx]fO%ZWZYMO$KAWlU5OOp H[\OCn¡ elc R\D3M 2O ¥%J'K,|Un,O,pH|]a|elpO[`]aOpMn,U]fe1W(Y,pH|vYMO

NyWZm RZ Eq] ss UhYMofK ]aKMWZ].R'1 D%>

O C U 1")D+?>

O ¡ elc$WZ/M E¥(J'K`Y,UC R\D3M O C

R\DFM

POv

U21 )D%>

O ¥ "

elpMnH|]a|elp

|²OpMUhY,cfOU ]VKAWZ]R\D3M

O+j TLUSD3l

O

-K,OpMOtOc M ] |pBA

| v%oelpMnH|]a|elp | ^|p

O¡ ¥ \¥&t¥

&

O]YMURp,e® OCUh]jWZ,|UhKoCelpMn\|]a|elp

||-|p

O¡ ¥ \¥ &l

cfO vY,|ca|pMkP]VKAWZ] R91 D

O C U1 )D

O ¡elciOtOca_ WZcfoB K¥ O$m,cfe`oCOOCn |pUaOmAWZcjWx]fO

WX_`U^¡eZc-]aKMOWZcaoCUel¡]aKMOUVmMWZp,p,|pMk%]acfOOWZpMn¡ elc-]aKMOofKMeZcfn,U¥

"

elpMUV|n,OcV|pMk]VKAWZ]WZpWxcfoEel¡\]VKMO<UVmMWZp,p,|pMk]acaOCO¼UVYMofK]aKMWZ]

D O C[M WZpMn

'

D O CqMv

NyWX_OOÈ[`m,cfOUaUaOnyWlUd]VKMO-nH|OcfOp,oCO %>

?>t]aKMO²cfOWZ]a|elp%R 1 D

O

CnU 1)D

O ¡ele~U

nH|caOCo]V_P¡£cfelN ]aKMOn,O,p,|]V|elp4RDFM

O

CnR\D3M

Ov

U21 )D%>

O ¡ elc-]VKMOWZcfoUC $¥

%AeZcGOCWlofK ofKMelcan2

K($Z]aK,OcfO'O[`|Uh]fUG|pAW^Y,p,|vYMOo_`oOCAUVY,ofK%]aKAWZ]- D

O C A

¡ elc C È D O A G x G A ! ¡ elc: \ $WZpMn D O C x

OUaO-KMOcaOl¥ J'KMO o_`oO

²|UoXWZOCn ]VKMO ¦-%

W

: Åo_`oO(eZ¡-A n,O]aOcVNP|pMOCn `_ofK,elcfn È¥

&

O]$EO]VKMO

&°¸ofKAWx|pel¡A}\n,O,p,OCnyWZU< C ¯]aK¯YMU v G|U²Wo_`oO WZpMn D+ O9v D O C x ¥ &

O]

(13)

D

O C MWZpMn

'

D

O C MvMKMOpMoCO D+

O C M

MI¥:HiU i|U^WPofKAWx|p{el¡d]aK,O$UhmAWZp,p,|pMk

]acfOO A D O C[M M Op¯]jWZ|UCC ?> ?>9¥¼J'KMOR¡ele~-|pMkcfO£WZ]V|elpMU'WZcfO ]aKMOcfO¡ eZcfO

UfWZ]V|UV,OCn

R1 D

O C

R'1 D

O C R1D D%>

O;

D%>

OVO

C R'1 D+?>

O!

R1 D%>

O C

U<1 )D+?> O

U<1 )D%>

O C U<1ND )D%>

O )D%>

OVO

¥ "

elpMUV|n,OcV|pMk5]VKAWZ]=%>

%>

v

G|U¼Wo_`oOZ

U1)D%>

?> v O C x

`_]aKMO-K¯_¯mel]VKMOCUh|U¼elpJUÅ¥<J'K¯YMU)U1ID)D+?>

O )D%>

OVO

C U1)D

O

WZpMn4R91 D

O C U713)D

O

WlU-WZU]ae UVKMe~¥

p elcan,Oc ]fe(oelpMoYMn,O]aK,O$m,cae\el¡ M|]^caON(WZ|p,U^]ae(UVK,e®"]VKAWZ]RQZeE6] _>)| v]aKMWZ]

R\DFM

O+jx

¡elcWZ M E¥

|pMoCORWZp¯_(pMe`n,Oi|U²]aK,ORUaelYHcfoCO5eZc]jWZcaktO]'el¡UaeZN(O5Wxcfol`]aK,|U

¡ ele®U¡£caelN

| ²¡ elcUVelY,cfoO$pMe`n,OUMtÅWZpMn]aKH|U-¡ ele~U-UV|N|WZca_%¡£cfelN

| -WZp,n

||

]jWlOp ghel|p¯]a_P¡ eZc-]jWZcaktO]pMe`n,OCUMvAUVY,ofK]aKMWZ]M ] Mv¥

J'KMOWZEe®lO'm,caelmelUV|]V|elp$NyWX_O²cfOHpMOCn*t-|]aKMeZY,]delUaUGeZ¡EklOpMOcjWZ|]¸_tx¯_cfOUV]Vca|o]a|pMk

]aKMOoCelp,nH|]V|elp>elp>o_`oOCU$]ae{EOXWZcY,mEelp¡£YHpMnMWZNPOp¯]jWx¼o_`oOCU

n,O,pH|]a|elp>kl|lOp

|p]aKMO5m,cae\eZ¡ È¥ ]^|U'O ¯pMe~-p]VKAWZ]]aK,OoelOCo]a|eZpel¡dWx*¡£Y,p,nMWZNPOp¯]jWZ*o_`oOCU@

¡ elcaNPUW MWlUV|U¡ eZc-]aKMO,p,|]fO5o_`oOCU^el¡\A,-K,|ofKNPOXWZp,U]VKAWZ]^WZp¯_,pH|]fOo_\oO iel¡

A-ca|]fOU|p1WY,p,|vYMORWX_yWlUW|pMOXWZc'oCelN,|pAWx]a|eZp

"-KMOcaO cjWxpMktOCU-e~lOc

K'($

ssWZpMn

C x ¡ elcWZN(elUV]ROtOca_#

UaOOOZ¥kH¥

OcÈu<elc

z uZ} È¥

]

)D+

O C

.)D+

O

¥¼S^O vY,|cV|pMkkU 1?)D+

O C x ¡elcWZo_\oOU |U²]aK¯YMU-O vY,|ZWZOp`]']fe

cfO vY,|ca|pMkU213)D O C x ¡elc-¡£Y,pMnMWxN(Op`]fWZ¢o_\oOU ¥

Y,NNP|pMkyY,m¢¢|]5KMWlUEOCOp UhKMe~-p]aKMWZ]]aKMO%cfOkl|eZpMUel¡ AN(WX_ EOofKMWZcjWlo]fOca|¤OCn

¡£cfelN ]aKMO5¡ele~-|pMk

WNyWxm{UVOpMn\|pMk OXWZofKpMe`n,O.M E]fe%]aKMO5|p`]aOCktOc-tOo]feZc@)D%>

O D3H ] ss O

WNyWxm{UVOpMn\|pMk OXWZofK ofKMelcan9 D~K($

O

]ae ]VKMO5|p¯]fOktOc-lOCo]felc&)D+

O

WNyWxm{UVOpMn\|pMk OXWZofKpMe`n,O.M E]fe%]aKMO5caOXWlnH_v° UaO] DFM

O

C l M ] !(¥

O-|UhKMe~]VKAWZ]iUVYMofK|pH,p,|]aO$n,WZ]jWPcaOCnHY,oCO]ae(,p,|]fOWxpMn oCeZNPm,YH]jWZ,O$n,WZ]jWP|p

cfOCkZ|elpMU-UhY,|]fWZ,Oi¡ elcUV_¯p¯]aK,OCUV|URWZktelcV|]aKHN(U¥

!%'&P*)M+(- . 012

H oCelp¯]aO[`]V°±¡£cfOCO5kZcjWZm,K|U-Wcfe`el]aOCnyklcfWZm,Kel¡,pH|]fOin,OCklcaOCO5UhYMofK]aKAWZ]CH¯_(caONPe®¯|pMk

(14)

p`YHNOcel¡]¸_¯mOUel¡|UaeZN(elcVm,K,|o{oelp,pMOo]fOnoelNmelp,Op¯]fU z

+±¥ z,OcWZpMn

ofK¯Y,m,m KAWXtO(UVKMe~-p ]aKMWZ]oelp¯]fOÈ[\]h° ¡£caOCO(kZcjWZm,K,UoCeZ|pMo|n,O -|]VK]acfWZpMUh|]a|elp>klcjWZmHKMU

el¡'m,Y,UVKMn,e~-pWxY,]felN(WZ]fWH¥(J'KH|UcfOCUhY,]'WlU$caO,p,OCn>¯_

"

WZYMoCWZ¼-KMeUhKMe~'On]aKMWZ]

]acjWxpMUV|]a|eZpklcjWZmHKMUel¡$mHYMUVKMnHe®-p"WZY,]feZNyWZ]fW oCel|pMo|n,O |pWZpO?Oo]a|tOWX_-|]aK

cfe`el]fOnklcfWZm,KMU$el¡,p,|]fOn,OCkZcfOCOPktOp,OcjWx]fOCn ¡£caelNn,O]fOcVNP|p,|Uh]a|o%klcjWZmHK klcjWxNPN(WZcfU

#"

WZYM}8¥ >Oy-|'n,Oo|n,Oelp]aKMObO]Vca|pMO]%cfOCWZ|¤XWZ]V|elpel¡^oCelp¯]fOÈ[`]V° ¡£caOCOklcfWZm,KMU¥

H ²elc ZWZ,OPcaOm,caOCUaOp¯]jWZ]V|elp eZ¡oCelp¯]fOÈ[`]V° ¡£caOCOykZcjWZm,K,U|UpMOCOn,OCn ¡elc]aKH|U$mHY,camEetUaOZ¥

elcacae~-|pMk ¡£caelN

"

WZYA}+±^'O cfOoXWZREOe~/]aKMO caOm,caOCUaOp¯]jWZ]V|elpel,]fWZ|p,OCn¡£cfelN

Y,p,|¡eZcaN klcjWZmHKklcfWZNNyWZcaUC¥

2 §9:

£«

;`*<

2 § §

878 ®j ® ,8= :: : k $:

:

W $2}

W

: $ X " #$: m ! 2$Io : H : $: :

W $2}

W

: $4X " !~} ~X u$|4 !

W g o : : $: v-4m! 7 2$

tg ? :

W :

W g " }2 #:Ld $ iX x

'

" %-z- }

:

W :

W g $2}

W

: X " !Y}! D" O ? " }2 #:! #" $

W

~} $: " }2 #:Ld2$v ? -: :

W $:3d ! #"

WW

$D-GIHJG#

O $

$: 2ved: $%$&

''

(*)+`] ,-) o 4 d2".$ o $ed2" " /,-) $

. " } #:! #" 0 .C132 4 0 C5476 :7 2$ dId !!- " !

2ved: $ ): m!7 2$vz " " : m! 7 2$ !2m! 7 2$v

p(]aK,O UVO vYMO±`²O |n,Op¯]V|¡£_-|]aKMelYH]'UaW~_¯|pMkWklcjWxm,K1D3EGIH GVK

O

-|]VKP]VKMO WlUaUVe\o|£WZ]aOCn

K`_¯mEOcaklcjWZmHK`Kelp$D98 GIH GIE O `-K,OcfO5OCWlofK{WZcfo M ] M |U'caOm,caOCUaOp¯]fOCn{WlU-WK¯_¯mEOcjWxcfo

l M>Mv¥3H n,O]fOcVNP|p,|Uh]a|o$klcfWZm,K kZcjWZNNyWxc:m,cae\n\YMoCOUi¡£cfelN WZp¯_1,p,|]aO$K¯_¯mOcfklcfWZm,K

;

W>UaOca|OCU(eZ¡5K`_¯mEOcaklcjWZmHKMU<;>=>WlUP¡ele~UC¥

&

O]<;>=@?

'

EOnHOca|tOn¡£cfelN ;>= ¯_

UVY,MUh]a|]aY,]V|pMk¡ elc'OtOca_K`_¯mEOcfWZcfoA$-

'

- B^NyWZ]aofK,|p,kW$mHcfe`nHYMo]V|elp<$&

' B ]

,C)WK¯_¯mOcfklcfWZm,KD,-) .-

"E GF IH

'KJLJLJ B .-

2ME 32+FN2H

B ?

'KJLJLJO

|py-K,|ofK1OCWlofK¡£cfOCO lWxca|£Wx,OP32

el¡d]aK,O$m,cae\nHY,o]a|elp |U^caOm,WloCOn¯_ W ¡£cfOCUhK pMe`n,O$ZWZcV|£WZ,OQ-

2 ¥

_{]fW¯|pMk¡ elc OXWlofK

R

]aKMO%|p,nHYMoCOn cfOCUh]acV|o]V|elpeZ¡S;>=elp]VKMOWZcfoU

| v]aKMOK¯_¯mOcjWZcaoCUlT

'

UWZEOOn

`_]fOcaN|pAWxUh_`NelU-l H È,elpMOi¡ eZcaNPUWZpy|pMocaOXWlUh|pMkUaO vYMOpMoCOel¡¢,pH|]fOiklcjWZmHKMU

AA=\¥dJ'KMO-kZcjWZm,KktOpMOcfWZ]fOn%`_V:¡£caelNW;

|UG]aKMO²|N|]A CYXZ=8AA=iel¡A]aK,|UdUaO vYMOpMoOl¥

!

§`«

§

;6<

$ t =

z $: ! #"%$ O $2"->X W

d2d:|-

X " d2" 7 ! #"%$ - 9-22 -: : z } -: :

W $:3d ! #"

W

2$N[ " d2!2$ #-:d2 $ ]\ Id:m : "Id: $N[ ¦ ! " :Lo W } W

#$ " p

W ; : - 2} " }2 #:LdV$ $ud2" " ^ W

d2" 2$ "

d2 - " - W