Factorization of Unfoldings for Distributed Tile Systems Part 2: General Case

(1)

HAL Id: inria-00071402

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

Submitted on 23 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.

Factorization of Unfoldings for Distributed Tile Systems Part 2: General Case

Eric Fabre

To cite this version:

Eric Fabre. Factorization of Unfoldings for Distributed Tile Systems Part 2: General Case. [Research Report] RR-5186, INRIA. 2004. �inria-00071402�

(2)

ISSN 0249-6399 ISRN INRIA/RR--5186--FR+ENG

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

Factorization of Unfoldings for Distributed Tile Systems

Part 2 : General Case

Eric Fabre

N˚5186

May 2004

Systèmes communicants

(3)

(4)

! #"%$&'(*)+'-,/.0 1'324

56 87:9<;='('> 1@?A!'

BCEDGFIHKJML1CEN

OQPMR#STVUIWRXYZU[U]\ ^ _`Xbac^dSR

e(f Ycg#WVSh/_`R#S f _jiklYZU

m

acn nY

f

So W

f

WXpqW

f

XpqW^rQsutbvxwzy|{aP~}xxc%yn!acWR

bb xx- WXYZ^qR_`o W fa f W/ou_`R#S f _ji \ SWoou_`RX f WVSWWVWV^dSR#PuR#SWVUIRb!GbR#PMRSWVUIRYZi Sac_j^qWoidPIXYZ^ ^qWXVS#_j^

anYxRR#_ji P a f W[^d\ Ui1W f YcW WVUIWV^QSa f P6XYZU[n1YZ^qWV^QSRblPza f WE %¡lW[UIWbac^6S#p!acS&S#pqWR#_j¢bW[YclS#pqW[RPMR#SWVU

n f

WVWV^QSR_jSRR#S#\qouPacSa0

YZi!a

1

WVW

Wn

f

YZnYxRW_j^qR#SWbaZoa£

f

acUIWV¡¤Y

f#¥

SYac^!a

PuRWR#\qXpR#PuR#SWVUIRidPIn!a

f

SRb

Sa ¥ _j^ ¦aZouxac^dSacWYcS#pqWV_f UIYMou\ a f o WE§q^ _jS#_`YZ^K¨pqW ¥ WVP@_`R&S©¡¤YcY oª W[§ f R#S f WVn f WRWV^dSS#pqWV_f&f \ ^qR0_j^«a

S f \qW/XYZ^qXV\ f#f WV^qXVPRWVUac^QS#_`XxM¡p _`Xp~a jf WbaZouP f Wou\qXWRlS#pqW¬R#SacSW¬WEMn YxR_`YZ^n pqWV^qYZUIWV^qYZ^&®(S f ag#WXVSY f _`WRl¡p _`Xp

YZ^

Pou_°¯W

f

iQPS#pqW0Y

f

o W

f

_j^ Yc>XYZ^qXV\

f#f

WV^QS¬WVWV^dSR/a

f

W£^qYZSou_`R#S#_j^ x\ _`R#pqWoª3¨pqW]XYZ^dWV^ _`WV^dS/oqacSa%R#S

f

\qXVS#\

f

WR

SY f WVn f WRWV^dSRWVSRYcKS f ag#WXVSY f _`WR¤_j^S#p _`RlRWVUac^dS#_`X£a f WXba jWoi f ac^qXp _j^ %n f YQXWRRWRYcªS#pqWRPMR#SWVUzMac^qoIS#pqWV_f

Uau_jUa Qf WVn f WRWV^dSacS#_jWlXY f#f WR#n1YZ^qo RSYS#pqW\ ^u±Y ou_j^ /YcqS#pqW3R#PuR#SWVUz¨pqW¤RWXYZ^qo&_`o Wba _`WRK_j^S#pqW(Y jYb¡_j^

f WR#\ SK®¬S#pqW%\ ^uY ou_j^ YcaUIYQou\ a f R#PuR#SWVU-aZXVSY f _j¢bWR&aZR£S#pqWn f YMou\qXVS0Yc¤\ ^uY ou_j^ R0Yc¤_jSR£XYZU[n1YZ^qWV^QSRb

¡p _`Xp²x_jWRac^³WVWV^´UIY f W@XYZU[n!aZXVS f WVn f WRWV^QSacS#_`YZ^µYc f \ ^qR¶Yca·ou_`RS f _ji \ SWo´RPMR#SWVUz¸¨pqW f WEY f W¦YZ^qW

R#pqYZ\ o f acS#pqW f nW f ±Y f U¹a j XYZU[n \ SacS#_`YZ^qRYZ^·S#p _`R0ºaZXVSY f _j¢bWo»Y f Uz W[n f YZnYxRWac^«a WVi f ac_`XRWVS#S#_j^ ¼SY

o Y½RY®6XYZU[n \ SacS#_`YZ^qRzSa

¥

W¦n

aZXW@_j^³S#pqW@XbacSWVY

f

P´Yc0¾ac\ xUIWV^QSWo³i

f

ac^qXp _j^ :n

f

YMXWRRWR¿ 6ac^qo

f W P<YZ^

SÀ¡¤Y¼YZnW

f

acS#_`YZ^qRK®£n

f

Ycg#WXVS#_`YZ^«ac^qon

f

YMou\qXVSb

W%_

j

\qR#S

f

acSW[S#p _`R&acn n

f

YaZXpÁYZ^·aR#_jU[n

W%n

f

YZi

WVUµ®£§q^qo»S#pqW

U[_j^ _jUa ºaZXVSY f _j¢¿acS#_`YZ^¼Y f S#pqW]\ ^u±Y ou_j^ Yc3S#pqW& YZi!a R#PuR#SWVUzq¡p _`XpacUIYZ\ ^QSR¬SY¶o WVSW f U[_j^ _j^ q±Y f WbaZXp

XYZU[nYZ^qWV^dSb

f

\ ^qRS#p!acS

f

WVUac_j^znYxRR#_ji

W0YZ^qXW&S#p _`RXYZU[n1YZ^qWV^QS_`R_j^qRW

f

SWo~_j^zS#pqW£

YZi!a

RPMR#SWVUz

Â~ÃdÄÅÆÇ ÈÉx ou_`RX f WVSW[WVWV^dSR#PMRSWVUzªou_`R#S f _ji \ SWo6R#PuR#SWVUzKXYZ^qXV\ f#f WV^qXVP\ ^u±Y ou_j^ qKi f ac^qXp _j^ ¼n f YMXWRRb

ºaZXVSY

f

_j¢¿acS#_`YZ^KqS#\

f

iYa

Y

f

_jS#p Uzq

f

acn p _`Xba

UIYQo W

Yc>_j^dSW

f

aZXVS#_`YZ^qR

Ê°ËKÌÀÍ©ÎbÏÌÐKÑjÍºÒÓÔ

ÕÖ×ÙØªÚ1ÛÝÜºÞÚªßØØàácáxÛÜâºã#äåæçèÉç!Õ¶á¿ÜºÛéGãëê¾âºØì£íîÉïÉí¼ßÝðcä/ì£íîÉïí@ñòóôàcðZä¿ã#äåbæâºÖã(õÜºãëðêÀÖ/ì/×öðc×öØ±âÜæÛÝó çãëØã#ßÜºêÀÖd÷

Unité de recherche INRIA Rennes

IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Téléphone : 02 99 84 71 00 - International : +33 2 99 84 71 00

Télécopie : 02 99 84 71 71 - International : +33 2 99 84 71 71

(5)

$] ¸'(²!.0 324'(²'

(É'(

56 ' 7:9½Éµ

^R_j^dS f WRRWo W f ac^qo R&R#PuR#STVUIWR VV^VUIWV^dSR&ou_`RX f WVSR¿ªXYZ^qR#S f \ _jSR&WV^»XYZ^ ^qWXVSac^dS&\ ^

^qYZUi

f

W

WVo WXYZU[n1YxRac^QSRb

e a f

©

f

ac^qoM YZ^IR#_jx^ _°§!Wd\qW

öac^!a

PuRWo WXWR(R#PuR#STVUIWR>^qWln1WV\ S(RW¤ºac_

f

W/\ ^

^ _jWbac\¦ YZi!a [Xbac\qRW&o\ ^¼n pV^qYZUITV^qW]oWEun YxR#_`YZ^¼XYZU]i _j^!acSYZ_f Wx ^zn f YZnYxRW0\ ^qW&a SW f ^!acS#_jWx1XYZ^qR#_`R

Sac^QSVS#\qou_`W f XWR(RPMR#STVUIWRÉn!a f UIY f XWbac\uªWV^%n f Yc§qSac^dSªgë\qR#SWVUIWV^QS3o W WV\ f ^!acS#\ f WUIYMou\ ac_f Wx3klW a f WVn1YxRW

R#\ f o WV\u¼_`oWRb! (^@n f WVU[_`W f£_`WV\K1YZ^R#\ n nYxRW\ ^qWRVUac^QS#_"d\qW%o WXYZ^qXV\ f#f WV^qXW% f ac_`WR#\ f¬WR¬S f ag#WXVSYZ_f WR

o W[XWR&RPMR#STVUIWR¿%klW aR#_jx^ _°§!W#d\qW%o WR0S f ag#WXVSYZ_f WR&^qW[ou_°¯ f ac^dS$Q\qWn!a f&WV^dS f W aZXWVUIWV^QSo%VV^qWVUIWV^QSR

XYZ^qXV\ f#f WV^QSR^qW~RYZ^dSIn!aZRIou_`RS#_j^ x\WRbXW&d\ _nW f UIWVSo¾g»o W f ou\ _f W WEun YxR#_`YZ^AXYZUi _j^!acSYZ_f Wx<h0ac^qR

XWVS#SW£RVUac^QS#_"d\qWx

WRlWV^qRWVU]i

WRo W¬S

f

agëWXVSYZ_

f

WRRW¬oX

f

_jWV^dSn!a

f

o WR¤n

f

YMXWRR#\qRlo Wi

f

ac^qXpqWVUIWV^dSRb

Wn

\qR

f ac^qo½oWV^dS f W~WV\uÁXY f#f WR#n1YZ^qoqac^QSIac\½oVn _acWou\½R#PuR#STVUIWx('KWRWXYZ^qo f R\ SacSX WE¬WRS W¶R#\ _jxac^dSK® W

oVn _acW/o\ ^R#PuR#STVUIWou_`R#S f _ji \¬RWlºaZXVSY f _`RWWV^I\ ^n f YQou\ _jSo W¬oVn _acWR¤o WRWR3XYZU[nYxRac^dSRbklWVS#SW±Y f UIW

ºaZXVSY f _`RW%nW f UIWVS&o W f ou\ _f W[WV^qXY f W a¶o WRX f _jn S#_`YZ^«o WR£S f agëWXVSYZ_f WR0o\ ^6R#PuR#STVUIW%ou_`R#S f _ji \x*)¬YZ\qR/n f Y+

nYxRYZ^qRg¾\qR#SWVUIWV^QSlo WYZ^qo W

f¤

öac^!a

PuRWo\ ^R#PuR#STVUIWou_`RS

f

_ji \¬R#\

f

XWVS#SWY

f

UIWaZXVSY

f

_`RW/o WRYZ^¶oVn

_acWx

'KWR/YZiug#WXVSRUac^ _jn \ R/RYZ^dS/o WRn f YMXWRR#\qRo W&i f ac^qXpqWVUIWV^dSR&ac\ xUIWV^QSR£o WRXYZU[nYxRac^dSR/ou\¦R#PuR#STVUIWxqWVS

WR&YZn, f acS#_`YZ^qR&o W%i!aZRW Wn f YMou\ _jS&WVS a¶n f YcgëWXVS#_`YZ^K-)/YZ\qR&o YZ^ ^qYZ^qR&o WR]a Y f _jS#p UIWR]n1YZ\ f UIWV^qW f i _`WV^

WR%Xba

XV\

R%R#\

f

XWVS#SWY

f

UIWaZXVSY

f

_`RWx¤a

Y

f

_jS#p UIWR%_j^qR#n _

f

R%o WRUVS#pqYMo WR]©S#\

f

i1Yc ¶WV^ÁXYZU[U\ ^ _`XbacS#_`YZ^qR

^Q\ U f _"d\qWRb&klWVS#SWSWXp ^ _"Q\qW%oöac^!a PMRW]UIYMou\ ac_f W%o\ ^@R#PuR#STVUIWou_`R#S f _ji \%WR#S_j\qR#S f W%R#\ f \ ^@RPMR#STVUIW

R#_jU[n W(® WXba XV\ o WRºaZXVSWV\ f RU[_j^ _jUac\uou\¦oVn _acW%ou\¦RPMR#STVUIW] YZi!a /klW a f WVQ_`WV^QS.Xba XV\ W f 1n1YZ\ f

Xp!a/d\qWXYZU[n1YxRac^QSb

WR&XYZU[nY

f

SWVUIWV^dSR-Q\ _3o WVUIWV\

f

WV^dSn1YxRR_ji

WR0\ ^qW%YZ_`Rd\qWIXW[XYZU[nYxRac^QS]WR#S&_j^qR

f

oqac^qR W0R#PMRSTVUIW£ YZi!a

0¸Ç b Å 21 R#PMRSTVUIW34VV^qWVUIWV^QSR¶ou_`RX f WVSRbR#PuR#STVUIW f Vn!a f S#_ºXYZ^qXV\ f#f WV^qXWxoVn _acWxn f YQXWRR#\qRo W

i f ac^qXpqWVUIWV^dSbaZXVSY f _`RÝacS#_`YZ^K!a Y f _jS#p UIW&S#\ f iY f acn pqW&o_j^QSW f aZXVS#_`YZ^

(6)

?A¬'(¬

b Ç Èx Ç

!

#" Ã Ã È´c

$%

"'&É Ç Ã b Ã )(#+*-,/. 0

}ujt ¨_

W&R#PuR#SWVUIRbuYMXXV\

f#f

WV^qXW&^qWVSRac^qozi

f

ac^qXp _j^ n

f

YMXWRRWR0&&0]0&0&&0&0]0&& s

}uö} 1¬\ xUIWV^dSacS#_`YZ^¦Yc(YMXXV\ f#f WV^qXW&^qWVSRac^qozYc>i f ac^qXp _j^ n f YQXWRRWR0]0&0&&0&0]0&&

2 ,] Ç & Ã Ã [ È<É G Ç & Ã cuÇ Ç +*3,& 4

ujt aZR#_`X£n f YZnW f S#_`WR]0&0&&0&0]0&&0&0&]0&0&0&&0]0&0&&0&0]0&& tb

uö} 5À^dSW f RWXVS#_`YZ^ &0]0&0&&0&0]0&&0&0&]0&0&0&&0]0&0&&0&0]0&& tb}

uö 6¬^ _`YZ^ &0&&0]0&0&&0&0]0&&0&0&]0&0&0&&0]0&0&&0&0]0&& tb

u ¨ f _jU[U[_j^ *&&0]0&0&&0&0]0&&0&0&]0&0&0&&0]0&0&&0&0]0&& tV

,]

Ç

È

Ç87

+*-,]

0

qjt h£WE§q^ _jS#_`YZ^ &&0]0&0&&0&0]0&&0&0&]0&0&0&&0]0&0&&0&0]0&& tbw

qö} kacSWVY f _`Xba n f YMou\qXVS 0&&0&0]0&&0&0&]0&0&0&&0]0&0&&0&0]0&& t¿

qö m W acS#_`YZ^qRSY[S f _jU[U[_j^ &&0&0]0&&0&0&]0&0&0&&0]0&0&&0&0]0&& tbv

q S#pqW

f n f YZnW

f

S#_`WR0&0&&0&0]0&&0&0&]0&0&0&&0]0&0&&0&0]0&& t9

0 ,] Ç;:VÃ xÇ

Ç87 +*-,]

!;4

sujt OQSac^qoqa

f

ozn

f

Ycg#WXVS#_`YZ^¼Yc(

e

® _jSR¡lWba

¥

^qWRRWR«0&]0&0&0&&0]0&0&&0&0]0&& }x

suö} e(f Ycg#WXVS#_`YZ^¦Yc<1¬ e R&0&&0&0]0&&0&0&]0&0&0&&0]0&0&&0&0]0&& }ut

= +*3, 1G 1 Ç b ÃdÃ !>!

wujt 1 ¥ WVPn f YZnW f S©P ]0&0&&0&0]0&&0&0&]0&0&0&&0]0&0&&0&0]0&& }x}

wuö} {@YQou\ a f XYZU[n \ SacS#_`YZ^qR/YZ^zS f WW ©R#p!acnWozR#PuR#SWVUIR 0&0&0&&0]0&0&&0&0]0&& }xs

? @BA %DC 1Ã Ã¦Ç>7 +*3,&[ ÈE C Ç 1 KFC Ä ! ?

Mjt OQ\ i º_j^dY \ S#_jM_jS©P¦YcHGI1/ e R0&0]0&&0&0&]0&0&0&&0]0&0&&0&0]0&& }

Mö}

e(f W ©Y

f

o W

f

YZ^JGI1¬

e

R<0&&0&0]0&&0&0&]0&0&0&&0]0&0&&0&0]0&& }

Mö Q\ _jZa

WV^qXW]YcHGI1/

e

R½&&0&0]0&&0&0&]0&0&0&&0]0&0&&0&0]0&& }xv

M e(f YMou\qXVSb n f Ycg#WXVS#_`YZ^@ac^qo~W Q\ _jZa WV^qXW &0&0&]0&0&0&&0]0&0&&0&0]0&& }9

Mös 5À^dY \ S#_jM_jS©PzYcU[_j^ _jUa 1¬ e R=0]0&&0&0&]0&0&0&&0]0&0&&0&0]0&& ut

Möw {¦_j^ _jUa

n f

YQou\qXVS¬XYbW

f

_j^ Yc3ac^K1/

e

&0&0&]0&0&0&&0]0&0&&0&0]0&& ut

L M Ç

1l

Ç

N&bu

Ç Ç Ä

Ã

6

Æ $:

Ä 1Ã

28!

vujt OQ\ U[Ua

f

P~Yc

f

WR\

SRYZi Sac_j^qWo¼YZ^zS

f

WWR&0&0&]0&0&0&&0]0&0&&0&0]0&& x}

vuö} Wba ¥ XYZ^dW f WV^qXW]±Y f XVPuX _`X&R#PuR#SWVUIR &0&0&]0&0&0&&0]0&0&&0&0]0&& x

O P Gb2bQÇ È< Ç 21Ç 2;

(7)

¬! 0$

h/_`R#S

f

_ji \ SWo[ac^qoXYZ^qXV\

f#f

WV^dS3R#PuR#SWVUIRp!aWli1WWV^%R#S#\qou_`Wo]±Y

f a

YZ^ ¬S#_jUIW¤_j^XYZU[n \ SW

f

RXV_`WV^qXWx¡_jS#p[WVU[n p!a

R#_`R>YZ^%n f YZi WVUIR _¥ WW WXVS#_`YZ^KdXYZ^qRWV^qR\qRbZU]\ S#\!a WE X \qR#_`YZ^KZn f YZSYMXY o WR#_jx^Iac^qoW f _°§!XbacS#_`YZ^KdWVSXxjtbvqQt9©

m W PQ_j^ [YZ^~S#p _`RRYZ\ ^qo¶i!aZR#_`RbMS#pqW£nYb¡lW f G\ XYZ^qXWVn SYcÉou_`R#S f _ji \ SWozXYZU[n \ S#_j^ Ip!aZRo WWVn Pn1WV^qWVS f acSWo~S#pqW

§!W

o¦Yc>XYZU[n \ SW

f

RXV_`WV^qXWx 1¬n n

_`XbacS#_`YZ^qR

f

ac^ W&

f

YZU SW

WXYZU[U\ ^ _`XbacS#_`YZ^·ac^qozXYZU[n \ SW

f

^qWVSÀ¡¤Y

f#¥

R¬YZ^zYZ^qW

WV^qoªSY«ou_`R#S f _ji \ SWo²oqacSaci!aZRWRbac^qo´UIY f W@WV^qW f a jPAou_`R#S f _ji \ SWo³n f YZ f acU[U[_j^ :YZ^´S#pqW¦YZS#pqW f WV^qoª 5©^

XYZ^Zgë\ ^qXVS#_`YZ^+¡_jS#pÁYZiug#WXVS%Y f _`WV^dSWo½n f YZ f acU[U[_j^ ac^qo f WVUIYZSW¶YZiug#WXVS_j^dYMXbacS#_`YZ^ f YZ\ S#_j^qWRE3ou_`R#S f _ji \ SWo

n f

YMXWRR#_j^ _`R£^qYb¡8iWXYZU[_j^ ¼a¶o WR#_jx^n!a

f

aZou_jxUzaZR£_j^¡¤WVi ©RW

f

M_`XWR/±Y

f

WEqacU[n

Wx]¨p _`R0acn n

f

YaZXp«Yc¯W

f R

W f Pzacn nWba _j^ aZR#nWXVSRb R#\qXp@aZRac^zWbaZR#P~aZXXWRRSYIou_`R#S f _ji \ SWo f WRYZ\ f XWR_j^uY f UacS#_`YZ^KqS#pqW f WV\qRÝaci __jS©P~Yc

RYc±S©¡a f WxqRYZUIW!WEM_ji __jSÀP_j^S#pqW/XpqYZ_`XW0Yc>XYZU[n1YZ^qWV^QSRbqac^qo¶UIYxR#S_jU[n1Y f Sac^QS PUIYMou\ a f _jS©P ¡p _`Xp¼a jYb¡R

S#pqWo WR_jx^Yc

a f Wou_`R#S

f

_ji \ SWoRPMR#SWVUIR(

f

YZU W WVUIWV^QSa

f

PIXYZU[n1YZ^qWV^QSRbH1/Ra£XYZ\ ^dSW

f

n!a

f

SYcS#p _`R3nYb¡lW

f

G\

S f WV^qoªqRYZUIW]aZXVS#\!a R#PuR#SWVUIRp!aW&^qYb¡ f WbaZXpqWo¦a%X f _jS#_`Xba WVW _j^¼SW f UIRYc>R_j¢bW&ac^qo~pqWVSW f YZWV^qWV_jS©P¡p _`Xp

Ua ¥ WR£S#pqWVU4p!a f o P¼S f aZXVSaci WiQP¦R#Sac^qoqa f o»ac^!a PuR#_`R/UIWVS#pqYQo R0YZnW f acS#_j^ zacS£a YZi!a >WVW 0¨pqWn \ f n1YxRW

YcS#p _`R£n!acn1W

f

WEMSWV^qou_j^

f

WR\

SR0Ycjt©_`R£SYn

f

YZnYxRWIa

f

acUIWV¡lY

f#¥

±Y

f

ac^!a

PM¢_j^ UIYZ^ _jSY

f

_j^

a f W[ou_`R

S f _ji \ SWo+R#PuR#SWVUIRb6OQnWXV_°§!Xba jP3¡lWn f YZnYxRW¶SY@Sa ¥ W~aZouZac^QSacW~YcS#pqW¶UIYQou\ a f ^!acS#\ f WYc/a@R#PuR#SWVU¹SY

o WR#_jx^¼UIYQou\ a f ac^!a PuR#_`RUIYZ^ _jSY f _j^ n f YQXWou\ f WR¿

p!acSI¡lW¼Xba j a RPMR#SWVU _j^AS#p _`R[n!acn1W f _`R[§ f R#SIYc]a j a R#PuR#SWVUzºGbAaRPMR#SWVU

UaZo WIYcRWVW f a _j^QSW f XYZ^ ^qWXVSWo·XYZU[nYZ^qWV^dSRb ¤aZXp·XYZU[nYZ^qWV^dS_`R&aouPQ^!acU[_`XIRPMR#SWVUz_j^QSW f aZXVS#_j^ ¼¡_jS#p

^qWV_jxpQi1Y f _j^ ¶XYZU[n1YZ^qWV^QSRb!ac^qo¶p!aM_j^ RYZUIW£o WV f WW&Yc(ac\ SYZ^qYZU]P_j^_jSRouPQ^!acU[_`XRb 5©^n!a f S#_`XV\ a f S#pqW f W£_`R

^qY~

YZi!a

X YMX

¥

x_jM_j^ ~S#pqW%n!aZXW[SYza

j

XYZU[nYZ^qWV^dSRb¡p _`Xp~gë\qR#S#_°§!WR0S#pqW%SW

f

U-Àou_`RS

f

_ji \ SWoM %iQP»XYZ^dS

f

aZR#S

¡_jS#pA©UIYQou\

a f ¨Y6Ua

¥

W¦S#p _`R¶aZRR\ U[n S#_`YZ^AUIY

f

W@XYZ^qX

f

WVSWx¡¤WaZo YZn S¶a6S

f

\qW¦XYZ^qXV\

f#f

WV^qXVPARWVUac^dS#_`XR

YZ^ f \ ^qR ±Y f S f ag#WXVSY f _`WRYc¬a¼ou_`RS f _ji \ SWoÁRPMR#SWVUµ® f \ ^qR[a f W¶o WRX f _jiWoÁaZR%WVWV^dS[R#S f \qXVS#\ f WR¿(Y f n!a f S#_a

Y f o W

f

RIYc0WVWV^dSR¿

f

acS#pqW

f

S#p!ac^:RW d\qWV^qXWRIYc£WVWV^dSRb+¨p _`R[WV^qXYMo WR[S#pqW¶ºaZXVS[S#p!acS[S©¡lY6XYZU[n1YZ^qWV^QSRXbac^

f \ ^6XYZ^qXV\ f#f WV^QSP ¾Gb%_j^»n!a f a jW &aZR/a f aZR£S#pqWVP@p!aW[^qY_j^QSW f aZXVS#_`YZ^K 5À^@S#p _`R]RWVUac^dS#_`XxÉaRWVS0Yc f \ ^qR

YcaRPMR#SWVU4_`R f WVn f WRWV^QSWo»\ ^qo W f S#pqW±Y f U Yca Éa¶XYZU[n!aZXVS&oqacSaR#S f \qXVS#\ f Wxac^qoS#pqW

RWVSYc¬a j nYxRR#_ji W f \ ^qRXY f#f WRn1YZ^qo RSY¦S#pqWIUau_jUa i f ac^qXp _j^ »n f YQXWRR¿^!acUIWoÁS#pqW YcS#p!acS

R#PuR#SWVUösu!wu!©

5ÀÎS#pqW§ f RS(n!a f S¤YcS#p _`R(¡¤Y f#¥ d¡lWn f YbWoS#p!acS3S#pqW\ ûY ou_j^ YcKa0ou_`R#S f _ji \ SWoIRPMR#SWVU XbacÎi1WWEun f WRRWo

aZRS#pqW£n f YMou\qXVSYc\ ^uY ou_j^ RYc_jSRXYZU[nYZ^qWV^dSRbq¡p _`Xpzx_jWRac^~WVWV^~UIY f W0XYZU[n!aZXVS¬ac^qo¶UIYMou\ a f GS#pd\qR

RXba

aci

W

f

WVn

f

WRWV^dSacS#_`YZ^+YcanYxRR#_ji

Ppd\ WRWVS]Yc

f

\ ^qRb 1±SW

f

o WVW

YZn _j^ @S#p _`R]¡lY

f#¥

¡¤WXbacUIWab¡la

f W

Yc>Wba f#P f WR#\ SRYc _j^qR ¥ W o W f _jM_j^ IWE aZXVS PS#p _`R¤n f YZnW f S©P f YZU R#_jU[n W£R#Sac^qoqa f oza f x\ UIWV^QSR_j^~XbacSWVY f P

S#pqWY f PKRWWö ©nKö}xsxvu!@{@Y f WWV^qW f a jPac^dP¦i f ac^qXp _j^ ~n f YMXWRR£YcS#pqW YZi!a RPMR#SWVU4Xbac^i1WWVU]iWo o Wo

_j^QSY%a]U[_j^ _jUa

n f

YQou\qXVSYci

f

ac^qXp _j^ [n

f

YQXWRRWR¤Yc_jSR¤XYZU[nYZ^qWV^dSRb aZXpºaZXVSY

f

YcS#p _`R¤n

f

YMou\qXVSXYbW

f

_j^

XYZ^QSac_j^qR f \ ^qRYca·XYZU[n1YZ^qWV^QS¶S#p!acSa f W¼n!a f SYc]acS WbaZRSYZ^qW f \ ^<Yc&S#pqWz YZi!a R#PuR#SWVUz W¼i1W _`WVW

S#p _`Rn f YQou\qXVS f WVn f WRWV^dSacS#_`YZ^A_`RIS#pqW ¥ WVP«SY·W"XV_`WV^dSUIYMou\ a f n f YMXWRR#_j^ R%Y f ou_`R#S f _ji \ SWo<R#PMRSWVUIRb 1¬R

a@SÀPQn _`Xba

WEqacU[n

WzYc0R#\qXp+UIYMou\

a f n f

YMXWRR#_j^ Rb¡¤W¼aZo o

f

WRR[S#pqW~n

f

YZi

WVU Yc0XYZU[n \ S#_j^ 6S#pqW~U[_j^ _jUa

n f YMou\qXVS[XYbW f _j^ »YcS#pqW\ ^u±Y ou_j^ »Yc¬a¦ou_`R#S f _ji \ SWo½R#PMRSWVUz¦¨p _`R[acUIYZ\ ^dSR%SY@o WVSW f U[_j^ _j^ YMXba ¤f \ ^qR

Yc¬WbaZXpÁXYZU[nYZ^qWV^dS[S#p!acS f WVUac_j^½n1YxRR#_ji WYZ^qXWS#p _`R%XYZU[n1YZ^qWV^QS_`R_j^qRW f SWo«_j^dSY@S#pqW YZi!a RPMR#SWVUzJ5©S

S#\

f

^qR%YZ\ SS#p!acSS#p _`Rn

f

YZi

WVU Xbac^«iWRY

Wo·_j^+ac^ÁW"XV_`WV^QS%Uac^ ^qW

f

iQP«ac^+acn n

f

YZn

f _acSW¶XYZUi _j^!acS#_`YZ^:Yc

YMXba XYZU[n \ SacS#_`YZ^qR£YZ^@i f ac^qXp _j^ n f YMXWRRWRb!i!aZRWo¼YZ^@S©¡lYYZnW f acS#_`YZ^qRK®n f YMou\qXVS£ac^qo¦n f YcgëWXVS#_`YZ^K p _W

S#pqW%n f YMou\qXVS]Yc¤i f ac^qXp _j^ ¼n f YMXWRRWRbªY f YcWVWV^dS]RS f \qXVS#\ f WRbª_`R]aZXVS#\!a jP»a d\ _jSW[RSac^qoqa f o»YZn1W f acS#_`YZ^öu

tV!tb Ktbs©!S#pqW&n

f

Ycg#WXVS#_`YZ^¦¡lW]o WE§q^qW]RWWVUIR

WRR

¥

^qY¿¡^&®l¡¤W\qRW0_jSSY¶aciqR#S

f

aZXVSS#pqW]i1WVp!abQ_`Y

f

R/Yc¤a%x_jWV^

XYZU[nYZ^qWV^dSYZ^A_jSR_j^dSW f ºaZXW¼¡_jS#p³ac^qYZS#pqW f XYZU[nYZ^qWV^dSb²¨pqW¦Y f _jx_j^!a _jS©PAYc&YZ\ f XYZ^QS f _ji \ S#_`YZ^³n f YZi!aci P

_`WR_j^AS#pqWzWVU[n p!aZR#_`R¡¤W¼n \ SYZ^<a WVi f ac_`X f W acS#_`YZ^qRiWVS©¡lWWV^An f YMou\qXVS¶ac^qoAn f YcgëWXVS#_`YZ^KS#p!acSa jY¿¡ S#pqW

Y f XpqWR#S

f

acS#_`YZ^»Yc3UIYQou\

a f

XYZU[n \ SacS#_`YZ^qRb 1/R¬aIUacS#SW

f

Yc(ºaZXVSbqS#pqWXYZU[n \ SacS#_`YZ^qR£¡¤W]o WRX

f

_ji1Wa

f

W]i!aZRWo

YZ^¼aUIWRRÝacW£n!aZRR#_j^ Ia Y f _jS#p U iWVS©¡¤WWV^zÀXYZU[n \ SacS#_`YZ^¼UIYMou\ WRë £aZRRYQXV_acSWoSY[WbaZXpzXYZU[n1YZ^qWV^QSblOQ_j^qXW

S#pqWIWE Xp!ac^ WYclUIWRRacWR&_`R]aZRPQ^qXp f YZ^qYZ\qRbYZ\ f UIYQou\ a f XYZU[n \ SacS#_`YZ^ÁRXpqWVUIWRXbac^«aZXVS#\!a jPiW[WbaZR#_P

1¬^<acn n

_`XbacS#_`YZ^´Yc£S#p _`R[

f

acUIWV¡lY

f#¥

SY6ou_`R#S

f

_ji \ SWo+ºac_

\ f

Wzou_acx^qYxR#_`R¿¤¡_jS#p³acn n

_`XbacS#_`YZ^qRSY

(8)

¨pqWn f YMou\qXVS f WVn f WRWV^QSacS#_`YZ^YcS#pqW\ ^uY ou_j^ :Yc%aÁou_`R#S f _ji \ SWo R#PMRSWVUz¬ac^qo³S#pqW»Y f XpqWRS f acS#_`YZ^ Yc

YMXba XYZU[n \ SacS#_`YZ^qR¶i!aZRWo:YZ^:n f YMou\qXVSac^qo+n f Ycg#WXVS#_`YZ^K¡¤W f W¦a jf WbaZouP+n f WRWV^dSWoA_j^ jt©A¨p _`Rn f WVQ_`YZ\qR

XYZ^QS f _ji \ S#_`YZ^ f W d\ _f WoS#p!acS(a j YZiug#WXVSR(acn n1Wba f _j^ £_j^S#pqWXYZ\ f RW¤Yc1XYZU[n \ SacS#_`YZ^qR>¡¤W f Wli f ac^qXp _j^ 0n f YMXWRRWR

Yc f WR#S f _`XVS#_`YZ^qRIYc¬S#pqW YZi!a RPMR#SWVUz½OMYXYZU[n \ SacS#_`YZ^qR f WVUac_j^qWo+xa _`o+aZR YZ^ ·aZR%n f YcgëWXVS#_`YZ^qR[_j^½S#p _`R

XbacSWVY

f

P»¡lW

f

W[^qYZS&U[_`R

WbaZou_j^ q¤Gbou_`o»^qYZS&\ ^qou\qW

PS

f

ac^qRëY

f U Xbac\qRa

_jSÀP»Y

f

XYZ^ q_`XVS

f W

acS#_`YZ^qR]i1WVSÀ¡¤WWV^

WVWV^QSR]_j^QSY¦ac^«acn n!a

f

WV^QSXYZ^qXV\

f#f

f

¡¤W

f

WVUIYbWS#p _`R]R#S

f

YZ^

_jU[_jSacS#_`YZ^«idP»WVU]iWo ou_j^

XYZU[n \ SacS#_`YZ^qR_j^dSYzS#pqW a f W f ac^qo»^qWV¡ XbacSWVY f PYc > 8 8 X 1/ e EK¨pqW acS#SW f

a jY¿¡ÁSY¬o WE§q^qWlan f YcgëWXVS#_`YZ^[YZnW f acS#_`YZ^S#p!acSn f WRW f WR(a j ^qWXWRRÝa f P]Xbac\qRa _jS©Pac^qo]XYZ^ q_`XVS f W acS#_`YZ^qRb%1¬ e R

a f

Wo WE§q^qWo¼_j^@RWXVS#_`YZ^@}u!¡p _

W]RWXVS#_`YZ^IR#S#\qou_`WR¬S#pqWV_

f n f YZnW

f

S#_`WR/ac^qo¦o WE§q^qWR¬W

WVUIWV^QSa

f

P¼YZnW

f

acS#_`YZ^qR/YZ^

S#pqWVUz _¥ W¬_j^dSW f RWXVS#_`YZ^¼ac^qo\ ^ _`YZ^zac^qoS#pqW/^qWV¡´S f _jU[U[_j^ [YZn1W f acS#_`YZ^K3¨pqW¬n f YMou\qXVSYc%1¬ e R¤_`Ro WE§q^qWo_j^

RWXVS#_`YZ^¼qqac^qo~WEMSWV^qo RS#pqW£\qR\!a n f YQou\qXVSYc>i f ac^qXp _j^ In f YMXWRRWR¿ 6^uY f S#\ ^!acSW P _jS_`R^qYZSR#Saci W£_j^~S#pqW

XbacSWVY

f

P»Yc 1¬

e

Rac^qo

f W d\ _

f

WR]S#pqW[_j^dS

f

YMou\qXVS#_`YZ^«Yca

a f W

f

XbacSWVY

f

P£®0WV^qW

f a

_j¢bWoN1/

e

Rb

e3f

YcgëWXVS#_`YZ^

_`R£o WE§q^qWo@_j^»RWXVS#_`YZ^6suac^qo¦\qRWog#YZ_j^dS Pz¡_jS#pS#pqWn f YQou\qXVS ±RWXVS#_`YZ^6w SYo WE§q^qWIac^¼ 1/ e Xba XV\ \qRë ±Y f

ou_`R#S f _ji \ SWo·R#PMRSWVUIR¬¡pqW f W[XYZU[nYZ^qWV^dS]_j^dSW f aZXVS#_`YZ^qR&p!abWaS f WW[R#S f \qXVS#\ f Wx¨pqW[WEMSWV^qR#_`YZ^6YclS#p _`R 1¬ e

Xba

XV\

\qR¬SYIR#PuR#SWVUIR¡_jS#p@a

f

i _jS

f a f P_j^QSW

f

aZXVS#_`YZ^@R#S

f

\qXVS#\

f

W]_`Ro YZ^qW0_j^¼RWXVS#_`YZ^@vuqac^qozSa

¥

WRS#pqW0Y

f U Yc3ac^

_jSW f acS#_jW0a Y f _jS#p Uz3¨p _`Ra Y f _jS#p U o YMWR#^ S¤PQ_`W oS#pqW¬WEqaZXVSU[_j^ _jUa n f YQou\qXVSXYbW f _j^ Y f S#pqW\ ^u±Y ou_j^

YcaIou_`RS f _ji \ SWo¼R#PuR#SWVUz i \ S/YZ^ P~ac^acn n f Yu_jUacS#_`YZ^@Yc(_jSb!S#p!acS^qWVW f S#pqW WRR¬p!aZR_j^QSW f WR#S#_j^ n f YZnW f S#_`WRb

¨pqW¦XYZ^dW

f

WV^qXW»Yc0S#p _`RI_jSW

f

acS#_jW¦n

f

YQXWou\

f W f W

_`WR¶YZ^´ac^A_j^QY

\ S#_jQ_jSÀP:n

f

YZnW

f

S©PAYc 1/

e

RbR#S#\qou_`WoA_j^

RWXVS#_`YZ^M

7

$24'(¬'( " 10É'(!'(

5

! #"%$&$&'()()+*,$-.*&)0/1*,243,()/1*,$65,*7 8,()"%$-9:

¨p _`R¬R#\ iqRWXVS#_`YZ^¼WRRWV^dS#_a jP f WXba jR^qYZSacS#_`YZ^qR£ac^qo~^qYZS#_`YZ^qR_j^QS f YQou\qXWo¼_j^#jt G¡lW f WE±W f S#pqW f WbaZo W f SY%S#p!acS

n!acnW

f

Y

f

UIY

f

W&o WVSac_

RE

; 1Ã Ä Ã 6< 1 >= @?Á_`Ra0S#\ n WBADCFEHGEJILK:EHMNEJOEQP1R¡pqW f WSCAac^qoTGa f W§q^ _jSW/RWVSR¤YcKZa f _aci WR

ac^qo»S#_WR f WR#n1WXVS#_jW PÉac^qoUIVK%_`R0S#pqW%_j^ _jS#_a RSacSW[YclS#pqW[R#PuR#SWVU WMNEJOEQP:a f WIo WE§q^qWo»iW Yb¡ EYXa f _aci WR

a f W%o WV^qYZSWo@idP@Xbacn _jSa ÉWVS#SW f R[ZBEH\E^]`_aE^]b9Eacacacªac^qo¦Sa ¥ Wxa \qWRedEgfEJh!_EJhb9Eacacac£_j^S#pqW&§q^ _jSW%o YZUac_j^Ui¶

1

IYcS? _`Ra¦G\ ^qXVS#_`YZ^jIkNCml i½¨_

WRa

f

WWV^qW

f

_`Xba

j

P:o WV^qYZSWo+iQP.n)EJnpoDEJn_aEJnb9E3WVSXxrq \ ^qXVS#_`YZ^

PUk)Gslut:v¦aZRRYMXV_acSWRlSY]WbaZXpS#_

W¬S#pqWxa

f _aci

W£RWVS¤YZ^¶¡p _`Xp_jSYZn1W

f

acSWRVwQS#pqW¬xa

f _aci

W¬RWVSNPADn9R(_jU[n!aZXVSWo

iQPS#_Wxn_`R3a RY0o WV^qYZSWo[idPyC1z(Y f R#pqY f Sb<5©^%S#pqWRacUIW¡aPdS#pqW f WWEM_`RSÉn!a f S#_a G\ ^qXVS#_`YZ^qRMNEJO{k)Gj|eC}l~i

o WE§q^ _j^ Y

f

WbaZXp»S#_

Wynac^qoWbaZXp»xa

f _aci

WT]C z S#pqWZa

\qW%Ycx]

f

WR#nWXVS#_jW

P¼iWE±Y

f

W[ac^qo»aGSW

f

n%§

f

WRb

nI_`R]WV^!aci

Wo»idP»R#SacSWYIo WV^qYZSWo»idPUINn9EK_°¯[].C1zEJINA]YReMADnE^]yREnIXbac^6S#pd\qR&§

f

WxK¡p _`Xp·PQ_`W

o R

S#pqW£^qWV¡µR#SacSWeIVo1o WE§q^qWoiQP[]4C z EJIVoA]BRONADn)E^]YREqac^qo[]4C,C z EJIoA]yR INA]YRE W0aZo YZn SS#pqW

R#Sac^qoqa f oz^qYZSacS#_`YZ^INn:I o

1

S#_

WR#PuR#SWVU=_`R3o WE§q^qWo¶aZR(S#pqWXYZU[nYxR#_jS#_`YZ^YcªRWVW

f a

XYZU[nYZ^qWV^dSR¿klYZ^qR#_`o W

f

S#_

WRPMR#SWVUIR

?1VADCEHG-EJI K

EHMLEJOQEQP!REVe},jÁ(¨pqWRW&RPMR#SWVUIRa f W > _°¯>6Y[}HETjÁ-r!

tx[]4CC+9E%I K

A]YRI K

A]BR

}uSn[G-G)9EP!JADn9R1C+SjPADn:RVC

uSn{G-+G)9Ex[]C+C+ESMVJADn)E^]YR M`ADnE^]yR¬ac^qoUOJADn)E^]YR sO!ADn)E^]YR¬YZ^n!ac_

f

RYADnE^]yR¡pqW

f W

S#pqWRW/±\ ^qXVS#_`YZ^qR¬a

f

W&o WE§q^qWoª

e YZ_j^dSt f W Q\ _f WRIS#p!acSI_j^ _jS#_a R#SacSWRXYZ_j^qXV_`o W¦YZ^AR#p!a f Wo+xa f _aci WRbRYS#pqW f W¼WEu_`R#SRa6R#SacSW0IVK

, ¡

¢IVK

o WE§q^qWo6YZ^£ C R#\qXp·S#p!acS[IVK

4IVK¤

v¥

R#p!a

f

Wo%xa

f _aci

WR>Y

f

a£XYZU[UIYZ^IS#_

Wxdac^qo%nYZ_j^dS¬S#p!acS3YZ^[S#pqWRWR#p!a

f

Wo%xa

f _aci

WRbxn

U\qR#S&a RY¶i1WS#pqWRÝacUIWx 5©^YZS#pqW f ¡¤Y f o RbªXYZU[UIYZ^S#_WR0YZ^ P¼ou_°¯ªW f idPzS#pqWxa f _aci WR¬S#pqWVP¦_jU[n!aZXVS£_j^@S#pqW