An Approach to Distributed State Space Exploration for Coloured Petri Nets

HAL Id: hal-00003392

https://hal.archives-ouvertes.fr/hal-00003392

Submitted on 29 Nov 2004

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.

An Approach to Distributed State Space Exploration for Coloured Petri Nets

Lars Kristensen, Laure Petrucci

To cite this version:

Lars Kristensen, Laure Petrucci. An Approach to Distributed State Space Exploration for Coloured Petri Nets. 25th International Conference on Application and Theory of Petri Nets, 2004, Bologna, Italy. pp.474-483. �hal-00003392�

*,+ - .' .0/1 .23 4- 4!#"056!)879!:<;

=>@?A>CBEDGFIHKJMLNOHGLNQPMRSRT1NOU=>@VLJGDMWOXYXFIZ

[]\_^S`bacedKf^SghdiYjkiYf`mlndK^McponqSrs^SgtqS^vutw_gtryxv^McKzer{d}|iYj<~pacK1lmz

€}‚

`macKƒ„^MgCut~_a…†iv‡„aYˆt^Š‰Y‹num\_Œ

‚}vŽYY

~_acKnltz‘un\)’<)“]~p”Œ

•M–1—1˜n™„š›hœYtšYœ1žvŸ1 h™G–†™¢¡£ ¤<¡¥ŸY—

¦¨§

€£©

‘umkp”:oªw)“4”¬«

 ‰ 

u†wpgmrsx„^McKzer{d1­^ © acKrszp®

€e€e€

¯Y¯

ubaxv^Sg1lm^)°v^SaYg

‚¥±

a`tdKrsz£dK^Šk²³­^Sf^Sghd

´¢‚¯

‰‹„‰

Eµ

rs²y²s^Md³agm^Sltze^vu

´

”p~p:k’

¶

œv›v˜v¤t·„·„™žh•h™

¶

<¡¸¤„t™¹hº

¶

 Y˜n™všn»½¼¾¡¥¿h˜

ÀªÁ¾ÂSÃSÄÅbÆYÃvÇ'È

^Š`ncK^Sze^Sghd_aYgÉaY`t`tcKivaYq³ agbˆ&azezeihqSryadK^½ˆ¨qSivf`tltdK^McdKihiv²¢zelm`

‚

`†iced¢jIic¾qSiYgbˆtltqMdKrsgm‡ˆnryz£decKrs…tltdK^½ˆ)z£d³adK^ze`baqS^^MÊn`m²siYc³adKryiYgŠjËiYc¾kiv²sivlncK^½ˆ

©

^GdecKr

p^MdKzp̸k

©

_z³ÍGÎ



m^pˆtrsz£decKrs…mltdK^Sˆ'z£d³adK^ze`baqS^p^GÊt`t²siYc³adKrsiYgrszυbaYze^SˆEivgEdKm^rsg

‚

decKi1ˆnlmqMdKrsivg&ijaEqSihiYc³ˆnrsgbadKrsgt‡`ncKihqS^SzezpaYgmˆ]aEg1lmf'…†^GciYj¾ÐicKƒ„^Mcp`tcKihqS^Mzeze^SzSÎ



t^ªÐiYcKƒ„^GcE`tcKihqM^Szeze^SzEacK^cK^Sze`†ivgtzery…t²s^jËiYc'dKt^ªz£dKiYc³aY‡Y^.ijz£d³adK^Sz‘aYgmˆÑdKm^

qSiYf`mlnd³adKrsivgÉiYjzeltqSqS^Szezeic#z£d³adK^SzSÎ



t^‘qSihic³ˆtrsgbadKiYc#`ncKihqS^Szez:rsz_cK^Sze`†iYgmzers…m²s^

jËiYc#dKm^'ˆtrsz£decKrs…mltdKrsiYgÑiYjz£d³adK^Sz#agbˆÉdK^McKfrsgbadKrsiYgшn^MdK^SqMdKrsivgOÎC~,fªaryg¨x1r{cedKlm^

ijpiYltc'aY`t`tcKi„aqGrsz#dKbad'r{d‘q½aYg…†^ªˆnrscK^MqMdK²{|rsf`m²s^Sf^SghdK^½ˆ¨rsgdKm^^MÊnrsz£dKrsgm‡

zersgm‡Y²s^

‚

dKtcK^½aYˆt^½ˆ4jÒc³aYf^MÐiYcKƒ4ij\:^Szers‡vgbÓvk

©

ÔaYgbˆÉk

©   ihiY²yzSÎ



mrszpfªaƒ„^Sz

dKt^‘ˆnrsz£decKry…tltdK^½ˆ]z£d³adK^‘ze`maYqS^#^MÊn`t²yic³adKrsivg¨agbˆ&aYgmaY²{|nzersz_²yacK‡Y^S²{|&dec³aYgmze`macK^Sghd

dKidKm^aYgba²{|tz£d½Î

È

^Ïrs²s²slmz£dec³adK^ÏdKm^ltze^ijtdKt^ˆt^Mx„^S²siv`†^½ˆ)dKihiv²hiYg'ag‘^GÊmaf`m²s^vÎ

Õ Öm×؆Ù@Ú)ۑ܊ݢØ@ÞKÚ×

ß JMT1JGL‘HGàOTtXL)Lá†à@âËãnDSThJMFÒãtN]FËHãnN@L#ãnä¾JGå@L‘æ&T1FËNÉT1à@à@DMãtTtXSå@LYHJMãXãtæ]à@W†JGLYD³çeT1FIU†LvU]è„TnâÒFIU@T1ç

JGFËãnNTnNOUènLYDGFÒéCXYThJGFËãnN&êëOì½ívî£>Yï:å@LpðOTnHGFËXFËU@LYT)ãnäOHKJSThJGL_H³àCTnXLLá†à@âËãnDSThJGFËãnNEFIH<JMã‘Xãnæ]à@W†JML

T1âËâDGLvTnXSåOTnð@âÒL]H³JMThJMLYHªTnNOUñHKJSThJGLÉXSåCT1N@òtLYH'ã1ä_JGå@LÉHGó†HKJMLæTnNOUñDGLYà@DMLYHGLNmJGFËN@ò JGå@LvH³LÉTtH

T.U†FËDMLYX½JMLYU ònDST1à@å>bï:åOL'æ&TnFÒNÑTnU†èhT1NmJST1ònL'ã1äH³WOXSåÑLá†à@âËãnDSThJMFÒãtNÉæ]LJMå@ã†U@H:FËH_JMåOThJ:JMå@Ló

T1DML_åOFÒòtå@âÒó4T1W†JMãnæ&ThJMFËX_JMãWOHGL#T1NOU]T1âËâËãhôõäöãtDFÒNbènLvHKJMFÒòmThJMFÒN@òEãnä¢æ&T1Nbó.à@DGãtàCLYD³JMFÒLvHã1äQJGåOL

H³ó†H³JGLæW@NOU†LYDªXãnNCH³FIU†LDSThJMFÒãtN<>Qï:å@L]æ]TnFÒN÷U†FIHGTtU†èhT1NmJMTnònL4ã1äpH³JMT1JGL&HGàOTnXL4Lá†à@âÒãtDMT1JGFËãnN

æ4LJGå@ã†U@H#FËH_JMå@L]ø½ù£ú1ù£ûªø}ü@útýMû4ûMþ½üQÿ„øÉü ÿÒû ê„í„î}>

ô)FIU†LEèhT1DMFÒLJKó4ãnäæ]LJMå@ã†U@H¸HGLL]êhívîQäöãnD)T4H³WODGètLóåOT„ètLŠð¢LLYNÑHGW@ònòtLYH³JGLvU&FÒN JGåOL

âÒFÒJGLYDMT1JGW@DML]JGã TnâÒâËLèbFIThJML&JGå@L HKJSThJGL H³àOTtXL&LábàOâÒãmH³FËãnN÷à@DMãnð@âËLæ>)LYXLNmJGâËó¬ê†ì hî£ì<JGåOLDML

åOTnH_T1âIH³ã.ðCLYLN FÒNOXDGLvTnHGLYU&FËNmJGLYDGLvHKJ_FÒN Lá†à@âËãnFÒJGFËN@òJMå@L'æ4LYæ]ãnDMó]TnNOU¨Xãnæ]à@W†JMFÒNOòà¢ãhôpLYD

ã1äHGLènLYDMTnâ¾æ&TnXSå@FËN@LYH#JGãÑXãnNCU†WOX½J'U†FËH³JGDMFËð@W†JGLvU H³JMThJMLHGàOTnXLªLá†à@âËãnDSThJMFÒãtN<>‘FËH³JGDMFÒðOW†JGLvU

Lá†à@âËãnDSThJGFËãnN]U†ãbLYHNOã1JT1âËâËLèbFËT1JGL_JGåOLŠHKJSThJML#H³àOTtXL:Lá†à@âËãtHGFËãnN4à@DGãtð@âËLæìhð@W†JFÒJFËNOXDMLYTtH³LvH

JGå@Læ]Læ]ãtDGóÑT„è„TnFÒâIT1ðOâÒL‘äöãnDŠH³JGãtDMTnònL'ã1äJGå@LªH³JMT1JGLªHGàOTnXLnì@TnNOUÑåOTnH:JMå@Là¢ã1JGLYNmJGFIT1â¾äöãtD#T



mrszÐicKƒ.ÐaYzz£d³acedK^½ˆ.Ðt^Sg]…†idK]aYlndKmicKzÐ^McK^Šadp§Qo

µ

umk_”_o.w:“4”



‹„‰1u@’<)o.ˆn^

kaYq³bagCu

´

c³aYgtqS^vÎ

onlt`m`†icedK^½ˆ…h|ªdKm^_\)aYgtryze4:adKlnc³aY²¢onqSrs^SgtqS^)”^Sze^½acKq³&kiYlmgtqSrs²öÎ

Ln>òO>ËìbäöãnD:JGåOL ß V êî£ìŠVpV = ê„î£ì@T1NCUÑ? W@D ê hî¾JGãbãtâËHY>

eNAJGå@FIH.àOT1à¢LD.ôpL¨XãnNOHGFIU†LD4U†FËH³JGDMFËð@W†JGLvU H³JMThJML HGàOTnXLÉLá†à@âËãnDSThJMFÒãtNñäöãnDpãtâÒãtW@DMLYU

VLJGDMF#LJMH _V‘H ]êënî}><?ã†U†LYâÒâËFËN@òT1NOU÷T1NCT1âËóbHGFIH‘ãnä_V æ]ãbU@LâIHT1DML]HGW@à@à¢ãnDGJGLvU

ðmó ŠLvH³FËònN_V ê1îŠT1NOU_V ïÏãbãnâIHê1î}>ŠNtJMFÒâŠN@ãhôìãnN@âËó ètLDMóAâÒFËæ]FyJMLYU¬FÒNbètLYH³JGFÒç

òtThJMFÒãtNOHªåCT„ènL&ð¢LLN8XãnNCU†WOX½JMLYUAãtN U†FIHKJMDGFËð@W†JMLYUõH³JMT1JGL¨HGàOTtXLÉLábàOâÒãtDMT1JGFËãnNñäöãnD_VŠH

ê î£>ï:åOLÑXãnNmJGDMFÒðOW†JGFËãnN8ã1ä#JMå@FËH]àCT1à¢LD]FËH.JMã LábàOâÒãtDGL¨JGå@LWOHGL ãnä‘U†FIHKJMDGFËð@W†JMLYU¬HKJSThJML

H³àOTtXL]Lá†à@âËãnDSThJMFÒãtN FËNñJGå@L¨XãnNmJGLábJEãnä_VŠHTnNOU JGå@LYFÒDTtHGHGã†XFIThJMLYU Xãnæ]à@W†JMLDJMãbãnâIH

ŠLvH³FËònN_V T1NCU_V ïãbãtâËHY>

æ&T1FËNDGLtWOFÒDMLæ]LNmJ)FËN JMå@LU†LYènLYâÒãtàCLYNtJ)ãnäãtW@DŠT1à@ç

à@DGãmTnXSå÷åOTtHð¢LLYNAJGã Lá†à@âËãnFÒJ.TnHæWOXSåõTtHªà¢ãtHMH³FËð@âËLÉJMå@L¨LábFIH³JGFËN@ò HGW@à@à¢ãnDGJäöãnD4HKJSThJML

H³àOTtXLvHì@TnNOU JGãÉæ&TtL'JGå@LU@FËH³JGDMFÒðOW†JGLvUÑH³JMT1JGLHGàOTtXLELá†à@âËãnDSThJMFÒãtN âIT1DMònLYâÒó&JMDMTnNOHGàOT1DMLNmJ

JGã]JGåOLETnNOT1âËó†HKJv>

ï:å@L DMLYH³J¨ã1äEJGåOFËH àOT1à¢LD FËH ãnDMòtTnN@FIH³LvU8TtH&äöãnâËâËãhô#H>

ß

LYX½JMFÒãtN÷FËNmJGDMãbU@WOXLvH¨HGãnæ]L

ðOTnHGFËX#N@ã1JSThJGFËãnNCHäöãnD_HKJSThJML‘HGàOTnXLYHY> ß LvX½JGFËãnNà@DMLYHGLNmJMHãnW@D_T1âËònãnDMFÒJGå@æ äöãnD:U†FËH³JGDMFËð@W†JGLvU

HKJSThJGL.H³àOTtXLªLá†à@âÒãtDMT1JGFËãnNT1NOUHGLYXJGFËãnNëÉòtFÒètLYH#HGãnæ]LªLá†àCLYDGFËæ]LNmJMTnâ<DGLvH³WOâyJSH#ô)FÒJGåJMå@FËH

T1âËònãnDMFÒJGå@æ ãtNTnN Lá@T1æ]à@âËLn>FÒNCT1âËâÒótìOH³LvX½JMFÒãtN 4XãtNmJMT1FËNOH_JMå@LªXãtNOXâËWOHGFÒãtNOH>

!#"Ý$&%ÙOÚ܊בÛ

ÏFËònWODGL &âËFËH³JMHEJMå@LÉH³JMT1NCU@T1DSU TnâÒòtãnDMFyJMå@æ äöãtDªH³LtWOLNmJGFIT1âLá†à@âÒFIXFÒJH³JMThJMLÉH³àCTnXL]LábàOâÒãnç

DMT1JGFËãnN<>ï:å@L T1âËònãnDMFÒJGå@æ ãtàCLYDMT1JGLvH]ãnN¬JKôpãAHGLJSH(')+*-,.0/21434565637 ô)å@FIXSå FËH¨TAH³LJÉã1ä

HKJSThJGLvHäöãtDpô)å@FIXSå¨HGWOXXLYHMH³ãtDH³JMThJMLYHåOT„ènL#NOã1JpótLJð¢LLYN XYT1âIXW@âIThJMLYU&T1NCU98+/:7;345:ô)å@FIXSå

FËHJMå@L#HGLJã1äQT1âËDGLvTnU†óèmFIHGFyJMLYU4HKJSThJGLvH>tï:å@L#T1âËònãtDGFÒJGå@æ H³JMTnD³JSHäöDGãtæ JGåOL#FÒNOFyJMFËTnâOHKJSThJML=<?>

T1NOU.XãnNCU†WOX½JSHÏT‘âËãmãtàªW@NmJGFËâbJGåOL_HGLJã1ä@W@NOà@DGã†XLYHMH³LvUªHKJSThJMLYHFËHLYæ4à@JKón>@eNLvTnXSåªFÒJGLYDMT1JGFËãnN

ã1ä<JMå@L‘âËãbãnà ¸âÒFËN@LvHACB ½ìmT.H³JMT1JGLD< FËH_HGLâËLYX½JMLYUÉäöDGãtæ JMå@LEH³LJ_ãnäW@N@à@DMã†XLvHGHGLYU&H³JMT1JGLYH

T1NOU JGå@LÉHGWOXYXLYHMHGãnDEHKJSThJGLvHE<GFã1ä=< T1DML4Lá@T1æ]FËN@LYU FÒN JGWODGN<> ß WOXXLYHMH³ãtDEH³JMT1JGLvH'JGåOT1J

åOT„ènL'N@ã1J#ð¢LLYNà@DGLYèbFÒãtWOH³âËó&èbFËHGFÒJGLYUTnDGL'FÒNCH³LYD³JMLYUÑFÒNmJMã.JMå@LªHGLJ)ã1äW@N@à@DMã†XLvHGHGLYU HKJSThJGLvH>

HIJKLMN4OQPR RSPTUWV(XZY([

Ž I\N]T4P^R=U_V6XZY6[

‰

I`bacedgf+hiJKLMN4OQPR RSPT;jlknmL^opnqsrt4u

‹ I “

U_JKLMN4OQPR RSPT;jwvxPoy\P^zokn{6PmP^Kyo-qr

|I }~u Ä.Å ded ÌeÌeS€½Í‚€

X?ƒ

ÍzeltqGdKbad

X…„ ÌeS€S͇†

Xˆƒtu

I cg}Dh

Ì

\N]T4P^R@jw‰N]Kyo@Š]‹gKR ÌX ƒ

ÍeÍ

Ã

af^Œ

« I \N]T4P^R@jl=T]T

ÌX ƒÍ

 I JKLMN4OQPR RSPT;jl=T4T

ÌX ƒÍ

¯^I fŒtcg}

H  I f^Œ0tŽ}u

Ä

H6HIf^Œ0tZ`bacedgf

 cg‘ ÇC’bÇ

on^”“hlt^SghdKrÒa²@z£d³adK^#ze`baqS^)^MÊn`m²siYc³adKrsivg&a²y‡YiYcKr{dKmf]Î

ï:å@L:JGFËæ]L:JMTtLN.JGãELá†à@âËãnDML_JGå@L#H³JMT1JGL)HGàOTnXL_ãnä¢T•_V8FIHU†LJGLDMæ]FÒNOLYU4ðbóJGå@L#Xãnæ]à@W†ç

JMThJMFÒãtN ãnäÏLYNOT1ð@âËLYU ð@FËNOU†FËN@ò]LâËLæ]LNmJSH)T1NOU XãnDMDMLYHGàCãtNOU†FËN@ò.HGWOXXLYHMH³ãtD_H³JMT1JGLvH:FÒNÑâÒFËN@L †ì

T1NOU÷JMå@LÉJMFÒæ]LÑWOHGLYU÷JMã U†LJGLDMæ]FÒNOL¨ô)å@LJGå@LYD4TNOLô)âËóñòtLN@LYDMT1JGLvUAHKJSThJGL åOTnH.T1âËDGLvTnU†ó

æ4ã†U†LYâËHÏåOT„èbFËN@ò#æ&T1Nbó‘JGã^tLNOHT1NCUªXãtæ4àOâÒLáETnDMXLá†à@DGLvHGHGFËãnNOHY>Yï:å@L_H³àCTnXLWOH³LvUEJGã'HKJMãnDML

JGå@LH³JMThJML'HGàOTtXLŠFIH:T1N@ãnJGå@LYDpæ&TnFÒN¨ä¸TnX½JMãnD:FËNÉJGåOLETnâÒòtãnDMFyJMå@æ> U†FIHKJMDGFËð@W†JMLYUÑXãtæ4àOW†JMT1ç

JGFËãnN ãnäJGå@L4HKJSThJGL.H³àOTtXLXãnW@âIUà¢ã1JMLNmJGFIT1âËâÒóTnXSåOFÒLYènLJMå@LªäöãtâÒâËãhô)FÒNOò]' pãnæ]à@W@JMThJMFÒãtN

ã1äH³WCXXLvHGHGãnD#H³JMT1JGLvHŠXãtW@âIUðCLU@ãnN@LªFËNàOTnDMTnâÒâËLâ¾äöãtDŠHGLènLYDMTnâ<HKJSThJMLYHŠT1J‘T4JGFËæ]Lnì ‘Lç

JGLDMæ]FÒNOFÒN@òÑô)å@LJGå@LYDETÑH³JMThJML.åCTnHET1âËDGLvTnU†óÑð¢LLNñLá†à@âËãnDMLYU XãnWOâËU ðCL&U†ãtN@L.FËN àCT1DST1âËâÒLYâ

äöãnDpHGLètLDST1âOH³JMT1JGLvHpT1JpTJMFÒæ]LnìbT1NCU JMå@L#JMã1JST1âQT1æ]ãnW@NmJãnä<æ]Læ]ãnDMó4T„èhTnFÒâIT1ð@âËL:äöãnDpJGåOL

HKJSThJGLHGàOTnXLELá†à@âËãnDSThJGFËãnN ôpãtW@âIU ð¢LFËNOXDMLYTtH³LvUÉðbóÉåOT„èbFËN@ò&H³LYènLDST1âQæ&TnXSåOFÒN@LvH>

ÔÞtØbÙCޑÜ#ØÛ _Øy"ÏØ x"ݳÚÙ"Ø@ÞKÚ×

_TtH³LvU¬ãnN à@DMLèbFËãnWOH&ô_ãnDS6ê@ì †ìhî‘ãnNÔU†FIHKJMDGFËð@W†JMLYUÔH³JMT1JGL HGàOTnXL Lá†à@âËãnDSThJMFÒãtN<ìô_L

XSå@ãbãtHGLJGãÑU†FËH³JGDMFËð@W†JGL.ðCãnJGåñHKJMãnDST1ònLªTnNOU XYT1âIXW@âIThJMFÒãtNã1äHGWOXXLYHMH³ãtDŠHKJSThJMLYHŠJGã¨T¨NmWOæ.ç

ðCLYD#ã1ä tû :ü výMûøSøû½ø½>Oï:å@LªTnâyJMLDMNOThJMFÒètL‘ô_ãnWOâËU åOT„ènLEð¢LLYN JMã]ãnN@âËó U†FIH³JGDMFÒð@W@JGLEJGåOL

HKJMãnDST1ònL:ãnäQH³JMT1JGLYHT1NOU]Xãtæ]à@W†JGL‘H³WOXLYHMH³ãtDHKJSThJMLYHXLNmJGDST1âËâÒót>ŠFIH³JGDMFÒð@W@JGFËãnN&ã1ä<HGWOXXLYHMH³ãtD

HKJSThJGLvHEô_TtHXãtNOH³FIU†LYDGLvU ãnä_àOTnD³JMFËXW@âIT1DEFÒæ]à¢ãnDGJMTnNOXL4äöãnD_VŠHYì¾ô)å@LYDGL4JGåOL¨Xãtæ4àOW†JMT1ç

JGFËãnNñã1ä_HGWOXYXLYHMHGãnDEHKJSThJGLvHEXT1N ðCLÉXãtH³JGâËóFÒN÷XTtH³L4ã1ä_æ&T1NbóJGãnLNCH‘ãtN à@âITnXLYHTnNOU4„ãtD

Xãnæ]à@âËLáñT1DSXFËNOHMXDMFÒà†JMFÒãtNOHY>0ŠN@âËFtL.JMå@LÉT1àOà@DGãmTnXSå@LvHŠDMLà¢ãnDGJGLvU FËN¬ê hî}ì¾ô_L4FÒNmJGDMã†U†WOXL

T¨XLYNmJGDST1â_ý ¢ú1ù #ü YýSûøSøS>¾ï:å@L.à@W@DMàCãmH³Lã1äJGåOL4XãmãtDMU@FÒNOT1JGãtD#à@DMãbXLYHMH)FIH#JMã U†FIHKç

JGDMFÒð@W@JGLŠH³JMT1JGLYHY>nï:å@L)FËNmJGDMã†U†WOX½JMFÒãtN]ã1ä¢JGå@LŠXãbãnDSU†FÒNCThJGãtDà@DGã†XLYHMHæ]T^nLvHJGå@L#FËæ]à@âËLæ]LN†ç

JMThJMFÒãtNAã1ä)U†FIHKJMDGFËð@W†JMLYU H³JMT1JGLÉHGàOTnXL&Lá†à@âËãnDSThJGFËãnNAHGFÒæ]à@âËLDònFËènLNñJMå@L¨HGFÒN@òtâÒLç¥JMå@DMLYTnU@LYU

NOThJMW@DGLÑã1ä ŠLvH³FËònN_V T1NOU _V ïãbãtâËHY>2OW@DGJGå@LYDGæ]ãnDMLnìJMå@L FËNmJGDMã†U†WOX½JMFÒãtNõãnäŠJGåOL

XãbãnDSU†FËNOThJMãnDEà@DMãbXLYHMHH³FËæ]à@âËFyéOLvHJMå@L&JGLYDGæ]FËNOThJMFÒãtNAU†LJMLYX½JMFÒãtN<>

JMå@FËDMU÷TnU@è„TnNmJMT1òtL]ã1ä

JGå@FIH.TnDMXSåOFyJMLYX½JMW@DMLÉFËHJGåCThJ4JGå@LÑXãbãnDSU†FËNOThJMãnDXYT1NõTnâËHGã ð¢L¨WOHGLYUAâIThJMLD.JGãñXãnNmJMDGãtâJGåOL

ènLDMFÒéCXT1JGFËãnN¨àODGã†XLvHGH:ô)åOFÒâËL'JGå@LWOHGLD)FËNmJGLYDMTtX½JMH:ô)FÒJGåÑJMå@LªXãbãnDSU†FËNOThJMãnD:à@DMã†XLYHMH_ãnN@âËón>

ï:å@L¨ðOTtH³FIXÉFIU†LvT FIHJMåOThJ4ô)å@LN¬T ô_ãnDSnLYDXãtæ4àOW†JGLvH4T H³WCXXLvHGHMHGãnDH³JMT1JGLnìFÒJ.éODSH³J

XSå@LYX †H_FyäFÒJ#FyJSH³LYâyäFËH:DMLYHGà¢ãnNOHGFÒðOâÒL'äöãnD:JMå@LªH³JMThJMLn>‘LJMLDMæ4FËN@ò4JGåOFËH)FIH:ðOTtH³LvU¨ãtN¨JMå@LWOHGL

ã1äT1NLábJMLDMNOT1â<åCTnHGåäöW@NOX½JMFÒãtNbN@ãhô)NÑJGã¨TnâÒâ<ô_ãnDSnLYDMH)TnNOU JGå@L.XãbãnDSU†FËNOThJMãnD)à@DMã†XLYHMHY>

£ä:HGãOì¾FÒJªXSå@LYX †HEâËãbXYT1âËâÒóô)åOLJGåOLDJMå@L&HKJSThJGL]FIHªTÑN@Lô ãnN@Lt>ŠJGå@LYDGô)FIHGLnì¾FÒJH³LYNOU@H'JGåOL

HKJSThJGL JGã JGåOLXãbãnDSU†FÒNCThJGãtDY>ï:å@LXãbãnDSU†FËNOThJMãnDJGå@LYN¬HGLNOUOHJMå@LHKJSThJGL JGãñJMå@L ô_ãnDSnLYD

DGLvH³à¢ãnNOHGFËð@âÒL‘äöãnD_JMå@LªHKJSThJMLn>†ï:å@LEæ&T1FËNÑU†FIHMTnU†èhT1NmJST1ònL‘ã1äÏJGå@FIH)T1DSXSå@FÒJGLYXJGW@DML'FËHpJGåCThJ)JGåOL

XLNmJMDMTnâ:XãbãnDSU†FÒNCThJGãtD.NOãbU@LXãnW@âIU ð¢LYXãnæ]LTñðCãnJ³JGâËLNOLYX Q>‘N JMå@Lã1JGåOLD&åOTnNOU¾ìJGåOL

Xãnæ]à@W@JMThJMFÒãtNñJGåOT1JªN@LLvU@HEJGãð¢L¨U†ãtN@L]ðmó JGå@LÉXãbãnDSU†FÒNCThJGãtDEFËHètLDMóâÒFËæ]FyJMLYUAHGFÒNCXL&FÒJ

ãnN@âËó¨XãtNOHGFËH³JMH:FËNDGLYâËT„óbFËN@ò4H³JMT1JGLvH_JGã4JGå@LªTnà@à@DMãnà@DMFIThJGL'ô_ãnDSnLD:à@DMã†XLvHGHY>

ï:å@Lªô_ãnDSnLD‘T1NOUÑJMå@L.XãmãtDMU@FÒNOT1JGãtD#à@DMãbXLYHMH³LvH#T1DMLªT1âËâ

ß ? =2¨à@DGã†XLYHMH³LvH ß

JST1N†ç

U@T1DSU8? =6ãnäDŠLônLYDMHGLó½ìTnNOUõJGå@L Xãnæ]æW@NOFËXYThJGFËãnN¬FËN†äöDMTtHKJMDGWCX½JGWODGLÑðCLJKôpLYLN¬JGåOL

N@ã†U†LYHŠFËHŠðOTnHGLYUãtN JMå@Lpãtæ]æ]H”^_V âÒFËð@DST1DMó êhî}>Oï:åOFËHŠâÒFËð@DST1DMó HGW@à@à¢ãnDGJMHŠXãnæ]æW@ç

N@FËXYThJMFÒãtNð¢LJKô_LLN ß ? =nCEà@DGã†XLYHMH³LvHÏTnNOUªLámJMLDMNOT1â†Tnà@à@âËFËXYThJGFËãnNCH>@eN.JGå@FIHàOT1DGJGFIXWOâËTnD

XTnHGLnì¾TnâÒâXãnæ]æW@NOFËXYThJGFËãnNCHŠô)FËâÒâðCL]ð¢LJKô_LLN ß ? =nC àODGã†XLvHGHGLYHY> æ]TnFÒNñà@DMãnð@âËLæ

ô)FyJMåJGå@L ß ? =nCÉà@DMã†XLYHMHGLYH)FIH#JMåOThJ‘JGå@LYóT1DMLH³FËN@òtâÒLç¥JMå@DGLvTnU†LvUT1NOU pãtæ]æ]H”^_V

ãnN@âËóH³W@àOàCãtD³JSH'T¨ð@âËãbX bFËN@ò¨DMLYXLFËènLªàODGFËæ]FyJMFÒètLn> L4åOT„ètLªJGåOLDMLäöãnDMLTtU@U†LYU TZ1"!;*-. 3#

143%$'&:3à@DMFËæ4FÒJGFËènLJGãpãnæ]æ&H _V JMã HGW@à@à¢ãnDGJET&à¢ãnâËâËFÒN@ò DGLvXLYFÒètLn>( L4TnHMH³W@æ]LJGåOT1J

LYTnXSå¨ã1ä¾JGåOL‘ô_ãnDSnLYDMHô)FËâËâ¢DMW@N ãnNÉæ&TnXSåOFÒN@LvHô)FÒJGå L6mWOTnâ¢Xãnæ]à@W†JMFÒN@ò4à¢ãhôpLYDpT1NCU¨Xãtæ4ç

æW@N@FIXT1JGFËãnNÑðCLJKôpLYLNô_ãnDSnLDSH_T1NOUÑXãbãnDSU†FËNOThJMãnD:ô)FËâÒâ<ð¢LãnNT4âÒã†XYT1â<T1DMLYT.N@LJKôpãtD‚Q>

HI U

Ž I

‰

IR P^KT ̸o

 ~  ’ XY

uÐiYcKƒ„^GcÌeÌ

XY ÍeÍeÍ

‹ I

gt^MÊ1dK`tcKiv…†^

U

£Ì

XZY

Í

|IR P^KT Ì©

”

±

’uÐiYcKƒv^McÌgm^MÊ1dK`ncKiv…†^ÍeÍ

I

gt^MÊ1dK`tcKiv…†^

U

gt^MÊ1dK`tcKiv…†^

H

« I

 I`bacedgf+h

qSiYf`mlndK^½ˆ

t4u

¯^I }~u Ä.Å

dedVCH

€ €

[xt4u

H  I c}b‰Š]K=P^O P‹4P

ÌIÐiYcKƒ„^McÌ

ÍeÍ

à af^Œ

H6HI MyP^O P‹4P

Ìf^SzezKa‡v^vuÐiYcKƒ„^McÌ

ÍeÍ

H Ž I cg}

f^SzezKaY‡Y^ o  ~  ’ X à af^Œ

H ‰ I

gm^MÊ1dK`tcKiY…†^

U m‹K Ìgm^MÊ1dK`tcKiY…†^vu ÌX ÍeÍ

H ‹ I R PKT

̸o

 ~  ’ X uÐiYcKƒ„^McÌeÌ

X

ÍeÍeÍ

H”|I f^d f

H I V ©

cKiv…†^:ÐazcK^GdKltcKgm^Sˆ

[

H « I cg}

gm^MÊ1dK`tcKiY…†^

à af^Œ

H  I

qSiYf`mlndK^½ˆ

U

decKlm^

HS¯^I fd

 f

Ž I R P^KT

Ì©

”

±

’uÐiYcKƒv^McÌgm^MÊ1dK`ncKiv…†^ÍeÍ

Ž HI

gt^MÊ1dK`tcKiv…†^

U

gt^MÊ1dK`tcKiv…†^

H

ŽYŽ I fŒtŽcg}

Ž ‰ I f^Œ0tŽcg}

Ž ‹ I f^Œ0tc}

Ž

|I f^Œ0tŽ}u

Ä

Ž If^Œ0tZ`bacedgf

Ž « I

Ž I}~u ĪŠded 9VCH

€ €!

[ tu

Ž ¯^I R P^K]T ̸o

 © uÐicKƒ„^McÌ

ÍeÍ

‰  If^Œ0tZ}~u

Ä  c‘

Ç#"OÇ

o1d³adK^:ze`baqS^)^MÊn`m²sic³adKrsivgÉa²y‡YiYcKr{dKmf jËiYcdKm^)qSihic³ˆtrsgbadKiYc½Î

ÏFËònWODGLDªòtFÒètLYHJGå@LT1âËònãtDGFÒJGåOæ3Lá†LYXW@JGLYU ðbó]JGå@LEXãbãtDMU†FËNOT1JGãnD_à@DMã†XLYHMH_U†W@DMFÒN@ò.JGåOL

U†FËH³JGDMFËð@W†JGLvU]HKJSThJGL#HGàOTtXL:Lá†à@âËãnDSThJMFÒãtN<>1ï:å@L#XãbãtDMU†FËNOT1JGãnDH³JMTnD³JSHðmó4H³LYNOU†FËN@ò'JGå@LŠFÒN@FÒJGFIT1â

HKJSThJGLZ<#>&JGã JGå@LÉô_ãnDSnLYDªU†LJMLDMæ]FÒN@LvU÷ðbó JGåOL¨LábJMLDMNOT1âåCTnHGå÷äöW@NOX½JMFÒãtN$%&(' ' )+*

,

- .-0/#/#/-2143 WOHGLYU JGã÷U†FIHKJMDGFËð@W†JMLH³JMT1JGLvHð¢LJKô_LLYN JGåOL51Ôô_ãnDSnLYDMHY>;£J4JGåOLN H³LYNOU@H4T

,./63 ]ûøSøú#7mû:JGã‘JGåOFËHà@DMã†XLvHGHJGãEð¢L:Tnð@âËLJMã'U†LJGLvX½Jô)å@LYNªJGåOL_àODGã†XLvHGHåOTtHÏéON@FIH³å@LvU

à@DGã†XLYHMH³FËN@ò&JMå@L.H³JMT1JGL98KWCHKJEH³LYNtJv>¢ï:åOL+,.0/ 63æ]LvHGHMT1òtLYH#TnNOUèhT1DMFËTnð@âËL ¢ûMþtùsü Sû4T1DML

WOH³LvUªJMãªU†LJMLYXJJMLDMæ]FÒNOT1JGFËãnN<> ñL)ô)FËâÒâ@Lá†à@âËTnFÒN4å@ãhôAJMå@L:JGLYDGæ]FËNOThJMFÒãtN4U@LJGLvX½JMFÒãtN4ô_ãnDS†H

ThäJGLYDà@DMLYHGLNmJGFËN@òEJMå@LŠT1âËònãtDGFÒJGåOæ äöãnDJGå@L‘ôpãtD‚tLDSH>hï:å@LŠXãbãnDSU†FÒNCThJGãtDJGå@LYNÉDGWONOHTEâËãmãtà

ô)å@LDML)LYTtXSå4ãnäQJGå@L#ô_ãnDSnLYDà@DGã†XLYHMH³LvHFËHàCãtâÒâËLYU4äöãtDæ]LYHMHGTnònLYHWCH³FËN@òJMå@L 1"!;*-. 3]13 $'&23

à@DGFËæ]FyJMFÒètLn>C£ä¢JGå@L)DMLYXLFËènLvUªæ]LYHMHGTnònL_FËHTE5#: !.: 3QìnJGå@FIHH³JMT1JGL:FËHHGLNmJJMã‘JMå@L#T1àOà@DGãtà@DMFËT1JGL

ôpãtD‚tLD&à@DMã†XLYHMHÉTnNOU ¢ûMþtùsü Sû FËH¨W@à¢UOThJGLvU TnXYXãnDSU†FËN@ònâËón>£äT ,./63¬æ4LvHGHMT1òtLFËH

DGLvXLFËènLvU äöDMãnæ TñôpãtD‚tLD]à@DMãbXLYHMHìJMå@LN FÒJÉFËHÉàOTnHMH³LvUõãtN¬JGã÷JGåOLN@LábJ¨ô_ãnDSnLYD4TnNOU

¢ûMþnùyü SûW@àQU@T1JGLYUTtXXãtDMU@FÒN@òtâÒót>

ÏFËònWODGL âËFIHKJSHJGåOL¨T1âËònãtDGFÒJGå@æLá†LYXW†JGLvU÷ðbó LvTnXSå÷ã1ä:JGåOL¨ô_ãnDSnLDSHY>Qï:åOL¨ô_ãnDSnLDSH

DGW@NñFËNñT âÒãbãtà LábàOâÒãtDGFËN@ò H³JMT1JGLvH‘DMLYXLFËènLvUäöDMãnæ JMå@L&XãbãnDSU†FËNOThJMãnDv><;pTnXSå ô_ãnDSnLYD‘ô)FËâÒâ

HI U

Ž I

‰

I`bacedgf+h z£dKiY`

tu

‹ I MyP^O P‹4P

Ìf^SzezKa‡v^Í

|I cg}

f^SzezKaY‡Y^ o  ~  ’ X Ã

af^Œ

I cg}Dh \N]T4P^R@jw‰N]Kyo@Š]‹gKR

ÌX Í Ã af^Œ

« I \N]T4P^R@jl=T]T

ÌX Í

 I JKLMN4OQPR RSPTU V(X [

¯^I

H  I `ba0cgdgfh JKLMN4O P^R R P^T;jlknmL^oQp2qsrtu

H6HI XWU_JKL^MQN]O PRSR PT;jwvxPoy\Pz]oykn{P^mP^Kyo-qr

H Ž I }u ĪŠded

ÌeÌeS€S͂€

X ƒ

Ízelmq³.dKmad

X…„ Ìe‚€‡½Í‡†

X ƒ t4u

H ‰ I cg}

ÌX ƒ

Í Ã af^Œ

H ‹ I R P^KT

̸o

 ~  ’ X ƒÍ

H”|I f^d f•cg}xh \N4T]PRjw‰N]KoŠ4‹KR

Ì

Xˆƒ

Í Ã af^Œ

H I \N4T]P^R@jl=T4T

ÌX ƒÍ

H « I JKLMN4O P^R R P^T;jl=T4T

ÌX ƒÍ

H  I f^Œ0tŽc}

HS¯^I fŒtZ}u

Ä

Ž I f^Œ0tZ`bacedgf

Ž HI f^Œ0tc}

ŽYŽ I f^d f+c}

f^MzezKaY‡v^

©

”

± ’ à af^Œ

Ž ‰ I RSPKT

Ì©

”

±

’ÏÍ

Ž ‹ I f^d f

Ž

|I

z£dKiY`

U

decKlm^

Ž I f^Œ0tcg}

Ž «

If^Œ0tZ`bacedgf



cg‘

ÇOÇ

o1d³adK^:ze`baqS^#^MÊn`m²siYc³adKryiYg&aY²s‡YiYcKr{dKmf jIicpÐiYcKƒ„^Gc

Î

JGLDMæ]FÒNCThJGL¨ãnNOXLÉT 5 :-/:,ñæ]LYHMHGTnònL&FIHªDMLYXLYFÒètLYU äöDMãnæJGå@L¨XãbãnDSU†FÒNCThJGãtDY> åOLN@LYènLD.T

HKJSThJGL < FËHDMLYXLFËènLvU¾ìhFyJFIHéODSH³JXSåOLYX nLvUFÒä¢JGå@L#H³JMT1JGL:FËHT1âËDGLvTnU†óªH³JGãtDGLvUðbóJMå@L)ôpãtD‚tLDv>

£ä_N@ãnJYì¾JMå@LN÷FÒJªFËHTnU@U†LvU JMãi) *;,./213]55(37 TnNOUñT1N÷Lá†à@âËãnDSThJMFÒãtN H³JMT1DGJGFËN@òFËN?< FËH

XãnNCU†WOX½JMLYU¾> ß JMT1JGLvHLNOXãnW@NmJMLDMLYU.FÒN]JMå@FËHLá†à@âËãnDSThJMFÒãtNô)å@FIXSå&ðCLYâÒãtN@òEJGããnJGå@LYDô_ãnDSnLDSH

T1DML JGDST1NCH³æ]FÒJ³JGLvU JMãõJMå@LAXãbãnDSU†FËNOThJMãnD¨àODGã†XLvHGHYì_ô)å@LDMLYTtH¨LYNOXãtW@NmJGLDMLYU,HKJSThJGLvH JGåOT1J

ðCLYâÒãtN@ò&JGã]JMå@Lô_ãnDSnLYD:ð@W†J'TnDGLEN@ãnJ‘XWODGDMLNmJGâËó H³JGãtDGLvUT1DMLªTnU@U†LvUÑJGã)+*-,.0/21434565637>

å@LN JGå@LELábàOâÒãtDMT1JGFËãnNÉãnäJGåOL'H³JMT1JGLH³àCTnXL‘äöDMãnæ JGåOL'DMLYXLFËènLvUÉHKJSThJMLŠJMLDMæ4FËNOT1JGLYHYìbJGåOL

ôpãtD‚tLDòtãbLYHpðOTnX ]ô:T1FÒJGFËN@òªäöãtDJMå@LEN@LábJ:æ4LvHGHMT1òtLn>Q£äÏT ,]./643¨æ]LYHMHGTnònL‘FËH_DMLYTnU<ìnJMå@FËH

æ4LvHGHMT1òtL)FËH_HGLNmJðOTtX JMãªJGåOL‘XãbãtDMU†FËNOT1JGãnDvìnTnNOU]FÒN XTnHGL#ãnäT 5 :-/:,]æ]LYHMHGTnònL:äöDMãnæ3JGåOL

XãbãnDSU†FËNOThJMãnDvìtJMå@Lô_ãnDSnLD_ô)FËâÒâH³JGãtà FÒJMH#Lá†à@âËãnDSThJGFËãnN>

ï:å@L&ðOTnHGFIX.FIU†LvTÑJGã U†LJGLYXJªJGLYDGæ]FËNOThJMFÒãtN ãnäpJMå@L¨H³JMT1JGLÉHGàOTnXL4Lá†à@âÒãtDMT1JGFËãnNñFËHJGåOT1J

JGå@LXãbãnDSU†FËNOThJMãnD.àOTnHMH³LvHT#,.0/ 63Aæ]LYHMHMT1ònL T1æ]ãnN@ò JGå@LÑô_ãnDSnLDSHY>ï:å@FIH4HGãnâËW†JMFÒãtN FËH

FÒNOHGà@FËDGLvUõðbó÷JMå@L U†FIHKJMDGFËð@W†JMLYU¬U†LYTtU†âÒã†X U†LJGLvX½JGFËãnN¬FËN ê1î}>ï:å@LXãmãtDMU@FÒNOT1JGãtD tLLàCH

JGDSTnX QìQFÒNñJGåOL ¢ûMþnùyü Sû&èhT1DMFIT1ð@âËLnì¾ãnäJGåOL&N@LábJªô_ãnDSnLD‘JGã HGLNCU JMå@L&à@DMãnð¢L.JMãO>ï:åOL

FËU†LvT&FIH)JGåCThJŠô_ãnDSnLYDMH:ô)FÒJGå TnNFËU†LYNmJGFÒJKóÑH³JGDMFËXJGâËóÑHGæ&T1âËâÒLYD)JGåCT1N ¢ûMþtùsü Sû4T1DMLbbN@ãhô)N

JGãñðCLÑð@âËãbX tLYU¾ìÏF¥>Ln>ËìJGå@LYó T1DML¨ô:T1FÒJGFËN@òäöãtD]TnN FËNOXãtæ4FËN@ò æ4LvHGHMT1òtLÉFËNõâËFÒN@LÑë ãnä#JGåOL

T1âËònãnDMFÒJGå@æ FÒNõéOònWODGL9O>ŠLNOXLnìô)å@LYNAJGå@LXãbãtDMU†FËNOT1JGãnD.H³LYNOU@H4T H³JMThJMLÉJMã T ô_ãnDSnLYD

ðCLñðCLvXãtæ4L÷TnXJGFËènL÷T1NOU JGåbWOH JGå@LAXãmãtDMU@FÒNOT1JGãtD U†LvXDMLYTnHGLYHÉJGå@LñèhT1âËW@Lñã1ä QûGþtùyü Mû

TnXXãnDSU†FËN@ònâËó ¸HGLL'âÒFËN@L 6.FÒN¨éOònW@DMLb½> å@LYN¨JMå@LXãbãnDSU†FËNOThJMãnD_H³LYNOU@HpJGå@LEà@DMãnð¢L‘JGã]T

ôpãtD‚tLD¸HGLLEâËFÒN@L+ 4FÒNÑéOòtW@DMLb ½ì@FÒJ#W@àQU@ThJMLYH:JMå@L QûGþtùyü MûJGã]ð¢LJGå@LNOLábJ#ôpãtD‚tLDv>

#LNCXLnìnFyä<H³JMThJMLYHTnDGL:N@ãnJònFËènLN.JGãEô_ãnDSnLYDMHô)FÒJGå&TEâÒãhô_LDFIU†LNmJMFyJKó.ðCLäöãnDMLpJMå@L#à@DMãnð¢L:FËH

DGLJGW@DMN@LYU<ìJMå@LN@LábJÏô_ãnDSnLDô)FÒâËânJMå@LN.ðCLpà@DMãnð¢LYU¾> å@LNJGå@L_XãbãnDSU†FËNOThJMãnD<DMLYXLFËènLvH¾JGåOL

à@DGãtðCL:äöDMãnæ JGå@L)âITnH³Jô_ãnDSnLD ¸âÒFËN@L hí#ãnäCJMå@LŠTnâÒòtãnDMFyJMå@æ FËN.éCònW@DML ìhJGå@LYNÉT1âËâ@ô_ãnDSnLDSH

T1DML bN@ãhô)N JGã&ð¢LªFËNÑJGå@Lð@âËã†X nLvUÑH³JMT1JGLªTnNOU¨åOLNOXLEJGå@LH³JMT1JGLªHGàOTnXLELá†à@âËãnDSThJGFËãnNÑåOTtH

ðCLYLNXãtæ4àOâÒLJGLYU<>

ï:å@LpU†FIH³JGDMFÒð@W@JGLYU.HKJSThJMLpHGàOTnXLLá†à@âËãnDSThJMFÒãtNDGLmW@FÒDMLYHÏT#åOTtH³åªäöW@NOX½JMFÒãtN $ %&!'Cæ&T1àOà@FÒNOò

HKJSThJGLvH¨ãtNmJGã ô_ãnDSnLYDMHY> HMHGW@æ]FÒN@òõJGåOT1J¨JMå@L ô_ãnDSnLYDMHÉTnDGL DGW@NON@FÒNOòõãnN,æ]TtXSå@FËN@LYH¨ã1ä

L6mWOT1â¢Xãtæ4àOW†JGFËN@òà¢ãhô_LDFËN&JGLYDGæ&Hã1ä<æ]Læ]ãnDMó.TnNOU_Vªì1JMå@LNÉJGå@FIHäöWONOX½JMFÒãtN¨H³åOãnW@âIU

TnXSå@FËLètL]JKôpã òtãtTnâËHY>;FÒDSH³JGâËónìFyJ.HGå@ãtW@âËUõU†FËH³JGDMFËð@W†JGL¨JGå@LÑHKJSThJMLYHªWON@FyäöãtDGæ]âËóñTtXDMãtHMHEJGåOL

1ñô_ãnDSnLYDMHY>

ß

LYXãnNOU@âÒótì@FyJ'H³å@ãtW@âIULNOHGW@DMLªT&XLDGJMTnFÒNU†LYònDMLLãnä:ÿYýSúhÿù

ì¢F¥>Ln>Ëì@JMã&DGLvU†WOXL

JGå@LXãtæ]æW@N@FIXT1JGFËãnN ãhènLDMå@LvTnU]ô_L'ô_ãnWOâËU¨âÒFgnLETnH_æ&T1NbóÉHGWOXXLYHMH³ãtDMH_HKJSThJMLYH_ã1äTòtFÒètLN

HKJSThJGL‘JGã]DMLYHGFËU@L‘ãtNÉJGåOLEHMT1æ]L'æ&TnXSå@FËN@Ln>†ïÏã4HGãnæ]L'LábJGLYNmJ_JMå@LYHGLT1DML‘XãnNOFIX½JMFÒNOò4òtãtTnâËHY>

ïãÉTtXSå@FÒLYènLT]U†LòtDGLYLã1äâÒã†XYT1âËFyJKó ôpLªXYT1NH³LYâÒLvX½JŠT&HGæ&T1âËâH³WOðOH³LJ#ã1äJGå@Là@âËTtXLvH

ã1ä_JGå@L_V T1NOUñâËLJJGåOL&åOTnHGåñäöW@NOX½JMFÒãtNAU†Là¢LNOU÷ãtNñJGå@L&æ&T1DSbFÒNOòÑãnäpJMå@LYHGL&à@âITnXLYHY>

âËâÏJMDMTnNOHGFyJMFÒãtNOHŠFËN JMå@L _V æ4ã†U†LYâÏô)åOFËXSåñU†ã¨N@ãnJ'åCT„ènL.T¨à@âITnXL.FÒNÑTtHŠFËN@à@W†JãtD

ãnW†JMà@W†Jô)FËâÒâ†å@LYNOXL)NOã1JT QLYXJJMå@L)åOTtH³å4èhT1âËW@L)T1NOU.ô)å@LN&HGWOXSå]T#JMDMTnNOH³FÒJGFËãnN4FIHLNOTnð@âÒLvU

äöDGãtæ T&H³JMThJML <3ì†JMå@LHGWOXXLYHMH³ãtD#HKJSThJGL•<GFô)FÒâËâð¢LâËãnNOò]JGã]JGåOLHGTnæ]Læ]TtXSå@FËN@LªTnH <3>

eNtJMW@FÒJGFËènLâËónì„ô_L_XYT1NJGåbWOHXãtNtJMDGãtânJMå@L:U†LòtDGLYLã1äCâÒã†XTnâÒFÒJKóðbóEJGå@L:HGFYLpãnä@JGå@L)HGLJ > ‘N

JGå@LªãnJGå@LYD)åOT1NCU¾ì†JGåOLH³LJ#ã1äDGLvTnXSåOTnð@âËL‘æ&T1DSbFÒNOòtH:ã1äJGåOLªH³LJ

æWOH³JŠTnXYXãnæ]æ]ã†U@ThJML

T.àODGLäöLDST1ð@âËóÉLètLNU†FIHKJMDGFËð@W†JMFÒãtNÑãnäH³JMT1JGLYH:ãtNmJGã4JGå@L 1ñô_ãnDSnLDSHY>

N@ãnJGå@LYDFËHMHGW@L#FIHJGå@L‘DGLYâËT1JGFËãnNOHGå@FËà.ð¢LJKô_LLYN]JGå@LŠLábJGLYDGNOTnâ@åOTtH³å]äöW@NCX½JGFËãnN $ %&!' TnNOU

JGå@LÑFÒNmJMLDMNOT1â_åOTnHGå äöWONOX½JMFÒãtN $ ' WCH³LvUAFÒNõJGå@LÑFËNtJMLDMNOT1â:åOTtH³å JMT1ðOâÒLÑãnN LvTnXSå ãnä#JGåOL

ôpãtD‚tLDSH> ŠLDML.ô_L.TtHGHGW@æ]LªJMåOThJT1âËâôpãtD‚tLDSH#ô)FËâÒâð¢L.WOHGFËN@òÉJMå@L4HMT1æ]L.FÒNmJGLYDGNCT1âåOTnHGå

äöW@NOX½JMFÒãtN<> ñL#N@LYLYU4JMãLNOHGW@DML:JGåOT1JJGå@LvH³L)åCTnHGå.äöWONOX½JMFÒãtNOHTnDGL)FËNOU†LYàCLYNOU†LNmJvìnF}>Lt>ÒìnJGåOT1J

JGå@LÑLábJGLYDGNCT1âåCTnHGåAäöW@NOXJGFËãnN $

%&('

U†ãbLYH.N@ã1J&XTnWOH³LÉJGå@LÑFÒNmJMLDMNOT1â_åOTnHGåAäöW@NCX½JGFËãnN $'

JGãñæ]TnàAJGåOLÑH³JMT1JGLYH]H³JGãtDGLvUAãnNAJMåOThJ]ô_ãnDSnLD.FÒNmJMã T ètLDMóAH³æ&T1âËâ:H³LJ4ãnäŠèhT1âËW@LYHY> ‘NOL

T1à@à@DMãtTtXSåñJGã T„ètãnFIU JGå@FIHFIHJMã âËLJ.JGå@L FÒNmJGLYDGNCT1âåCTnHGåAäöW@NOXJGFËãnN $' U@Là¢LNOUAãtNAJGåOL

æ]TnD‚bFËN@ò&ã1äà@âITnXLYHŠFÒN >]£J'HGå@ãtW@âËUÑå@ãhô_LètLD)ð¢Læ]LNmJMFÒãtN@LYUÑJMåOThJ‘JGå@Lªæ&TnD‚bFËN@ò

ã1ä<à@âITnXLYHpFÒNXãnW@âIU&ð¢LŠDMLâIThJMLYU&èbFITªà@âITnXL#FÒNbèhT1DMFIT1NmJMHJGãªJMå@L'æ]TnD‚bFËN@òªãnä<à@âËTtXLvH

FÒNCìmTnNOU&å@LYNOXLŠJGå@L'æ&T1DSbFÒN@òmHæ&T„ó]N@ã1J_ðCL‘JGãnJMT1âËâËó.FËNOU†LYàCLYNOU†LNmJv>bï:åOL‘FIHGHGW@L‘ã1ä¾JGåOL

LábJGLYDGNOTnâ¾åOTnHGå äöW@NOX½JMFÒãtNô)FÒâËâ<ð¢LFÒNbènLvHKJMFÒòmThJMLYU&äöWOD³JMå@LD#FËNH³LvX½JMFÒãtN ëC>

×="

L÷N@ãhô à@DMLYHGLNmJTõHGLJã1äFËN@FÒJGFIT1âDMLYHGW@âÒJMH ãnð†JST1FËN@LYU,ô)FyJMå,JMå@L ðCTnHGFËXñHKJSThJML LábàOâÒãnç

DMT1JGFËãnNÉT1âËònãtDGFÒJGåOæ à@DMLYHGLNmJMLYU&FËNÉJMå@LŠà@DMLèbFËãnWOHpH³LvX½JMFÒãtNOH> ñL'XãnNOHGFËU@LDJMå@LEU†FËH³JGDMFËð@W†JGLvU

U@ThJST1ðOTtH³LHGóbH³JGLYæ äöDMãnæ êYë1îFËNÑéOònW@DMLëO>Cï:å@L _V æ]ã†U†LYâU†LYHMXDMFËðCLvH:JGå@LªXãnæ]æWON@Fyç

XThJMFÒãtN]ðCLJKôpLYLNÉTHGLJã1ä<U@T1JMTnðOTnHGL:æ]TnNOT1òtLDSH ,!

P - Z -#/0/#/ -

#"

3)äöãtDæ&T1FËNtJST1FËN@FËN@ò

XãnNCH³FIHKJMLNmJ_Xãnà@FËLYHã1äÏT.U@ThJST1ðOTtH³LŠFÒN¨T.U†FIHKJMDGFËð@W†JMLYU¨HGó†HKJMLæ>bï:å@LŠFIU†LYTã1ä<JMå@LŠàODGãnJGã†Xãtâ

FËHJMåOThJô)å@LYN4TEU@T1JMTnðOTnHGLpæ&TnNOT1òtLDW@àQU@ThJMLYHFÒJMHâËã†XT1â†Xãnàbóªã1äCJGå@L#UOThJMTnðOTnHGLnì„DML6mW@LvHKJSH

T1DML:HGLNmJJMãEJGå@L)ãnJGå@LYDU@ThJST1ðOTtH³L:æ&T1NCT1ònLYDMHÏäöãtDW@à¢UOThJGFËN@òJMå@LFËDXãnàbóªã1ä¢JGåOL#U@ThJST1ðOTtH³Lt>

Receive all Acknowledg- ments RecAck

Update and Send Messages SendMes

Send an Acknowledg-

ment SendAck Receive

a Message

RecMes

Performing DBM Inactive

DBM DBM Waiting

DBM

Unused MES MES

Sent MES

Received MES

Acknowledged MES Passive

E e

Mes(s) (s,r)

(s,r)

(s,r)

(s,r) Mes(s)

Mes(s) Mes(s)

s s

s s

r r

r r

e e

 cg‘

Ç¢Ç



t^#ˆtrsz£decKrs…mltdK^Sˆ4ˆmad³aY…maYze^)^MÊtaYf`t²s^vÎ

å@LN.LYTnXSåªUOThJMTnðOTnHGLæ&T1NCT1ònLYDåOTtH<W@àQU@T1JGLYUFyJSHÏXãnàbónìvFÒJHGLNOU@HT1N.TnX bN@ãhô)âËLYU†òtLæ]LNmJ

ðOTnX 'JGãŠJGå@L_FËN@FyJMFËT1JGFËN@òEU@ThJST1ðOTtH³Læ&TnNOT1òtLD<JMã‘XãnN†éODMæ JGåOT1JÏJMå@L_W@à¢UOThJGL_åOTtHN@ãhôAð¢LLYN

àCLYD³äöãtDGæ]LYU<> U@ThJST1ðOTtH³L#æ&TnNOT1òtLDFËNÉJMå@LŠà@DMã1JMã†Xãnâ¢XTnNÉLFÒJGå@LYDpð¢LŠFËN¨T.HKJSThJGL ñTnFyJMFÒNOò

äöãnDªTtX bN@ãhô)âÒLvU†ònLYæ]LNmJ ìQVLYD³äöãtDGæ]FËN@ò ¸T1NñW@àQU@ThJML&DGLmW@LYH³JGLvU ðbó TnN@ã1JMå@LDU@T1JMTnðOTnHGL

æ]TnNOT1òtLDãtDeNOTtX½JMFÒètL‘ThäJMLD:åOT„èbFËN@ò.HGLNmJJMå@LTnX bN@ãhô)âËLYU†òtLæ]LNmJðCTnX Q>

âÒâ¾U@T1JMTnðOTnHGL

æ]TnNOT1òtLDSH:T1DML‘FËN@FÒJGFIT1âËâÒóeNOTnXJGFËènLn>

ïÏTnð@âÒL ªònFËènLvH#H³ãtæ]LHKJSThJMFËH³JGFIXH#äöãnD#JMå@L.U@FËH³JGDMFÒðOW†JGLvU U@ThJST]ðOTnHGLHGó†HKJMLæ ô)å@LDMLªô_L

åOT„ènLWOHGLYU B ]ôpãtD‚tLDSH>OãnD)JMå@LYHGLLábà¢LDMFËæ4LYNmJMHYì@JGåOLªLábJGLYDGNCT1âåCTnHGåäöW@NOX½JMFÒãtN $ %&!'

FËH)ðCTnHGLYU ãnN JGå@LªH³JMTnNOU@T1DSU FÒNmJGLYDGNCT1âQåOTnHGåÑäöW@NOXJGFËãnN $ 'WCH³LvU ðbó ‘LYHGFËònN_VE'

$%&(' < $ ' s< æ4ã†U 1

ï:å@L+<bXãtâÒW@æ]NÑònFËènLvHJMå@LENbW@æð¢LD)ãnäU@T1JMT1ðCTnHGL‘æ&T1NCT1ònLYDMH_XãtNOHGFËU†LYDGLvU¨TnNOU

JGå@L 1AXãnâËW@æ]N H³à¢LYXFyéOLvH)JMå@LNbW@æ.ðCLYD#ã1äô_ãnDSnLDSHY> Cùeúhùeû½øònFËènLvH:JGåOLªJGãnJMTnâ<NbW@æð¢LD‘ã1ä

HKJSThJGLvH¾FËNEJGå@LH³JMT1JGLHGàOTtXLT1NOU &û_H³à¢LYXFyéOLvHQJGåOLJGãnJMT1ânJGFËæ]LWOHGLYU‘äöãnD¾JMå@LLá†à@âÒãtDMT1JGFËãnN

TnH)æ]LYTtH³WODGLvU FËNÑJGå@L.XãbãnDSU†FËNOThJMãnD)à@DMã†XLYHMHY>@ï:å@LªLá†à@âËãnDSThJMFÒãtN¨JMFÒæ]LªFIH#ô)DMFÒJ³JGLYNãnNJGåOL

äöãnDMæ ' ô)å@LYDGL FIH&æ]FÒNbW†JMLYH T1NOUFIHÉHGLYXãnNOU@HY>ï:å@L Gú@ø ù]XãnâËW@æ]N

H³à¢LYXFyéOLvH:JGåOLEJGã1JST1â<NbW@æ.ðCLYD#ã1äH³JMThJMLYH_JMDMTnNOH³æ]FÒJ³JMLYU¾>þnùeû¢úhÿFËNOU†FIXThJMLYH:JMå@LNbW@æð¢LD

ã1ä<H³WCXXLvHGHGãnDH³JMT1JGLYHXãnæ]à@W@JGLYU4JMåOThJpôpLYDGL)LámJMLDMNOT1â†ô)åOFÒâËLCù£û¢ú1ÿCòtFÒètLYHJMå@L#NbW@æð¢LD

ã1äHGWOXYXLYHMHGãnD:HKJSThJGLvH:Xãnæ]à@W@JGLYU¨JGåCThJ#ô_LDMLŠFËNtJMLDMNOT1â}>@ï:å@FIH:FËH_æ]LYTtH³WODGLvU¨TnXDGãmHGH_T1âËâQJGåOL

ôpãtD‚tLDSH>ypãnâËW@æ]NCù Mû ÉònFËènLvHJMå@L'JGã1JST1âQNbW@æð¢LD:ãnäÏHKJSThJMLYH_DGLvXLYFÒètLYUÉðbó]JMå@L‘ô_ãnDSnLYD

ô)å@FËXSåô_LDML'TnâÒDMLYTtU†óÉH³JGãnDMLYU ðbó&JGåOLôpãtD‚tLD:ô)å@LNÑDMLYXLYFÒètLYU¾>

ïÏTnð@âÒL ÑòtFÒètLYHU†LJMT1FËâËLYU÷HKJSThJMFËH³JGFIXHEäöãtDJGåOL&ôpãtD‚tLDSH>¾ï:å@L <<XãnâËW@æ]N÷ònFËènLvH

JGå@L&NbW@æ.ðCLYDã1ä:æ]TnNOT1òtLDSH‘XãnNOHGFIU†LDMLYUñT1NOU JGåOL 1¬XãnâËW@æ]NñHGàCLvXFÒéOLYHJGå@L&NbW@æ.ðCLYDã1ä

ôpãtD‚tLDSH>]OãnD'LYTtXSåôpãtD‚tLD B OìOô_LâËFËH³JŠJMå@L4NmWOæð¢LD'ã1äH³JMThJMLYH'HKJMãnDMLYUãtNJGåOL

ôpãtD‚tLDT1NOU]FËNÉïT1ð@âËLEJGåOL)JGãnJMT1â@JGFËæ4LŠJGåOT1JJGåOL#ôpãtD‚tLDHGàCLYNtJpFÒN]JMå@L#ð@âËã†X mFËN@òªH³JMT1JGLn>

ïãÉDMLYU@WOXLJMå@LNbW@æ.ðCLYDŠãnäHKJSThJGLvH)JMDMTnNOH³æ]FÒJ³JMLYU¾ìQTÉHGæ]TnâÒâXTtXSå@LªFIH#FËNtJMDGã†U†WCXLYUãtN

LYTnXSå à@DGã†XLYHMH>Qï:å@FIH‘XYTnXSå@L4XãnNmJST1FËNOH‘T H³LJ'ãnäDGLvXLYNtJMâÒóHGLNmJHKJSThJGLvH‘TnNOU FIH'XãnNCH³W@âÒJGLvU

ðCLäöãnDMLªJGDST1NCH³æ]FÒJ³JGFËN@òT¨H³JMT1JGLn>Qï:å@L4ðCLvHKJEDMLYHGW@âyJSHŠãtð†JMTnFÒNOLYUFËN ãtW@DŠLábà¢LDMFËæ4LYNmJMH‘ô)FyJMå

ÅmÁ dgf ’bÇ €

\ ± “ o1d³adK^Sz



rsf^



c³aYgtzefrsd ’¾Ê1dK^McKgba²

€

ghdK^McKgba²Ao1dKicK^½ˆ

H  HˆH½¯

u ‰

HDHH

Ž I‹ ¯ H  H uH  H u

vY 

H  Ž H½¯ u ‰ H |  IŽ | |Y¯  u|  H |Y¯  u| Y |Y¯  u| Y |  | u‰

Y

H  ‰

H½¯

u ‰ H ‰ I

v

H uH

Y

u¯ 

HDH uH

Y

u¯

Y ŽY

¯ 

‹tu

H

Y

H  ‹

H½¯ u ‰ H  ‰ I ‰ H uH Y

u

¯v¯HDH uH Y

u

¯v¯  H  ¯ 

‹tu

H Y

H  | H½¯ u ‰

HDH Y I|Y¯•H uH  H u

v HDH uH  H u

vY  ¯ 

‹tu

H « 

H  H½¯ u ‰ H

‹„«

I‰  H uH Y

u

¯v¯HDH uH Y

u

¯v¯  H  ¯ 

‹tu

H Y

H  «

H½¯ u ‰ H ‹  I‹  |Y¯  u

|H6H |Y¯  u

|H  |Y¯  u‹ ¯  ‹ ¯ Ž u ¯ 

H   H½¯ u ‰ H Ž «

IwH Ž H uH Y

u

¯v¯HDH uH Y

u

¯v¯  H  ¯ 

‹tu

H Y

H  ¯ H½¯ u ‰ H | « Iv H uH  H u

v HDH uH  H u

vY  ¯ 

‹tu

H « 

H  H  H½¯

u ‰ H

«Y«

I « H uH  H u

v

HDH uH  H u

vY  ¯ 

‹tu

H « 

ÅtÁ

dgf

"@Ç

plmf‘…†^Mcij<gmi1ˆt^MziYg.ÐiYcKƒ„^McKzjIicdKm^#ˆmad³aY…maYze^)z£|nz£dK^Sf]Î

\ ± “ È H È Ž È ‰ È ‹ È | È È « È  È ¯ È H 

H  H HS¯ u ‰ H

H  Ž ¯  u‹ H  ¯  u‹ Ž H

H  ‰ | u H  | u H  | u HH

H 

‹0‹

¯ uŽ H  ‹ ¯ uŽ H6H

‹ ¯ u

ŽYv

‹ ¯ uŽ H 

H  | ‹  u‰Y‰



‹„«1u

| Ž H Ž | u

ŽYv |

‰1u

¯ ‹

Ž ¯ u« Y

H  ‰ H u

¯| 

‰Y‰nu

Y

‰Y‹nu

|H 

‰v‰1u

v

‰ H u

¯@|  ‰ H uH  H

H  « u«

ŽY

‹ u ¯ ŽY

uH v'Ž

‰1u

ŽYŽ H ‹  u‰

Ž u| v |

‰1u«

v

H   Ž

‹tu

H ‰

EŽ

‹tu

Ž ‹

Ž

‹nu

vv'Ž

‹nu

Ž ‹

Ž

| u

vYEŽ

‹tu

¯ « H Ž

‹nu

YvŽ

‹tu

¯ « 

H  ¯ H Ž u¯ vEŽ ¯ uH Y H

«hu

H  H Ž

‰1u‹ ¯ Ž

‰nu‹ ¯  H

«1u

H YŽ ¯ uH v H Ž u¯ Y

‰ H u‹ H 

H  H ŽY

uH vEŽ

‰nu« HDH Ž u ‹

'Ž

u¯ «  H

‹tu

vYEŽ

uH «

Ž

‰1u«

v H Ž u ‹

EŽ

u¯ «  H

‹nu

Yv

JGå@LUOThJMTnðOTnHGLELá@T1æ]à@âËLEWOHGLYH#T&XYTnXSå@LEô)FÒJGåi ]HKJSThJGLvH> #LNCXLnì@JGå@FIHŠXãnN†éOòtW@DSThJGFËãnN FËH

WOH³LvUÑå@LDMLYT1äJGLDv>

#NmJGFËâ<N@ãhôÔô_LåOT„ètL‘WOHGLYU¨JGåOLFÒNmJGLYDGNCT1â¾åOTtH³å äöW@NOXJGFËãnNFÒNLvTnXSåÑôpãtD‚tLD:TnH)T4ðOTnHGFIH

äöãnDªJMå@LÉLámJMLDMNOT1âåOTnHGå÷äöW@NOXJGFËãnN<>n@ãtDJGå@L :?(HGó†HKJMLæ FyJFIHªåOãhôpLYènLDà¢ãtHMHGFÒð@âËL&JMã

Xãnæ]LEW@àô)FÒJGåT.JMT1FËâËãnDMLYUÉåCTnHGå¨äöW@NCX½JGFËãnNðOTtH³LvU¨ãtN¨JMå@LãnðCH³LYDGèhThJMFÒãtN&JGåCThJ#Lá@XLà†J)äöãtD

JGå@LFËN@FÒJGFIT1â<æ&T1DSbFÒNOò4ãtN@âËóÉãnN@LEãnäÏJMå@LªU@ThJST1ðOTtH³LEæ&T1NCT1ònLYDMHpFIH#TnXJGFËènLThJŠT.JGFËæ]Ln>£äô_L

âÒLJúù 7 < EU@LN@ãnJGL]JGåOL¨U@ThJST1ðOTtH³L]æ&T1NCT1ònLYDEô)å@FËXSå÷FIHô:T1FÒJGFËN@ò öFÒä#T1NbóŠFËN÷JGåOL

HKJSThJGL9< T1NCU &FÒä_JGå@LYDGL&FIHªN@ãtN@Lnì<JGå@LYN÷Tà¢ãtHMHGFÒð@âËL&LábJMLDMNOT1âåOTtH³åñäöW@NCX½JGFËãnN÷äöãtDJGåOL

:?H³ó†H³JGLYæ ôpãtW@âIU ð¢L^'

$ %&!' s< úù 7 < æ4ã†U 

FyJMåAJGå@FIHªåCTnHGå äöWONOX½JMFÒãtN FyJ.ãnN@âËó æ&T^nLYHH³LYNOH³L]JMã åOT„ètL]T1Jæ]ãtH³J ô_ãnDSnLDSHY>Qï:åOL

Lá†àCLYDGFËæ]LNmJMHXãnNOU@WOX½JMLYU4ô)FyJMå 'U@ThJST1ðOTtH³L_æ&T1NOTnònLDSHT1NOU4TEXTtXSå@L)H³FL:ã1ä ‘H³JMT1JGLYH

T1DML'àODGLvH³LYNtJMLYUÑFËN ïÏTnð@âÒLëC>Oï:å@LåOTtH³åÑäöW@NCX½JGFËãnN HGà@âËFyJSH:JGåOLHKJSThJMLªH³àOTtXLFËNmJGã &HGLJMH#ã1ä

6@ì^]HKJSThJGLvH#LvTnXSå<ì@àOâÒWOHŠãnN@L.XãnNmJST1FËN@FÒNOòÉT1âIH³ã]JMå@LFËN@FÒJGFIT1âæ&TnD‚bFËN@ò @ì^1ë&H³JMT1JGLYH ½>

ï:å@LYHGL)H³LJMHT1DML:LètLN@âËóªU†FIHKJMDGFËð@W†JMLYU]T1æ]ãnNOò‘JMå@L)Xãtæ4àOW†JMT1JGFËãnN4N@ã†U†LYHY>eN.JGå@LvH³L)Lábà¢LDMFÒç