Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques

(1)

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

'&) 1203 14!526 17

8 94: ;< => 9?)3A@BC0* 14D%E3

F1GIHJK

KLNMOQP*JOSRNTVUWOQX2OQPZY*F*[]\NT^XVT^U`_JK5abc?JHdQeScgfSehji

klWOnmoUpmo[]lU/qNrtsuLNMMrvl sxwWqN[u[jX

yuOjwnOz{sRZOSTVP|W}Z~ncW]survRNU?rnM%\Zrnln}Zvdjdj

(2)

noo{¡¢£C¤£¥Qo4¦]/§!Q4!¥Q5W¦QWQQ¡5¨S©2QoªW«4¬uNWoQ`

W®Q+Q¯o«ojW]?«`no¨Q¥Qo{°Q+¨jn±W!^o²Q2§!Q«{oo{+

³

`QW«

³

¬S4ª¢`úNWµ·¶C¬¸¶:?n]/´j¹¬xº2Wònú2¬xº¥QoQ{`?´

¬uCQ]Wj¢`´

®4oQ%

³

¬N¶W¨]j´Z»Z¬Z¦QS´

¬Zº]o`©´

³

¬N¼SWS``oQQ?´:¬Z½¨]W¥SQ]´Nt¬

ò{Qv¢{Í¾!`S]·¬!¼Sò]¢{ÍWQ3¿uÀ?3·Á]¬!¡¦j?´+Áj¬!t¬49´t¬

«S´v¤Â¬QN`o¥S`ª¢`¬Zno¨Q¥Q4Q]?«2¨j``<Wo Ãoo`<¨n¶2¬Q2?«`±C·§!Q«u¬

CWQ{]¢`´¬Ä!`°WSQ¡WQ§ ¬+`oÀ{3·§!Q«u¬1¤NoªQ`j¢`´Á]¬!o3·§!Q«u¬

¤NQn¨Q¥Qo4]¢`´jWQ<N¬Q54o/¥QÅ9·§!Q«u¬Z½{¢{¬

(3)

ÏÄÐÒÑ©ÓoÔoÕÖ©Õ×ÙØ/ÕÚÖ!ÏÛ?ÚvÜ?ÝÐÒÓ¡ÞWÛWÑ©Ö©ÕÝ2Ñ ßªÏ+×ÙÏ:Þ4à!Ü{ÔoÕâávÜ?Ñ©Õãåä`Ú9ÜØ?ÐÒÕæ1ä{ç+ãÛ?ÚnÜ/ÝÐÒÓÑ©ÛWÑ©Ö©ÕÝ2Ñ

æNènÕoÔoÕãÐÒÑ©ÓÔoÕÖ©ÕÑ©Ö©Ü/Ö©ÕÑIÜ{ÚvãtÕØ?ÕÚÖ©Ñ2éêÒÜ`Û ÜçëÚvã4Ü/Ý2ÕÚÖ©Ü{ê+Ôoä{êÒÕ?ì%Ï+×ÙÏ:Þ Ü{ÔoÕ áQÕÓä?ÝÐíÚvî<ä{ç

ÐíÚvÓÔoÕÜ?Ñ^ÐíÚvîtÐíÚÖ©ÕÔoÕÑ©ÖÜ?ÑÖ^ènÕ¡ÐÒÝéQä{ÔoÖ©Ü`ÚnÓÕ5ä{çCÜ{ëvÖ©ä?Ý2Ü/Ö^ÐÒä{ÚÜ`Únã%Óä`ÚÖ^Ôoä{ê!î{Ôoä`æZÑâÐíÚÝ2äWãÕÔ©Ú

Ö©ÕÓ©è4Úvä{êÒä/î?Û?ìµïÄéé4êíÐÒÓÜ/Ö^ÐÒä{Ú%ãä?Ý2Ü`ÐíÚnÑ!êíÐíðWÕ2ñnÕò?Ðíá4êÒÕÝ2Ü`ÚWë4ç¯Ü?ÓÖ^ëÔ©ÐíÚnî°Ñ©ÛWÑ©Ö©ÕÝ2ÑóuÖ^ÔoÜ`ÚnÑ^éQä`ÔoÖÑ©ÛWÑ^ô

Ö©ÕÝ2ÑóQãWÐÒÑ©Ö^Ô©ÐíáënÖ©Õã<Ñ©ÛWÑ©Ö©ÕÝCÑójÜ`Únã¡Ö©ÕêÒÕÓä/Ý2Ýë4ÚÐÒÓÜ?Ö^ÐÒä`Ú<ÚnÕÖVæNä{Ô©ðÑÕòWÖ©ÕÚnÑ^ÐÒØ/ÕêÒÛëvÑ©ÕÓä{ÚvÓÕévÖ©Ñ

Ü{Úvã<Ö©ÕÓ©è4ÚÐÒõ?ënÕÑöçÔoä?Ý÷Ï×xÏÞnìxÏÕÑ^ÐÒî`Ú ä`énÖ^ÐÒÝ!ÐÒøÜ?Ö^ÐÒä`Újó+Ñ©ÓùèvÕãWë4êíÐíÚvîtßéQÕÔ©çªä`ÔoÝ2Ü{ÚvÓÕIÓä`ÚÖ^Ôoä{êàó

Ý2ä`Ú4ÐÒÖ©ä`Ô©ÐíÚnîóÜ{Úvã ÐÒÝéêÒÕÝ2ÕÚÖ©Ü/Ö^ÐÒä{Ú3ßéQä?Ñ©Ñ^ÐíáêÒÛç¯Ü{ëêÒÖ^ô^Ö©ä`êÒÕÔoÜ{ÚÖoàIÜ{ÔoÕÜ/Ý2ä{Úvî5Ö^èvÕÓÔ©ÐÒÖ^ÐÒÓÜ{êÐÒÑ^ô

Ñ^ëvÕÑIÖ^ènÜ/ÖöÔoÕõ?ë4ÐíÔoÕ¡Ö^ènÕ ëvÑ©Õä{ç:Ý2äWãÕêíêíÐíÚnî9Ü{Úvãtä{ç:õ?ënÜ`êíÐÒÖ©Ü?Ö^ÐÒØ?Õ<Ü`Únã9õ?ënÜ`ÚÖ^ÐÒÖ©Ü?Ö^ÐÒØ?Õ°Ü{ÚvÜ{êÒÛWÑ^ÐÒÑ

Ö©ÕÓ©è4ÚÐÒõ?ëvÕÑìúnä`ÔoÝ2Ü{êxÝ2ÕÖ^ènäWãÑÄçªä`ÔÖ^èvÕÑ^éQÕÓÐíûvÓÜ/Ö^ÐÒä{Ú]óÙØ/ÕÔ©ÐíûvÓÜ?Ö^ÐÒä`ÚjóuÜ`Únã éüÕÔ©çªä{ÔoÝCÜ{ÚvÓÕ2ÕØ`Ü{êíô

ëvÜ?Ö^ÐÒä{Ú¡ä`çxÏ×xÏÞIÜ{ÔoÕÖ^èWëvÑ£áüÕÓä?Ý!ÐíÚnî2ÐíÚvÓÔoÕÜ?Ñ^ÐíÚvî{êÒÛÐÒÝéQä`ÔoÖ©Ü{ÚÖ+Ü?ÑZÖ^ènÕ+Ñ^ÐÒøÕ!Ü{Úvã Óä/Ýé4êÒÕò?ÐÒÖ^Û

ä{çxÑ©ÛWÑ©Ö©ÕÝ2Ñî`Ôoä{æì

ýïÙþ+ÿ&ßªýäWãÕêíêíÐíÚvî Ü`ÚnãïÄÚvÜ{êÒÛWÑ^ÐÒÑä`çuþNÐÒÝ2Õ:ÿ£ä`ÚnÑ©Ö^ÔoÜ`ÐíÚnÕãÜ{ÚvãZÐÒÕÔoÜ{ÔoÓ©èÐÒÓÜ{ê®ÞWÛWÑ©Ö©ÕÝ2Ñoà

ÐÒÑ2ÜZënÝ2Ü`Ú9ÿNÜ{éÐÒÖ©Ü{ê+Ü{Úvã5ýä`á4ÐíêíÐÒÖVÛåÐíÚÐÒÖ^ÐÒÜ?Ö^ÐÒØ?Õ/óZÑ^éQä{ÚvÑ©ä{ÔoÕã<áÛÖ^èvÕI×¸ëÔoä{éüÕÜ{ÚÄÚÐÒä{Ú]ì·Ö©Ñ

Ý2Ü`ÐíÚ5î/ä?Ü{ê]ÐÒÑÖ©äç¯ä?Ñ©Ö©ÕÔ+Ö^èvÕÂéÔoä?î`ÔoÕÑ©Ñä`çxõ?ënÜ`êíÐÒÖ©Ü?Ö^ÐÒØ?ÕIÜ`Únãõ?ëvÜ{ÚÖ^ÐÒÖ©Ü/Ö^ÐÒØ?ÕIÜ{ÚvÜ{êÒÛWÑ^ÐÒÑÖ©ÕÓ©èÚ4ÐÒõ?ëvÕÑ

ëvÑ©Õçëêçªä{ÔIÖ^èvÕ¡ÕØ`Ü{êíëvÜ?Ö^ÐÒä{Ú ä{çévÜ{ÔoÜ`êíêÒÕêCÜ{ÚvãtãÐÒÑ©Ö^Ô©ÐíáënÖ©ÕãÑ©ÛWÑ©Ö©ÕÝ2Ñìï²Óä{ÚvÓÔoÕÖ©Õ ÔoÕÑ^ë4êÒÖä{ç

Ö^èÐÒÑÓä{êíêÒÜ`áQä{ÔoÜ/Ö^ÐÒØWÕåÕ Qä{ÔoÖ ÐÒÑÖ^ènÕéÔoäWãWënÓÖ^ÐÒä`Úä{çCÖ^æ®äáQäWä{ðÑ ÐíÚæNè4ÐÒÓ©èÜåÓä?ÝéÔoÕèvÕÚnÑ^ÐÒØ/Õ

ãWÐÒÑ©ÓënÑ©Ñ^ÐÒä`Ú9ä{ç®ÜuÕÖ^Ô©ÐÕÖ^ôªávÜ?Ñ©Õã çÔoÜ/Ý2ÕæNä`Ô©ð¡Ö©äIÝ2äWã4ÕoêxÜ{ÚvãÜ`ÚnÜ`êÒÛWøÕ2Ö^èvÕ2Óä{Ô©ÔoÕÓÖ^ÚnÕÑ©ÑÜ{Úvã

Ö^èvÕéQÕÔ©çªä`ÔoÝ2Ü{ÚvÓÕ!ä{çxÓä/Ýé4êÒÕò ãWÐÒÑ©Ö^Ô©Ðíá4ëvÖ©Õã5Ñ©ÛWÑ©Ö©ÕÝCÑÄÐÒÑNé4ÔoÕÑ©ÕÚÖ©ÕãQì

þNè4ÐÒÑáQäWä`ð<Óä`êíêÒÕÓÖ©Ñ2Ö^èvÕ uÕÔ©çªä`ÔoÝ2Ü{ÚvÓÕI×xØ{Ü`êíënÜ/Ö^ÐÒä{Ú Óä{ÚÖ^Ô©ÐíáënÖ^ÐÒä`ÚnÑIä`çZÖ^ènÕ!é4Ôoä©ÕÓÖì¡Õ

Óä`ÚnÑ^ÐÒãÕÔ!Ö^èvÕÂÐÒÝévÜ?ÓÖÖ^ènÜ/ÖÖ^èvÕÐíÚÖ©ÕÔ©é4êÒÜ`Û¡ä{çxÓä`ÚnÓoë4Ô©ÔoÕÚvÓÛÜ`Únã¡ÓäWä{éüÕÔoÜ?Ö^ÐÒä`Ú5Ü/Ý2ä{Úvî Ü/î?ÕÚÖ©Ñ

èvÜ?ÑÜ?ÖÖ^èvÕ¡î{êÒä{ávÜ{êöÑ©ÛWÑ©Ö©ÕÝ êÒÕØ?Õêªó!Ö©Ü{ðWÐíÚvî ÐíÚÖ©ätÜ?ÓÓä{ëÚÖÑ^ënÓ©è%é4èvÕÚvä?Ý2ÕÚvÜtÜ?Ñõ?ënÕoënÕÐíÚvî4ó

Ñ©ÕÔoØ?ÐÒÓÕ/óNÔoä{ëvÖ^ÐíÚnîóZÜ{Úvã Ñ©Û?ÚvÓùèÔoä{ÚÐÒøÜ?Ö^ÐÒä`Újì¡Õ Ñ©Ö©Ü`ÔoÖçÔoä?ÝBÖ^ènÕIèÛ?éQä?Ö^èvÕÑ^ÐÒÑÖ^ènÜ/Ö2ÜpéÔoÕÓÐÒÑ©Õ

ãÕÑ©ÓÔ©ÐíévÖ^ÐÒä{Ú%ä{ç:Ö^ènÕÑ©ÕÝ2Ü`ÚÖ^ÐÒÓÑIä{ç+Ö^ènÕÑ©ÕâéènÕÚvä?ÝCÕÚnÜ¡ÐÒÑ2Ý2Ü{ÚvãÜ?Ö©ä{ÔoÛ5çªä`ÔIÖ^èvÕÐíÔIÜ{ÚvÜ{êÒÛWÑ^ÐÒÑÖ©ä

áQÕÖ^Ô©ënÑ©ÖVæNä{ÔoÖ^èÛ¡Ü{Úvã5Ü?ÓÓë4ÔoÜ/Ö©Õ?ìuÕÖ^Ô©ÐÕÖ©Ñ!Ü{ÔoÕ2éÔoä{éQä/Ñ©ÕãåÐíÚ<Ö^èÐÒÑáQäWä`ð<Ü?Ñ!Ö^èvÕöávÜ?Ñ^ÐÒÑ!çªä{Ô

Ö^èvÕpÐíÚÖ^ÔoäWãWënÓÖ^ÐÒä{Ú3ä{ç!Ö^ÐÒÝ2Õ¡ÕòWÖ©ÕÚvÑ^ÐÒä{ÚvÑ¡Ö^ènÜ/Ö Ü{êíêÒä`æ÷Ü{Ú%Ü/ÓÓëÔoÜ?Ö©Õ¡ã4ÕÑ©ÓÔ©ÐíénÖ^ÐÒä`Úä{çCÓä/Ýé4êÒÕò

Ü{ééêíÐÒÓÜ?Ö^ÐÒä?ÚvÑójÜ`ÚnãIÖ^èvÜ?ÖÙéÔoä`Ø?ÐÒã4ÕÖ^èvÕÄéüä?Ñ©Ñ^ÐíáÐíêíÐÖVÛä{ç]Õò?éêÒä{ÐÒÖ^ÐíÚvî Ö^èvÕÑ©Ö^Ô©ëvÓÖ^ë4ÔoÕä`ç]Ö^ènÕ+Ý2äWã4ÕoêÒÑ

çªä`Ô2ãÕØ?ÕoêÒä{éÐíÚnî<Ü áQÕÖ©Ö©ÕoÔëÚnãÕÔoÑ©Ö©Ü`ÚnãWÐíÚnî<ä`çÖ^èvÕ2áQÕèvÜ`Ø?ÐÒä{ëÔ ä`ç+ã4Û?ÚvÜ?ÝÐÒÓÑ©ÛWÑ©Ö©ÕÝ2Ñ2Ü`Únã¡çªä{Ô

ãÕØ?ÐÒÑ^ÐíÚnîÕ QÕÓÖ^ÐÒØ/ÕÜ`ÚnÜ`êÒÛWÑ^ÐÒÑÖ©ÕÓùèÚÐÒõ?ënÕÑì

ú4Ôoä?Ý Ö^èvÕ2Ü{ávÑ©Ö^ÔoÜ?ÓÖ^ÐÒä`Ú9ä{çZÖ^èvÕ2ãÕÖ©Ü{ÐíêÒÑ2ä`çNÝCÜ{ÚÛÔoÕÜ{êxÑ^ÐÒÖ^ëvÜ?Ö^ÐÒä`ÚnÑóxé4Ôoä`ánÜ`á4ÐíêíÐÒÖVÛåãWÐÒÑ©Ö^Ô©Ðíáë4ô

Ö^ÐÒä{ÚvÑÄç¯ä{Ô+Ö^ènÕãWëÔoÜ?Ö^ÐÒä{Ú°ä{çxÜ/ÓÖ^ÐÒØ?ÐÒÖ^ÐÒÕÑÜ`ÔoÕÂëvÑ©Õã Ü`ÚnãÖ^èvÕ!ÞWÖ©äWÓùèvÜ?Ñ©Ö^ÐÒÓ uÕÖ^Ô©ÐÕÖÙçªä{ÔoÝCÜ{êíÐÒÑ©Ý ÐÒÑ

ãÕû4ÚvÕãQìÖ^èvÕÔ+çªä{ÔoÝ2Ü`êíÐÒÑ©Ý2ÑónêíÐíðWÕÄënÕëvÕÐíÚvîÕÖVæNä{Ô©ðÑZÜ`Únã¡ÞWÖ©äWÓùèvÜ?Ñ©Ö^ÐÒÓ¸ÔoäWÓÕÑ©ÑïÄêÒî/ÕáÔoÜ?Ñó

Ü{ÔoÕZÜ`êÒÑ©äÜ/ã4ãWÔoÕÑ©Ñ©ÕãIÐíÚ Ö^èvÕNáQäWä{ðCçÔoä?ÝÖ^èvÕ£éüä{ÐíÚÖNä`çjØ?ÐÒÕæ ä{ç]Ö^èvÕÐíÔNÔoÕêÒÜ/Ö^ÐÒä{ÚvÑZæ£ÐÒÖ^èµÞWÖ©äWÓùèvÜ?Ñ©Ö^ÐÒÓ

uÕÖ^Ô©ÐÕÖ©Ñì

þNènÕáüäWä{ð5ÐÒÑ!ãÐÒØ?ÐÒãÕã<ÐíÚÖ©äÑ©ÕØ/ÕÚ5évÜ{ÔoÖ©Ñ!Ö^ènÜ/ÖÂç¯äWÓënÑ!ä{ÚÖ^ènÕIÝ2ä/Ñ©ÖÂÔoÕêÒÕØ{Ü`ÚÖ2Ü?Ñ^éüÕÓÖ©Ñ!ä{ç

Ö^èvÕ2ã4Õoû4ÚÐÒÖ^ÐÒä{Ú9ä{ç®Ö^èvÕÂçªä`ÔoÝ2Ü{êíÐÒÑ©Ýì2þNènÕûÔoÑ©ÖénÜ`ÔoÖÜ?ããWÔoÕÑ©Ñ©ÕÑ!Ö^ènÕ!Ý2ä?Ñ©ÖÐÒÝ!éQä{ÔoÖ©Ü`ÚÖÜ?Ñ^éQÕÓÖ©Ñ

ä{ç]Ï+×ÙÏ:ÞâãWÐÒÑ©ÓënÑ©Ñ^ÐíÚvî2ènä`æ9Ö^ènÕÛCÓÜ{ÚIáQÕZÓÜ`énÖ^ëÔoÕã Ü`Únã2ÔoÕéÔoÕÑ©ÕÚÖ©ÕãöáÛCÖ^ènÕNçªä`ÔoÝ2Ü{êíÐÒÑ©Ý2ÑZÖ^èvÜ?Ö

Ü{ÔoÕCÝ2ä?Ñ©ÖÓä/Ý2Ý2ä`Ú4êÒÛënÑ©Õãpçªä`Ô!Ö^ènÕ!Ø?ÕoÔ©ÐíûnÓÜ/Ö^ÐÒä{Ú9Ü{ÚvãéQÕoÔ©çªä{ÔoÝ2Ü`ÚnÓÕ2ÕØ`Ü{êíëvÜ?Ö^ÐÒä`Ú ä`çZÓä/Ýé4êÒÕò

Ñ©ÛWÑ©Ö©ÕÝ2Ñì

(4)

Ö^èvÕávÜ?Ñ^ÐÒÓÔoÕÑ^ëêÒÖ©ÑÄçªä`ÔNÖ^èvÕõ?ëvÜ{êíÐÒÖ©Ü?Ö^ÐÒØ/Õ2Ü{ÚvÜ{êÒÛWÑ^ÐÒÑä`çuÖ^èvÕÑ©ÕÝCäWã4ÕêÒÑ+Ü?ÑNæ®Õêíê]Ü?ÑNÖ^èvÕä{éQÕoÔoÜ?Ö^ÐÒä{ÚvÜ{ê

ãÕûÚ4ÐÒÖ^ÐÒä`ÚnÑ!ä{çxÕØ{Ü`êíënÜ/Ö^ÐÒä{Ú5ÐíÚvãWÐÒÓÕÑì

uÜ`ÔoÖÙÖ^èÔoÕÕãWÐÒÑ©ÓëvÑ©Ñ©ÕÑÖ^èvÕNÐÒÝéêíÐÒÓÜ?Ö^ÐÒä?ÚvÑä`çjëvÑ^ÐíÚnî2Ñ©Ö©äWÓ©èvÜ?Ñ©Ö^ÐÒÓØ`Ü{Ô©ÐÒÜ`á4êÒÕÑZçªä{Ô®Ö^èvÕÄÔoÕéÔoÕÑ©ÕÚô

Ö©Ü/Ö^ÐÒä{Ú9ä{ç£Ö^ènÕIãWë4ÔoÜ/Ö^ÐÒä{Ú9ä{çZÖ^èvÕIÜ?ÓÖ^ÐÒØ?ÐÒÖ^ÐÒÕÑöÔoÕoé4ÔoÕÑ©ÕoÚÖ©ÕãÐíÚ9Ö^ènÕCÝ2äWã4ÕoêÒÑìþNènÕ2Óä{ÚvÑ©Ö^Ô©ënÓÖ^ÐÒä`Ú

ä`çZÖ^èvÕé4Ôoä`ánÜ`á4ÐíêíÐÒÑ©Ö^ÐÓÝ2äWãÕê®Ü?Ñ©Ñ©äWÓÐÒÜ/Ö©Õã5æNÐÒÖ^è9ÞWÖ©äWÓùèvÜ?Ñ©Ö^ÐÒÓuÕÖ^Ô©Ð+ÕÖ©ÑÐÒÑãÐÒÑ©ÓoënÑ©Ñ©Õã5áQä/Ö^è5ÐíÚ

Ñ^ÐÒÝ!é4êÒÕÓÜ/Ñ©ÕÑIßªÖ^ènÜ/Ö2Û?ÐÒÕêÒã<Óä{ÚÖ^ÐíÚWëvä{ëvÑIÖ^ÐÒÝ2Õ ýÜ`Ô©ðWä`Ø5Ó©ènÜ`ÐíÚnÑoà!Ü{ÚvãÐíÚÝ2ä{ÔoÕIÓä/Ýé4êÒÕòåä`ÚnÕÑ

ßªÖ^èvÜ?Ö!ÔoÕõ?ë4ÐíÔoÕ¡Ö^èvÕ Ü{ÚvÜ{êÒÛWÑ^ÐÒÑä{ç:Ý2ä{ÔoÕÓä?ÝéêÒÕò<Ñ©Ö©äWÓ©ènÜ/Ñ©Ö^ÐÒÓ é4ÔoäWÓÕÑ©Ñ©ÕÑoàìtÞ?éQÕÓoÐÒÜ{êÜ/Ö©Ö©ÕÚÖ^ÐÒä{Ú

ÐÒÑIãÕØ?ä/Ö©Õã<Ö©äpévÜ{ÔoÖ^ÐÒÓoë4êÒÜ`Ô Ö©ÕÓùèÚ4ÐÒõ?ëvÕÑÖ^ènÜ/Ö2ÓÜ{Ú<áQÕ2ëvÑ©Õãåç¯ä{ÔCÖ^ènÕÜ{ÚvÜ{êÒÛWÑ^ÐÒÑ ä`çZë4ÚWáQä`ë4ÚvãÕã

ÝCäWã4ÕêÒÑì

þNèvÕpçªä`ë4ÔoÖ^ètévÜ{ÔoÖÜ?ããÔoÕÑ©Ñ©ÕÑÖ^ènÕéÔoä{áêÒÕÝ ä{çCÖ^èvÕÕò?éüä{ÚvÕÚÖ^ÐÒÜ{êIî`Ôoä`æÄÖ^è%ä`ç!Ö^ènÕ¡Ñ©Ö©Ü?Ö©Õ

Ñ^évÜ?ÓÕä{ç]Ö^ènÕZé4Ôoä`ánÜ`á4ÐíêíÐÒÑ©Ö^ÐÓ2Ý2äWãÕêÒÑNÜ/Ñ©Ñ©äWÓÐÒÜ?Ö©Õãæ£ÐÒÖ^èÜ`êíêjÖVÛ?éQÕÑNä`çxÞWÖ©äWÓùèvÜ?Ñ©Ö^ÐÒÓuÕÖ^Ô©ÐÕÖ©Ñì¯Ú

ÕÑ©Ñ©ÕÚnÓÕ?ó?ÚvÕÖ^ôVãÔ©ÐÒØ/ÕÚ2ýÜ`Ô©ðWä`Ø!ÿÙènÜ`ÐíÚ2î/ÕÚvÕÔoÜ?Ö^ÐÒä`ÚnÑxÖ^ÔoÛÖ©äNðWÕÕé2Ö^èvÕxÜ{áQä`Ø?ÕuéènÕÚvä?ÝCÕÚnä`Ú2ëÚnãÕÔ

Óä{ÚÖ^Ôoä{êªì!þNèvÕÖ©ÕÓ©èÚ4ÐÒõ?ëvÕÑÐíêíêíëvÑ©Ö^ÔoÜ?Ö©Õã5ÐíÚ°Ö^è4ÐÒÑévÜ{ÔoÖZÐíÚnÓoêíënãÕ!Ö^ènÕéQä/Ñ©Ñ^Ðíá4ÐíêÒÐÒÖ^Û<ä{çxãÕØ/ÕêÒä{éÐíÚnî

ÝCä{ÔoÕ Óä?ÝévÜ?ÓÖ!Ý2äWãÕêÒÑ2áÛÕò?é4êíÐÒÓÐÒÖ^êÒÛ9Ü?ããÔoÕÑ©Ñ^ÐíÚnî<Ö^èvÕÐíÔIÑ©ÛWÝ2Ý2ÕÖ^Ô©ÐÒÕÑóxÖ^ènÕIÕò?éêÒä{ÐÒÖ©Ü/Ö^ÐÒä{Úä{ç

Óä?ÝéQä/Ñ^ÐÒÖ^ÐÒä{ÚvÜ{êZÖ©ÕÓùèÚ4ÐÒõ?ëvÕÑáQä/Ö^è¡Ü?ÖZÖ^èvÕÝ2äWã4ÕoêuÓä`ÚnÑ©Ö^Ô©ëvÓÖ^ÐÒä{Ú°Ü{ÚvãÑ©ä{êíëvÖ^ÐÒä{Ú¡êÒÕØ/ÕêÒÑójÜ`ÚnãÖ^ènÕ

ëvÑ©ÕZä{çvã4ÕÓä?Ýéüä?Ñ^ÐÒÖ^ÐÒä{ÚµÜ?Ñ]ÜØ?Õoè4ÐÒÓêÒÕZçªä{ÔÖ^ènÕxÔoÕãëvÓÖ^ÐÒä`ÚIä{çQÖ^èvÕNÑ©ä`êíënÖ^ÐÒä`Ú ä`çnÜ+Óä?Ý!é4êÒÕòéÔoä{áêÒÕÝ

Ö©äCÖ^ènÜ/Öä{çÑ©ÕØ?ÕoÔoÜ{êuÑ©ÝCÜ{êíêÒÕÔ!ä`ÚnÕÑì

þNèvÕû4çªÖ^èévÜ{ÔoÖãWÐÒÑ©ÓëvÑ©Ñ©ÕÑÖ^èvÕÂéQä/Ñ©Ñ^Ðíá4ÐíêíÐÖ^Û°ä{ç®Óä?ÝéêÒÕÖ©ÕêÒÛÜ`Ø/ä{ÐÒãWÐíÚnî¡Ö^ènÕ!Óä`ÚnÑ©Ö^Ô©ëvÓÖ^ÐÒä{Úä{ç

Ö^èvÕ!Ñ©Ö©Ü?Ö©Õ!Ñ^énÜ/ÓÕä`çxÖ^ènÕ!Ü?Ñ©Ñ©äWÓoÐÒÜ?Ö©Õãé4Ôoä`ánÜ`á4ÐíêíÐÒÑ©Ö^ÐÓIÝ2äWãÕêªìþNèWëvÑNÚnÕÖ^ôVãWÔ©ÐÒØ?ÕÚÓä?ÝéëvÖ©Ü?Ö^ÐÒä{ÚvÜ{ê

Ü`é4éÔoä?Ü/ÓùèvÕÑÜ{ÔoÕ Óä{ÚvÑ^ÐÒã4ÕÔoÕãSì Õã4ä¡Ñ©ä¡ÕÐÒÖ^ènÕoÔ2áÛ5êíÐÒÝÐÒÖ^ÐíÚnî<Ö^èvÕ î/ä?Ü{ê+ä`çÖ^èvÕ Ü`ÚnÜ`êÒÛWÑ^ÐÒÑ Ö©ä

Ö^èvÕ Óä?ÝéënÖ©Ü/Ö^ÐÒä{Ú%ä`çÄéüÕÔ©çªä{ÔoÝCÜ{ÚvÓÕâáQä`ë4ÚvãÑóZä{Ô!áÛÐÒã4ÕoÚÖ^ÐíçªÛ?ÐíÚnî9ÜÑ^ë4áüÓêÒÜ?Ñ©Ñä{ç+Ý2äWãÕêÒÑ2çªä{Ô

æNèÐÒÓùè9Üé4ÔoäWãWëvÓÖ^ôªçªä{ÔoÝ÷Ñ©ä{êíëvÖ^ÐÒä{Ú%ÓÜ{Ú5áQÕÓä?Ý!é4ëvÖ©Õã5ÐíÚ9Ö©ÕÔoÝ2Ñ!ä{ç+Ö^ènÕIÓä/ÝéQä`ÚnÕÚÖ©ÑCä{ç+Ö^ènÕ

ÔoÕoé4ÔoÕÑ©ÕoÚÖ©Ü?Ö^ÐÒä{Ú¡ßÐªìÕ?ìÒóé4êÒÜ/ÓÕÑuÜ{Úvã!Ö^ÔoÜ{ÚvÑ^ÐÒÖ^ÐÒä{ÚvÑoàÙÑ©äZÖ^ènÜ/ÖjÓä/Ýé4ëvÖ©Ü?Ö^ÐÒä`ÚnÜ`êíêÛCÕ"!IÓÐÒÕÚÖuÜ`êÒî?ä`Ô©ÐÒÖ^ènÝ2Ñ

ÝCÜ{ÛIáQÕëvÖ^ÐíêíÐÒøÕãQì

uÜ`ÔoÖâÑ^ÐÒò9ãÐÒÑ©ÓoënÑ©Ñ©ÕÑÖ^èvÕÜ{ÚvÜ{êÒÛWÑ^ÐÒÑ¡ä{ç!Ñ©ÛWÑ©Ö©ÕÝ2Ñ2áÛ Ý2ÕÜ`ÚnÑIä`ç!ã4ÕÓä?ÝéQä/Ñ^ÐÒÖ^ÐÒä{ÚÝCÕÖ^ènäWãÑ

Ö^èvÜ?Ö!Ö^ÔoÜ?ãÕ2ä Ö^èvÕ2Ü/ÓÓëÔoÜ?ÓÛ¡ä{çZÖ^èvÕ2Ñ©ä`êíënÖ^ÐÒä`ÚtæNÐÒÖ^è5Ö^èvÕIÓä?Ý!é4ëvÖ©Ü?Ö^ÐÒä`ÚnÜ`êÓä?Ñ©ÖóQéQä?Ñ©Ñ^ÐíáêÒÛ5áÛ

ÚWëvÝ2ÕÔ©ÐÒÓÜ{êZÕØ`Ü`êíënÜ/Ö^ÐÒä{Ú9ä{Ô+áÛ Ñ^ÐÒÝë4êÒÜ/Ö^ÐÒä{Ú]ìÞ6éQÕÓÐÒÜ{ê®Ö^Û?éQÕÑä{ç®Ý2äWã4ÕoêÒÑÜ{ÔoÕ2Ü/ã4ãWÔoÕÑ©Ñ©ÕãÐíÚ<Ö^èÐÒÑ

évÜ{ÔoÖZçªä{Ô£æ£èÐÒÓ©è¡Ü?ãWô·èväWÓ!Ü{éé4Ôoä`ò?ÐÒÝ2Ü/Ö^ÐÒä{Ú<Ö©ÕÓ©èÚ4ÐÒõ?ëvÕÑèvÜ{Ø/ÕÂáüÕÕÚãÕØ/ÕêÒä{éQÕãSì

újÐíÚvÜ{êíêÒÛ?óZévÜ{ÔoÖ2Ñ©ÕØ/ÕÚtãWÐÒÑ©ÓëvÑ©Ñ©ÕÑ Ö^èvÕâéüä?Ñ©Ñ^ÐíáÐíêíÐÖVÛtä#QÕÔoÕãåáÛ5ãWÐÒÑ©ÓÔoÕÖ©ÕÕØ/ÕÚÖIÑ^ÐÒÝÂëêÒÜ?Ö^ÐÒä`Ú

ç¯ä{ÔIÜ`ÚnÜ`êÒÛWøÐíÚnî9Ý2äWãÕêÒÑ ä`çÄÔoÕÜ{ê+Ñ©ÛWÑ©Ö©ÕÝ2ÑIæNènä/Ñ©Õ Óä/ÝéêÒÕò?ÐÒÖ^ÛtÓÜ`Ú4Úvä?Ö2áQÕÝ2Ü{ÚvÜ?î/ÕãåáÛ<Ü`ÚÛ

Ü`ÚnÜ`êÒÛWÖ^ÐÒÓÜ{ê£ä{ÔZÚWënÝCÕÔ©ÐÒÓÜ{ê®Ö©ÕÓ©è4ÚÐÒõ?ëvÕ?ì$uÜ`ÔoÜ{êíêÒÕê®Ü{ÚvããWÐÒÑ©Ö^Ô©Ðíá4ëvÖ©Õã5Ñ^ÐÒÝë4êÒÜ/Ö^ÐÒä{ÚvÑ2Ü{ÔoÕÓä?ÝévÜ{ÔoÕã

ÐíÚ°Ö^èÐÒÑénÜ`ÔoÖÖ©äâÕÝé4èvÜ?Ñ^ÐÒøÕâÖ^èvÕÐíÔéQä/Ö©ÕÚÖ^ÐÒÜ{êxçªä`ÔÑ^éQÕÕãÐíÚvî ë4é¡Ö^èvÕ2ÕØ`Ü`êíënÜ/Ö^ÐÒä{Ú<ä`çNÕòWÖ^ÔoÕÝ2ÕêÒÛ

êÒÜ`Ôoî?Õ!Ý2äWãÕêÒÑì

þNèvÕ2Õ"Qä`ÔoÖä`çZÖ^ènÕCÜ{ëvÖ^ènä`ÔoÑä`çZÖ^ènÕIÓ©ènÜ`énÖ©ÕoÔoÑä`çZÖ^è4ÐÒÑáQäWä`ð5Ö©äIé4ÔoÕÑ©ÕoÚÖÖ^èvÕIÝ2Ü?Ö©ÕÔ©ÐÒÜ`êNÐíÚ

ÜÓäWä{ÔoãWÐíÚvÜ?Ö©Õã9Ý2Ü{ÚÚnÕoÔ!Ü{Úvã5æNÐÒÖ^è5Ö^èvÕ2ënÑ©Õ2ä`çNëÚ4Ðíçªä`ÔoÝ²Únä/Ö©Ü?Ö^ÐÒä{Ú°ÐÒÑä`ÚnÕ2ä`çZÖ^èvÕÐÒÝéQä`ÔoÖ©Ü{ÚÖ

Ü/ÓùèÐÒÕØ/ÕÝ2ÕÚÖ©Ñ¡ä{ç!Ö^èÐÒÑ é4Ôoä©ÕÓÖìþ£èÐÒÑ Ø/ä{êíëvÝ2ÕÐÒÑÖ^èWënÑÜ?ãÕõ?ënÜ/Ö©Õ5Ü?ÑÜÔoÕçªÕoÔoÕÚnÓÕpçªä`Ô ÔoÕô

Ñ©ÕÜ{ÔoÓ©ènÕÔoÑ!Ü{êíÔoÕÜ?ãÛÜ/ÓÖ^ÐÒØ?Õ2ÐíÚ<Ö^èvÕûvÕêÒã5Ü?Ñ+æNÕêíê®Ü?ÑÜÖ©ÕòWÖ^áQäWä{ð¡çªä`ÔÑ©Ö^ëvã4ÕÚÖ©Ñ!Ö^èvÜ?ÖçªÜ/ÓÕ2Ö^èÐÒÑ

Ñ^ëá%©ÕÓÖç¯ä{ÔÖ^èvÕûÔoÑ©ÖÖ^ÐÒÝ2ÕCÜ{ÚvãÖ^èvÜ?ÖZÚnÕÕãÖ©ä2áQÕ!Õò?éQä/Ñ©Õã5Ö©äIÖ^ènÕCãÐ&QÕoÔoÕÚÖÜ?Ñ^éQÕÓÖ©Ñä{ç®Ö^ènÕ

Ü`ÔoÕÜ4ì

Þ?éQÕÓÐÒÜ`êxÖ^ènÜ`Ú4ðÑ+î?ä2Ö©äCÖ^ènÕÜ`ënÖ^èvä{ÔoÑ:Þüì%Ü/ã4ãÜ?ãQó'ì%Ü`Ø/ÕÔ©ðWä`ÔoÖó(ì%+ÕÔoÝ2Ü{ÚÚvÑóì%ÕÔ©ô

øä?î4ó*)4ì%ZÐíêíêÒÑ©Ö©ä{Ú]óuÜ{Úvãuìnýä{ÔoÕÜ{ëvò æNènäónæNÐÒÖ^èvä{ëvÖáQÕÐíÚvî Ý2ÕÝáQÕÔoÑZä`çNÖ^èvÕýïÙþ+ÿtÐíÚ4ÐÒÖ^ÐÒÜ`ô

Ö^ÐÒØ/Õ?óuÜ/ÓÓÕévÖ©Õã¡Ö^ènÕÐíÚØ?ÐÒÖ©Ü/Ö^ÐÒä{Ú Ö©ä+ ä{ÐíÚ<Ö^èÐÒÑÕ"Qä`ÔoÖæ£ÐÒÖ^è°ÕÚÖ^èWëvÑ^ÐÒÜ?Ñ©Ý ìIþNèvÕÐíÔ!Óä`ÚÖ^Ô©Ðíá4ëvÖ^ÐÒä{ÚvÑ

Óä{Ø/ÕÔÝCÜ{ÚÛ2ÐÒÝéQä`ÔoÖ©Ü{ÚÖÖ©ä{éÐÒÓÑ+Ö^ènÜ/ÖÄä/Ö^ènÕoÔoæ£ÐÒÑ©Õ!æNä`ë4êÒã èvÜ`Ø?ÕáQÕÕÚµä?ÝÐÒÖ©Ö©ÕãQì

,-/.0(132456879;:=<3>*?"9;@(A 4CBED$4(>9F7*4

GH-I%9J1K:305/6879F:<3>*?"9;@(AL4(BNM0(>0O*4/P#0

(5)

È

Y[Z]\^N_a`cb

d ef8g=hjik l m(hjm n

oqpr/s%r/s%tvu/wx]s3y z|{}~C(s%}*

]uyts3 s3y}t8x]s3ys%}r/s%*}u/3s3 tvut*¡¢£t¥¤% (

¦§ts3 8s3y}tx]s3yK¨ t{ (

©s3y}t8x]s3y ¤s%}r/]pr/s%r/s%tu/wªx]s3y"z|{}~(«|£tNt(}tyts3$u/

¬t®s%}s%u/3s3]¯¨ t{( o3/o

°£/y{3/%yt}{3s3±¬w(s%²}³v´µty{uC¡¶·t²/(r/{ o3¦(°

dd ¸Hgf8¹ºg(»l ºm i¼|½¿¾À§ik"l»i»lÁÂº¢ÃÄ¼§ikÆÅ|m(l m ÇÈÉ

ÊË{(wt3Ì}{Ìs%}yt¥s3{³Í+Î(ÏyKs%]u/Ðy/s%tv} u/(tv´¡¶¨§{{H

s%}r/s%¡¶£t¤%( o3Ñ(°

c±¬u/(t ys3 ut¥Ò*r/s3$Í¯{}§3{{}s3ÔÓÕs%vFÖÍ¯{}s3Hys%¨]r/y/s%ts3y

/}(u/3s3K3tut*£µ]%³ (¦(¦

Ñs%}"Í{C}#(u/3ss3%r}s3(u/²/³t¥Ì}{Ìs%}yts3v´¨§NÌ{( (Ñ(°

ddd ×ØigÙ8fÁÛÚ Ü§il"¼¿ÝÞº¼|ºgi»Cl"f8¼ É8ßàn

áâ*Ì{u/s%u=ytKy{3/%yts3y}t8u/s3y¯ã+²{C ¦(ä(

o3äx]{u=Ö s3â*Ì{Cu/s%u=yt/y{3/%yts3y}#t8u/s3yåã(²{ ¦³©°

o(o¬æu=çutysÖ y%ys¬y{3/%yts3y}#tu/s3yãµ]3¤(s%}~³{}y ¦(Ñ(

(6)

d3ë ìíº»(î3ï¢glÁ$º¼X×ØigÙ8fÁÛÚ Ü§il"¼ðÝ¢º¼§ºgi»l f8¼ ñ$òó

o s%u/K{}²/³s3Õs3y/{tuÔ£x¿¯£{u/%ys%t ©(á

o3¦£/*Ns3y}ts3 u/Ôs3â%3y]rNÌtu/wåtvuH£/Óôx¿/}(u/3s3K3tut*Ë

¨§Ì} ©Ê/o

oõ©Nã{ru/Í{} Ò*r/³t®ÖKrNÌ/²s£/Óôx]]/}(u/3s3K3tut ©á(°

o °¨§{C²tutu/w]s33{ªÌ{(t¥yt¥{Cuöu/ÔK/ªs3y}Ä¡Ð{}s3r/â£µ]³%°((°

o3Ê¨§{NÌ{(tyt{u/u/s3yK (u/L3{CNÌ{tyt{u/(/%w(w}s3w(%yt{u¢µ

µ]s%}uu/Eµ]s%}÷3{w °(°(¦

ë ìíº»(î3ø¬ºÁÂºk ÃÄ¼|ikÆÅ|ml"mLù¬ºúÜ|¼§l ûÀ§ºm nÈàn

o 8s%}KÍ¯{}u/3s²{ru/¬v´¨§NÌ{( °(Ñ(

o Ñ}{r/3y+Í¯{}¿u/Ls3y}#t8u/s3yå¡¶£/s%}s%u/{ Ê(¦(

o3á¨§{NÌr/y%yt{u/w({}tyÍ{}Ì}{r/3y+Í¯{}üK{r/yt{uN{³Í

Ky{3/%yt8s3y}tu/s3yK¡¶£/s%}s%u/{ Ê(Ê/o

ë¢d ï¢ºúfhj¹f8m(l»l"f8¼Xi¼§½ýÃÄ¹|¹|g=fþ|l hÿi»l"f8¼ +Ç

äæuy}{r/3yt{uy{Hu/s3y Ö }#t¤(s%uHs33{NÌ{(tyt{uNys3 ut¥Ò*r/s3¡¢£t¥¤%

´¨|(NÌ{( Ê(á(¦

*o]pr/s%r/s%tu/wNx]s3y z|{}~CztyÔã|{= ~tvu/wHE(s%}/ /o3á

}{r/3y"ÖÍ{C}#ýÌÌ}{%â*t³yt¥{Cu s3y/{§Í{} w(s%u/s%}%¥{s3

Ò*r/s%r/s%tu/wNu/s3y z|{}~Cã ã3*u/³y (¦(°

(¦· s3Ì{u/sytsÌÌ}{³â*t%yt{uÍ{} y{ /³yt¥å}#~%s3Ðw}Ì/v´

¨|(NÌ{( (á(

ë¢dd àl"h[À|k"i»Cl"f8¼ ÈÇ

(7)

(Ê±33s%¥s%}%ytu/wzt¥yÔ¡ÄrytÌs}{3s3{}N±E=s%}3/ Ñ³©á

(£/*u/3}{ut÷3s3L8(}vs%|£/3/s%s3¬±=s%}3/ Ñ(°(á

(Ñ±*u/3}{u/{r/¬]ty}#t²r/ys3|£/3/s%s3]±=s%} /( Ñ(Ê(¦

(8)

R

Ç Ì

W W

(9)

!#"$&%('*),+-%/.102$436587:9;3<0(5&36)436"=$<>?"(3<>A@B$&%(3;C/.1)&'D+E@F>:5&GH.1I*'*)4GJ@F>?5,GK>ML236I*'D"2NOL('*)&+65436$&3P36Q:3R"M$

)4S=)&$436GK)T7?"/.1GK36I*SVUPW=XTW=X8Y[Z:\^]X8_F`ba:c4dAe6f,gih(36h(36'*"(Nj"(36$#9;>:54k=)<%l.8Q:3;C/363R"m9P'DL236I*Snh2)436L

'*"o$4%23p0l365#@q>:54Gr.1"(+R336Q:.1I*h/.A$4'*>:"K>1@O)&h(+-%sL2'D)&+6543R$43m36Q?36"=$n)&S=)4$43RGV)n.A)t+6>?GV0(h2$4365i)4S=)#u

$43RGV)T7?+6>?GVGmh("('*+T.A$4'*>1""(3R$#9O>?54k=)T7=Gr.1"[email protected]+6$4h(5&'*"(Nt)&SM)&$436GK)twyx(71zl7M{27:|(7=}8~4fgih(36h(36'*"(N

"(36$#9;>:5&k=)O.15&3P>1@F$&36"pQ='*369;36LV.1)GK>ML236I*'D"2Nt.1"(LV.A"/.1I*S=)4'*),$&36+-%("('*=h(36)8f<P%('*)'*)Cl36+T.Ah()43?7

$4%23pGK>ML236I*'D"2N.A"(Lr$4%(3m.1"/.AI*SM)&'*)t.1)40l36+6$&)>1@<=h(36h236'*"(NV"(3R$#9O>?54k=)t%/.8Q?3h()&h/.1I*I*SVCl3636"

L(3T.AI*$O9P'*$4%m$&>:N?36$4%(3R5TfP%(3^.1"/.AIDS=)&'D)b0/.15&$<%/.1);543R)4h(I*$43RLH'*"m$&%(3tL(3RQ:36I*>:02GV36"=$>1@,Gr.1"=S

L('365436"=$m.1"/.AI*SM$&'*+T.1IGV3R$4%(>=L()879P%('*+-%.A543m>1@P9P'*L(3'D"=$&365436)&$.A"(L $4%/.A$n%l.8Q:3V.1I*)&>H$&>

)4>?GV3i36=$436"=$PI*3T.1Lm$&%(3^9.8Sm$&>p$&%(3tL236Q:36I*>?0(GV36"=$<>A@)&'DGK'*I.A5GV36$&%(>=L()<'*"V$&%(3^+6>:"=$43RM$

>1@t36$45&'O"236$4)87<.1)9P'*I*I<.10(0l3T.15jI.A$4365j'D" $4%2'D)jC/>=>:kfm!#"$&%('*)^+%l.10($&365p%2>19O36Q?365T7'*$'*)

>:"2IDS$4%23nGK>=L(36I*'*"(N.1)40l36+6$P>A@,=h(36h(36'*"(N"(36$#9;>:5&k=)O$&%/.1$;9O3^.15&3n'*"=$43R5436)&$436Lr'*",fP%=h()T7

$4%23p5&36)4$>A@O$4%23p+-%/.A0($4365^'*)tL236Q:>?$436L $4>r$4%23p0(5&36)43R"M$-.1$&'D>?"s>A@O$4%23p=h(36h236'*"(NV"(3R$#9O>?54k

@F>?54GH.AI*'D)&G.A)t.GV>=L(36I*'*"(N^$4>=>:I@F>:5;L('*)4+R5436$&3p36Q?36"=$P)4S=)4$&36GV)8f

3<%l.8Q:3<+-%(>?)436"V.)4>:GK369P%/.A$'D"B@F>:5&GH.1I1025436)&36"=$.1$&'*>:"m>1@(=h(36h236'*"(N^"(36$#9;>:54kjGV>=L=u

36I*)T7=)&$.A54$4'*"(Nj@F5&>:G)&'DGK0(I*3OGK>=L(36I*)O.1"2LV'*"=$454>=L(h2+6'*"(NpGK>:5&3t.1"(LKGV>:5&3P+6>:GK0(I*36GV>=L=u

36I*)T7?)4$&360mC=S)4$&360,fP%(3;GH.A'*"n5&3T.1)&>:"m'*)$4%/.A$9O3;9.A"=$$&%(3;543T.AL(365<$&>tl54)4$bh("(L(365&)4$-.1"(L

$4%23oC/.1)&'*+o+6>:"2+6360($&)HCl36%('*"(L=h(36h236'*"(N"(3R$#9O>?54kGK>=L(36I*)mC/3@F>:5&3oC/3R'D"2N @v.1+63RL9P'*$4%

+6>?GV0(I*36GK>=L(36I*)Tft"(>?$4%(3R5O5&3T.1)&>:"V'*)<$&%/.1$;$4%2'D)b0(5436)&36"=$.A$4'*>:"r'*)<+6>?"()4'*)4$&36"=$P9P'*$4%m$4%23

9P.8SH+RI.A)4)&36)^>1@O=h(36h236'*"(NV"(3R$#9O>?54k=)^%/.8Q:3Cl3636" '*"=$454>=L(h2+636L 'D"$4%(3I*'D$&365.A$4h(5&3:fit).

GH.A$4$&365>1@[email protected]+R$T7'*"$&%(3m/5&)4$m0/.A54$879O3r9P'*I*I<'*"M$&54>=L(h(+R3H9P%l.1$9;3r543-@F3R5p$&>.A)i1e6Y[

UPW=XTW=X8Y[Z:\m]X8_q`<a:c4dAe67=9P%('*+-%o'*)P$4%(3Cl.1)4'*+i@F>?54GH.AI*'D)&G$4%/.A$P%/.1)PCl3636" 9P'*L(36I*SVh()&36Lo'*"

$4%23tI*'*$4365-.1$4h2543:fi)<'*$<9P'*IDI=Cl3t)&3636",7=$&%('*)@F>:5&GH.AID'*)&G'*)<%(>19;36Q?365<"(>?$<0/>19;365@Fh(I(36"2>:h(N?%

$4>KGV>=L(36IGH.A"MSm5&3T.1I)&'D$&h/.1$&'*>:"()87/3?fNlft)&S="(+-%(54>?"('*T.1$&'D>?"o0(%(3R"(>:GK36"/.(f39P'*IDI$4%(3R"

0(5&36)436"=$.1"r36=$&36"()4'*>?"H>A@<$4%(3^+6I[.1)&)4'*+T.AI,=h(36h(3R'D"2Nm"(36$#9;>:54k @F>:5&GH.AID'*)&GofP%('*)P+6I[.1)&)P>1@

"(36$#9;>:5&k=)t9P'*I*I/Cl3N:3R"(365.AI*IDSm5&3-@F365&5436L $4>V.A)t¡<¢?_FX8Z(£:X-£ UPW=XTW=X8Y[Z:\]X8_F`<a?c4dAe¤

¥¦T¥ §¨j©ªR«¬®V¯^V¯tª8°V±³²¯´/µ¶j·¸¹K¶·;º¨j»6ª6©bº

!#"m$4%2'D))&36+6$4'*>?",7:9;3P'*"=$454>=L(h2+63P$4%(3PCl.1)4'*+;=h(36h(36'*"(Nj"(36$#9;>:54k¼@F>:5&GH.1I*'*)4G f(3;)4$-.154$bCMS

+6>?"()4'*L(365&'*"(NV)&h(+6+636)&)4'*Q:3RIDS½;)4'*GK0(I*3t=h(36h(3R)T7lGmh(I*$4'*+6I[.1)&)<=h(36h(3R)T7l"(36$#9;>:5&kM)i>1@<=h(36h(3R)T7

(10)

Arrival process

Queue Server(s)

Departure process

Ò'DN?h(543m¾?fD¾?½,Í)&'*GV0(I*3t=h(3Rh(36'*"(Nm)4S=)&$436G

Gmh(I*$4'*+6I[.1)&)<=h(36h(36'*"(Nm"236$#9O>?54k=)T72=h(36h(36'*"(Nm"236$#9O>?54k=)P9P'*$4% /"('*$43^+T.A0/.1+6'*$#SV.A"(Lr)4$.A$43

L(360l36"(L(36"=$^54>?h($4'*"(Nlf,P%254>:h2N:%(>?h($P$4%('*)P)&36+6$4'*>?",7(9;3.1I*)4>'*"M$&54>=L(h(+R3n)&>:GK3tC/.A)4'*+^0/365u

@F>:5&GH.1"2+63tGK3T.1)&h(5436)P>A@<Mh236h(36'*"(Nm"(3R$#9O>?54k=)P$4>m36GK0(%/.A)4'*63t9P%l.1$P'*)P$4%(3i/"l.1I,N?>M.AI/>A@

0/365@F>:5&GH.A"(+63^36Q:.1I*h/.A$4'*>:"f

Ó<Ô4Ó<Ô&Ó ÕPÖ4×ØiÙ4ÚÜÛÝtÚÝtÚ,Þ

)&'DGK0(I*3O=h(3Rh(36'*"(N)4S=)4$&36Gß>?5te6Y[Z?\1à*Xná8W=XTW=XP+R>:"()&'D)&$4);>1@.KáTW=X8W=XT7(.AID)&>+T.AIDI*36L âTW-ãPX8c67

.1"(LK>:"(3^>:5;GV>?543P5&36)4>?h(54+63R)t+T.AIDI*36Le6XTc6ä8X8c-e6få"=$&'D$&'*36)P+T.1I*I*36Lo8W?e_qa:æX8c-e<>:5ç6a:âRe<N:3R"=u

365.A$436L C=Sè.A"X-¢:_qXTcRZ(1à<:cRc6Y[ä81à=éêc&aT-XRe-eë>:'*"r$4%(3=h(36h(3$&>V5&36+636'*Q:3m.m)&3654Q='*+63m.1$i>:"(3

>1@$4%(3r)&3654Q?3654)8fìi0/>?")&3654Q='*+63 +6>:GK0(I*36$4'*>:">A@¼.+6h()&$4>:GK365T7;$&%('*)m+6h()4$&>:GK365pI*3T.8Q?36)

$4%(3)&S=)4$43RGsf>p+R>:GV02ID3R$436I*Sm+-%/.15-.1+6$&3654'*63$4%23C/3R%/.8Q='D>?5O>A@<$4%('*)P)4S=)&$436G 7=>:"(3%l.1)P$4>

L(3-/"(3m$&%(3m"=h(GmCl365t>A@O)4365&Q:365&)T7$4%(3)43R54Q='*+63VL('*)&+6'*0(I*'D"23:7l$4%(3+T.10l.1+6'*$#So>A@O$4%(3=h(36h(3?7

$4%(3p.A545&'DQ:.AI/0254>=+636)&)n.1"2LH$&%(3^)4365&Q='D+R30(54>=+63R)4)TfPÒ'*N:h(5&3p¾?fD¾i)4%2>19P)P$4%(3^N:5-.10(%2'D+8.1I543R0=u

5436)&36"=$.1$&'*>:"o>A@E.)4'*"(N?I*3n=h(3Rh(3:f

íVîï ð<ñ=òtó2ôEõRñ=ò1ö/ñ=ò:õA÷P%(3b"Mh2GmC/365>1@()43R54Q:3R54)T7=L236"(>:$&36LCMSøm78Gr.8SPC/3<>?"(3^ù#e6Y[Z:\AàDXRú

eX8c6ä8XTcb+T.1)&3Tû67l.^l"('*$43^"=h(GmC/3R5<N:5&3T.1$&365P$4%/.A"r>:"(3ù4æW:à*_FYé/àDXRú#e6XTcRäTX8c+T.1)&3Tû672>:5;'*"=/"('*$#S

ù4Y[Z6übZ(Y[_qX6ú#e6X8c6äTX8c>:5P£:XRàD?ý8ú#eX8c6ä8XTc+T.A)43TûRfP%('*)I[.A)4$)4'*$4hl.1$4'*>?">=+6+6h(5&)O9P%(3R"p$&%(36543i'*).1Iu

9.8S=)O.i)43R54Q:3R5O5&3T.1L(Sj$4>)&3654Q?3t.1"=S+6h()&$4>?GV365O.A545&'DQ='*"(Ni'D"=$&>n$&%(3P)4S=)&$436G 71$4%/.A$<'*)$4%(365&3

'D)^.1"oh2"(I*'DGK'*$436Lr"=h(GmCl365P>1@O)&3654Q='*+635436)&>:h(5&+636)8f!#" $4%('*)t+8.1)43?7$4%(3R543'D)i"(>V=h(3Rh(36'*"(N

'D"m$&%(3t)&S=)4$43RGsf!#$<'*)<h()&h/.1I*I*Sm.1)4)&h(GV3RLm$4%/.A$O.1I*I()&3654Q?3654)^.1543P'*L(3R"M$&'*+T.1I#7?%(>19O3RQ:365;GV>?543

N:36"(3R5.1I;)4'*$&h/.1$&'D>?"()T73:fN/fp.K$#9;>1u#)4365&Q:365j)4S=)4$&36Gþ9P'*$4% >:"23@v.A)4$^)43R54Q:3R5.A"(Ls>?"(3)4I*>19

)4365&Q:36587/+8.1"o.1I*)4>mCl3^+6>:"2)4'*L(365&36L,f

ÿêñ=ò1ö1ñvõ ñl÷P%(3<)&3654Q='*+63;L('*)4+6'*0(I*'*"(3:78>?5,)4+-%(3RL(h(I*'*"(NP54h(I*3:7AL(3-/"(3R)$&%(3<0l>:I*'*+6S

CMSr9P%('*+-%r$4%(3)43R54Q:3R54).15&3p.1I*I*>=+T.1$&36Lo$4>m$&%(3Q:.A54'*>:h()P+Rh()4$&>:GV3R54)t025436)&36"=$'*"H$&%(3)&SM)u

$436G fP%(3^C/.1)&'D+^)&3654Q='*+63L('*)&+6'*0(I*'D"23nh2)4h/.AIDI*Sm+6>?"()4'*L(3R5436Lo'*)<ü<ce_ú4Y[Z=úübc-e6_[ú4a?WM_ùFÒ!4Ò^ûR7

.1I*)4>ikM"2>19P"p.1)ü<c-e6_ú4-a:æX6úü<ce_ú#e6XTcRäTX-£PùFÒPÒ(û6f1P%2'D)GV3T.A"(),$&%/.1$$4%(3;+6h()&$4>?GV365&)E.A543

0(54>=+636)&)436LJ'*"o$4%(3>:5&L(365$&%(36So.15&54'*Q:3'*"o$4%23p=h(36h23:fVùt>:$&3p$&%/.1$87l36=+6360($^@q>:5t)&'*"(N:I*3-u

)4365&Q:365;)4S=)4$&36GV)871'*$,L(>=36)b"(>:$'DGK0(I*St$&%/.1$+6h()&$4>?GV365&)I*3T.8Q?3<$4%23P)4S=)4$&36G '*"$4%(36'*5<.15&54'*Q:.1I

>:54L2365Tfyûi$4%(3R5O=h(36h236'*"(NL('*)4+R'D02ID'*"(3;'*"(+6I*h(L(3R)T½;àDAe6_[ú4Y[ZBúü<c-e6_[ú4a?W=_ù !4Ò^û67(c&a:W=Z(£mc4a?âTYZ

ù iû67(.A"(LKéêc4a8-X6e-e6a:cie(?c6Y[Z:\ ùF(ûjwR~f

pîñ=îñ ! "# $&%2÷<P%(3;+T.10/.A+6'*$#S^>1@/$&%(3O=h(3Rh(3:7?L(36"(>?$436LC=S(' 71'*),$4%23O$&>:$.AI="Mh2GmC/365

>1@O+6h2)4$4>?GV365&)^$4%/.A$n+8.1"oCl3m)4'*Gmh(I*$.A"(36>?h()4I*Sm0(5&36)436"=$'*"o$&%(3)4S=)4$&36Gù36'*$4%(365j9.A'D$&'*"(N

>:5t5&36+636'*Q='*"(NV)&3654Q='*+63TûRfP'*$P'*)P'DGK0/>?54$-.1"=$O$&>mL('ê3R5436"=$4'[.A$43Cl36$#9;3636" $4%(3^@q>:I*I*>19P'D"2N$#9O>

(11)

+T.A0/.1+6'*$#So=h(3Rh(36)T7<.A"=So+6h()&$4>:GK365.15&54'*Q='D"2NH$&>r$4%(3m)&SM)&$436G +T.A".AI*9.8S=)^C/3V.A+6+63602$436L

)4'*"(+R3$4%(3R543'D)t.A"r'D"B/"('*$43^9P.1'*$4'*"(N54>=>:G f!#"r$4%(3+8.1)43>1@/"('*$43j+T.10/.A+6'*$#SV=h(36h236)^>:"

$4%23t>:$&%(365;%/.1"2L,7:>?"(3P%/.A)<$4>)&0/3R+6'@FSm$4%(3iC/3R%/.8Q='D>?5<>1@$4%23t)4S=)&$436G9P%236"V$&%(3P=h(36h(3^'*)

@Fh(I*I#fP%(3P+6I[.1)&)4'*+T.1I,.A)4)&h(GV0($&'*>:"'D)b$4%/.A$<+6h()&$4>:GK3654);+6>?"M$&'*"Mh23n.15&54'*Q='*"(N^$4>$4%(3i)4S=)4$&36G

.1"2LV$4%l.1$P9P%(36"236Q:365^.+Rh()4$&>:GV3R5.A5454'*Q?36)t.1"(L /"(L()P$&%(3t=h(3Rh(3^@Fh(I*I#71'*$;'D);I*>:)&$TftI*$&365#u

"/.A$4'*Q:36I*S=7l>:"(3+6>:h2IDL)40l36+6'@FSo$&%/.1$^$4%23V.1545&'*Q:.1I,0254>=+636)&)p'*)t)&$4>?0(0/3RL9P%(36" $4%(3=h(36h(3

'*);@Fh(I*I,.1"2LV543R)4h(GK36)n.A)P)4>=>:"o.1)P)&0/.1+R3C/3R+6>:GK36)t.8Q:.1'*I[.1C(I*3:f

2mò1òqö3 ! ò1óAñBõ8õA÷VP%(3m.1545&'*Q:.1I0(54>=+63R)4)+%l.15.A+6$43R54'*636)$4%(3m9P.8Sr+6h()&$4>:GK3654).A5454'*Q?3

$4>m$&%(3^)4S=)4$&36Gsf!#"rN?36"(365-.1I#7($&%(3.1545&'*Q:.1Il0(54>=+636)&)^+T.1"rCl3n5&360(5&36)436"=$&36LC=SH.j)436=h(36"2+63

>1@^'*"()4$-.1"=$4)46587943:7<;=;=;=7>4@?!7;=;A;*79P%236543B4@?'*)$4%(3r$4'*GK3V.1$9P%('*+%J$4%(3DC2uv$&%+6h2)4$4>?GV365

.15&54'*Q:3R)m'D"J$4%(3r)&SM)&$436G f tI*$4365&"/.1$&'*Q:36I*S=7$4%(3o.15&54'*Q:.1I;0(5&>M+R36)4)K+T.1"Cl3HL236)4+65&'*C/36LÜCMS

$4%23)436=h(3R"(+63m>1@PY[Z(_qXTc&:c6cRY[äTAà,_FYæpXRe67!E57>E:7;=;A;=79EF?G7<;=;=;*7:9P%236543HE?r'*)P$4%(3$&'*GV3tCl36$#9;3636"

$4%23.A5454'*Q:.AI,>1@;$4%(3C2uv$&%s.1"2Lù CIÍ¾8ûqu#$4%o+Rh()4$&>:GV3R54)T7l'#f3:f*½JEF?LKM4@?3N5POQ4@?,fiP%(3RE?

.15&35.A"(L(>?GßQ:.A54'[.1C(I*36)P.1"2L,7('*"r$4%(3^GK>:)4$PN?36"(365-.1I)436$&$4'*"(N/72$4%(3RSHGr.8Sp%l.8Q:3^L('ê3R5436"=$

L('*)4$&54'*C(h($&'*>:"().1"2LoC/3+6>?54543RI.A$436LfSt>19;36Q?365T7.K)40l36+6'[.1I+T.A)43m>A@E'*"=$43R5436)&$'*)t$4%23p+T.A)43

9P%(365&3P$4%(3R)43P5.A"(L(>?GÍQ:.154'[.AC(I*36).A543^Y[Z(£:Xé(XTZ(£?XTZ2_[à*ý:Z(£Y[£?XTZ(_qY[-1ààDý^£:Y*e6_qc6Y[â8W=_FX-£tù'#f'#fL,f

5.A"(L(>?GßQ:.A54'[.1C(I*36)-û6fb!#"o$4%('*)P+T.A)43:7l$&%(3.A545&'DQ:.AI0(54>=+63R)4)^'*)P+6>:GK0(I*36$436I*Sm+-%/.A5.1+R$4365&'DR36L

C=Sr$4%(3m+6>?GVGK>:"mL('*)4$&54'*C(h($&'*>:"o>A@O$4%(3R)43m5.A"(L(>?G Q:.154'[.AC(I*36)T729P%('*+%'D)^5&3-@F365&5436L$&>H.1)

$4%23VY[Z(_qXTc&:c6cRY[äTAàê_qY[æX£:Ye_qc6Y[â8W=_FYa:Z(f

ÿñ=ò1öTAñU ò1óAñBõ8õA÷P%(3r)4365&Q='D+R3o0(54>=+63R)4)V+-%/.A5.A+6$4365&'*636)V$&%(3r5436=h('*5&36GV36"=$&)p>A@n$4%23

+6h()&$4>?GV365&)O'*"$4365&GV)<>A@ê)&3654Q='*+63:fb!#"mN:36"(3R5.1I#7?$4%(3P)&3654Q='*+63i0(54>=+636)&)P+T.1"mCl3t5&360(5&36)436"=$&36L

C=S.K)&36=h(36"(+63r>A@$&'DGK36)0V 5 7>V : 7;=;=;A79V ? 7<;=;=;*7/9P%236543DV ? '*)$4%(3m$&'*GV35&36=h('*5436LJ$4>r)4365&Q:3

$4%23(C2u#$4%m+Rh()4$&>:GV3R5T7=543@F36545&36Lr$4>m.1)<$&%(3e6XTc6ä8Y[-X^_FYæpX8f,P%230V ? .15&3t5-.1"(L(>?GQ:.154'[.AC(I*36)

.1"2Ls'*" $4%(3mGK>:)4$iN:36"2365.AIO)&36$4$&'D"2N/7$4%(36S GH.8SK%/.8Q:3L('365436"=$L2'D)&$45&'DC2h($4'*>:"2)p.1"(L Cl3

+6>?54543RI.A$436LfMSi>19O36Q?365T7i.)4'*GK0(I*3V+T.A)43 >1@9P'*L(3o'*"=$4365&36)4$r'*)V$&%(3o+T.A)43 9P%(36543 $4%236)43

5.A"(L(>?GQ:.A54'[.1C(I*36)V.A543o'*"(L2360/3R"(L(36"=$H.A"(L'*L(36"=$&'D+8.1I*I*SL('*)4$45&'*C(h($43RL ù['#f'#fLf5.1"2L(>:G

Q:.15&'[.1C(I*36)-û67,.A"(L.1I*)4>K'*"(L(360l36"(L(3R"M$>1@P$4%23m)436=h(36"2+63r>1@P'D"=$&365.A5454'*Q:.AI$&'*GV36)8fp!#" $4%2'D)

+T.A)43:7?$4%(3P)&3654Q='*+63P0(5&>=+636)4);'*),+6>?GV0(I*36$&36I*S^+%l.15.A+6$43R54'*636LKCMS^$&%(3P+6>:GKGV>?"tL('*)4$&54'*C(h($&'*>:"

>1@<$&%(36)43j5.1"2L(>:GQ:.A54'[.1C2ID3R)T7=9P%('*+-%r'D);543@F36545&36L $4>V.1)P$&%(3e6XTc6ä8Y[-X_FY[æX£?Y*e6_Fc6YâTW=_qY[a:Z(f

Wmñ=ï* (òX !#"GH.1"=S)&'D$&h/.1$&'*>:"()87n.A5454'*Q:.AID)V.A"(L)&3654Q='*+636) +T.1"Ü>M+R+6h(5s.A$H.1"=S$4'*GK3:7

'*"9P%('*+%+T.A)43o$&%(3oGK>ML236IP'*)m543-@F3R54543RL$&>.1)V.-a:Z(_qY[Z(W=a?W:e _FY[æXGV>=L(36I#7;.1"(L$4%23

'*"=$4365-.1545&'*Q:.1I.1"(LÜ)4365&QM'*+63$&'*GV3rL('*)4$&54'*C(h($&'D>?"()H.A543 +6>:"=$&'D"=h(>?h()V$&'*GV3rL('*)4$&54'*C(h($&'D>?"()Tf

P%(365&3H.A543m%(>19;36Q:3R5)4'*$4hl.1$4'*>?"()^@F>?5n9P%2'D+-%.A5454'*Q:.AID)^.1"(L)&3654Q='*+636)+T.A""(>:$>=+6+Rh(5.A$

.15&C('*$45-.154Sr$&'DGK36)T72C(h($i+T.1" >:"(I*SK>M+R+6h(5.1$i)40l36+6'/+'D"2)4$.A"=$4)T7l9P%('*+-%s.A543Gmh(I*$4'*0(I*36);>1@

.mN?'*Q:36"o=h/.A"=$4'*$#Sr+T.1I*I*36Lo$&%(3H_qY[æXmW=Z(Y[_qf^!#"o$4%('*)^+T.A)43:7$&%(3GV>=L(36I'D)^5&3-@F365&5436L$&>H.1)

.J£:Y*e68c4X8_FXK_FY[æXGK>=L(36I#7.A"(L$4%23V'*"=$4365-.1545&'*Q:.1IP.1"(L)&3654Q='*+63r$4'*GV3mL2'D)&$45&'DC2h($4'*>:"2)p.15&3

L('*)4+R5436$&3p$&'DGK3PL('*)4$&54'*C(h($&'D>?"()Tf

Ó<Ô&Ó<ÔY Z\[J]tÚÙ4Ö_^J`Ma^]cbKÚd@e<[d(×fag^.hÚjilkaÙ4Ý.am(Ö_[^

P%(3KN:>M.AI<>1@P0l365#@F>?54Gr.1"(+63m3RQ:.1I*h/.1$&'*>:" 'D)j$4>o0(5&>1Q='DL23mMhl.1"=$4'*$.A$4'*Q:3'*"=@F>?54GH.A$4'*>:">:"

$4%23tCl36%/.8Q='*>:5>1@.iL('*)4+R5436$&3n3RQ:36"=$<)&SM)&$436G fÒ2>:5b$4%(3P0(h2540l>:)43i>1@,'*I*I*h()4$&5.1$&'*>:",78)4h20(0/>?)43

(12)

'D)P.¼/=36LV"=h(GmCl365Oø >1@,36GK0(I*>1S:3636)bL(36I*'*Q:365&'D"2N$4'*+-k:36$&)O$&>p$&%(3^+6h()&$4>:GK3654)P.15&54'*Q='*"(N$4>

$.1k?3^$4%(3^$45-.1'*",f=h(0(0l>:)&3$4%l.1$;$4%(3^+6h()&$4>?GV365&);@F>:5&G .j)4'*"(N?I*3t9P.1'*$4'*"(NI*'*"(3^.1"(LK$4%/.A$T7

9P%(36"(36Q?365V.1" 36GK0(I*>1S:363Cl36+6>?GV36).8Q:.1'*I[.1C(I*3:7l%(3<oA)4%(3r.1L(L25436)&)436)$4%(3K5436=h(3R)4$>1@P$4%(3

/54)&$+6h()&$4>:GK365^'*"o$4%(3m9P.1'*$&'D"2NmID'*"(3?fH;h()&$4>:GK3654).A5454'*Q?3p.1+6+R>:54L2'D"2NH$&>r)4>:GK3p.15&54'*Q:.1I

0(54>=+636)&)Tf=3R54Q='*+63$4'*GK36)t.15&3Q:.15&'.AC(I*3^C/36+8.1h()&3p$&%(3)43R54Q='*+63p5&36=h('*5436GK36"=$4)iQ:.154S @F54>?G

>:"(3+Rh()4$&>:GV3R5O$&>m$4%(3"236=$Tf

P%(3^GH.A'D"m0l365@F>:5&GH.1"2+63^0/.15-.1GV3R$4365&)P>1@'*"=$43R5436)&$P@F>?5O)&h(+-%s.)4S=)4$&36G .1543?½

p

?äTX8c48\:Xc&X6eqé(a:Z=e6X_qY[æXT½.8Q:3R5.1N?3t$&'DGK3O'*$;$.Ak:36)b@F>:5;.+6h2)4$4>?GV365b$4>N:36$;%('*)>oA%(365

$&'D+-k?36$<q

p

?äTX8c48\:X`b:Y[_qY[Z:\_qY[æpX8½.8Q:365-.1N:3P$&'*GV3P.+6h2)4$4>?GV365b9.A'D$&)<Cl3-@F>:5&3tN?36$4$&'D"2N.A+6+636)&)

$&>m>:"(3^>1@$4%(3j36GV0(I*>1S?3636)<q

p

?äTX8c48\:XKáTW=X8WMX àDX8Z:\?_A2½n.8Q?365.AN:3"Mh2GmC/365P>A@O+6h()&$4>?GV365&)0(543R)436"=$'*"o$&%(3p$&'*+k?36$

>#nV+63rq

p

_=(c&a:W1\< éêW=_q½.8Q:365-.1N:3j"Mh2GmC/365^>A@O+6h()&$4>:GK3654)^I*3T.8Q='*"(NV$&%(3)4S=)4$&36G 0/365jh("('*$t>A@

$&'DGK3rq

p

W=_qY*àDYts8?_FY[a?ZP>1@l$4%(3;)4365&Q:365&)T½<.8Q?365.AN:3;0/365&+636"=$.AN:3P>A@/$4'*GV33T.A+-%p36GK0(I*>1S:363b'D)C(h()&S

)&3654Q='*"(Nm+6h()&$4>?GV365&)Tf

uO3R)4'*L(3V$&%(36'*5p.8Q?365.AN:3mQ:.1I*h(3R)T7'D$^Gr.8SHCl3V>A@'*"=$43R5436)&$p$&>ok="(>19.AC/>?h($$4%23VQ:.15&'u

.1"(+63m>A@$&%(3m.1Cl>1Q:3Mhl.1"=$4'*$4'*36)87>:5^GK>:543jN:36"(3R5.1I*I*Ss.AC/>?h($^$4%(36'*5^L('*)4$&54'*C(h($&'*>:"()8fÒ2>:5

'D"2)4$.A"(+63:7b'*$pGr.8SHCl3r'*GV0l>:54$-.1"=$^$4>ok="(>19$&%(3VQ:.A54'[.1"(+R3V>1@t$&%(3V9P.1'*$&'D"2NH$&'*GV3m>1@n.

+6h()4$&>:GK365T72'D"r.1L(L2'D$&'*>:"V$&>mk="(>19P'*"(Np'*$&).8Q?365.AN:3^Q:.1I*h(3:f

i"(3P0/>?)4)&'DC2ID3P9P.8S^$4>L236$4365&GV'*"(3;$4%(3R)43t=h/.A"=$4'*$4'*36)'*)(ë-h()4$b$4>^5436+R>:54LK$4%(3PCl36%/.8Q='*>:5

>1@O$&%(3$4'*+-k:3R$t>nV+R3pL(h254'*"(NV.mI*>?"(Nm0/3R54'*>=Lo>1@<$4'*GK3¼.A"(Lo$&>VL(365&'*Q:3$&%(3=h/.1"=$&'D$&'*36)t>A@

'D"=$&365436)&$@q54>:G $&%('*)^>:C()&3654Q:.A$4'*>:",7l'*" 0/.15&$4'*+6h(I[.15i$4%(3V.AC/>1Q?3p>?"(36)8fP%(3m0l365#@q>:54Gr.1"(+R3

0/.15-.1GV3R$4365&)<$4%(3R"pL(3R54'*Q:36LV.A543;543-@q36545&36LV$&>¼.A)P_FY[æXt?äTX8c48\:XRe6719P%('*+-%pGK3T.1"2),$4%l.1$$4%(3RS

%/.8Q:3^Cl3636"o>?C($.A'D"236LrCMSV.8Q?365.AN:'*"(N).AGV0(I*36);>1Q:365t.0l365&'D>=Lr>1@$4'*GV3?f

t"p.AI*$4365&"/.1$&'DQ?3O9P.8S^'*),$4>i+6>:"2)4$45&h(+6$P.^e6_qaT9(Ae_qY[iæpa8£:XRàT>A@/$4%('*)5438.1I=)4S=)4$&36GsfP%(3

$4'*+-k:36$>nV+63m+8.1".1+R$4h/.AIDI*SoCl3VGK>=L(36I*36L.1)p.r)&'*GV0(I*3=h(36h23V9P'*$4%'*"=/"2'D$&3m+T.10l.1+6'*$#S

ùF.1)&)4h(GK'*"(NP$4%/.A$,$&%(3O>#nV+63;'D)I[.154N?3<36"(>?h(N:%j$4>n.A+6+6>?GVGV>=L/.A$43.1I*I:+6h2)4$4>?GV365&).A5454'*Q='*"(NMû

.1"(L9P'*$4%ø )4365&Q:365&)m+6>:5&5436)&0/>?"(L('*"(No$&>o$4%(3m3RGV0(I*>1S:3R36)Tf>r+6>:GK0(I*36$43$4%(3m+-%/.A5.A+-u

$4365&'D8.1$4'*>?"s>A@$&%(3pGK>=L(36I#7l$4%(3V.A5454'*Q:.AI.1"2Ls)&3654Q='*+63V0254>=+636)&)436)%/.8Q:3$4>rCl3p)&0/3R+6'/36L,f

t)4)&h(GV'*"(Nm'*"(L2360/3R"(L(36"(+R3.A)4)4h2GV0($&'D>?"()b@F>:5PCl>:$&%o$4%(3.A5454'*Q:.AI,.1"(Lr)43R54Q='*+63p0254>=+636)&)436)

.1)PL(36)&+654'*Cl36Ls.AC/>1Q?3pù[9P%2'D+-%r'*"m$4%('*)P+T.A)43^'*)O5&3T.1I*'*)4$&'*+Tû672$4%(3^+-%/.15-.1+6$&3654'*T.A$4'*>:"K5436L2h(+636)

$4>V$&%(3L('*)4$45&'*C(h($4'*>?"()t>A@O'*"M$&365.A545&'DQ:.AI.A"(Lo)43R54Q='*+63p$&'*GV36)8fP!q@O$4%236)43L('*)4$&54'*C(h($&'D>?"()n.A543

N:'*Q:36"7,>?"(3V+T.A"$4%(3R"wv454h2"!xo$4%23VGV>=L(3RI@F>:5.rN?'*Q:36" 0/3R54'*>=L>1@P$4'*GK3:fmP%('*)GK3T.1"()

$4>5-.1"(L2>:GVI*S N:36"2365.A$43.1545&'*Q:.1I*)V.1+6+R>:54L2'D"2N$4>$&%(3o'*"=$4365-.15&54'*Q:.1Ii$4'*GV3KL('*)4$45&'*C(h($4'*>?"

.1"(Lr)43R54Q='*+63$4'*GK36).A+6+6>?54L('*"(N$4>m$&%(3^)4365&QM'*+63j$4'*GV3PL('*)&$454'*C(h2$4'*>:",fu;SVL(>?'D"2Np$&%/.1$87=9O3

.1543m+R>:"()&$454h2+6$4'*"(N 9P%/.1$^'*)+T.AI*ID3RL.e6:æé/à*Xé(:_=r>A@$&%(3mGV>=L(36I#fyt>:$&3m$4%/.A$$4%2'D)j'D)

36(.1+6I*$#So9P%/.A$tL('*)&+65436$&3m36Q:3R"M$^)&'DGmh2I.A$4'*>:"K$436+-%("2'D=h(3R)L(>V$&>V+T.AI*+6h(I[.1$&3p0l365#@q>:54Gr.1"(+R3

0/.15-.1GV3R$4365&)<q543-@F3R5$4>o.15&$0zi!4!i@F>?5tGV>?543>?"s$&%(36)&3m$436+-%("('*=h(36)8fmP%(3m0l365#@q>:54Gr.1"(+R3

(13)

Cl36+T.1h2)43.1)'D"J$4%(3r+T.A)43o>A@n$&%(3rGV>:"2'D$&>:5&'D"2NH>A@n$&%(3r543T.AIt)4S=)&$436G 7<$4%236S%/.8Q?3VCl3636"

>:C2$.1'*"(3RLHC=Sr.8Q:365-.1N:'*"(Nj).1GK0(I*36);L(h(54'*"(NV.¼/"('*$&30/3R54'*>=LH>A@$&'DGK3:f

Wmñ=ï* (òX !#$GH.8So.A0(0/38.15)4$45-.1"(N?3H.A$^/54)&$pN?I[.1"(+63m$&>o543R0(5436)&36"=$m'*"M$&365.A545&'DQ:.AI.A"(L

)43R54Q='*+63m$4'*GV3R)n.1)i5.A"(L(>:G Q:.A54'[.1C2ID3R)Tfi!#"(L(3636L7,)&3654Q='*+63m$4'*GK36)t.15&3p5&36I[.1$43RLs$&>H$&%(3543-u

=h('*5436GK36"=$m>1@^3T.1+-%0/.A54$&'D+Rh(I[.15m+6h()&$4>?GV3658fÒ2>:5m'*"()4$-.1"(+R3s. +6h()&$4>:GK365nëh()4$V.A)4k='*"(N

@F>?5P)4>:GK3^)4'*GV0(I*3P'*"=@F>?54Gr.1$4'*>?"m9P'DI*I%/.8Q?3.{v4)4%2>:54$P)&3654Q='*+63$4'*GV3|x/7=9P%('*I*3n.+6h2)4$4>?GV365

C(h(S='*"(No.K$4'*+-k:36$¼@F>:5. @F>:5&36'*N:" L(36)&$4'*"/.1$&'*>:" 'D"=Q?>:I*Q='D"2NmL('ê365&36"=$$45-.1'*"()87,9P'*I*I,%/.8Q?3V.

v4I*>?"(NP)4365&Q='D+R3O$&'DGK3&x/f}St>19;36Q:3658789P%/.1$'D)'*GV0l>:54$-.1"=$l9P%(36"L(3T.1I*'*"(NP9P'*$4%^0l365#@q>:54Gr.1"(+R3

'*)4)&h(36);'D)b"(>:$<$&>^9O>?5454Sm.1Cl>:h2$<$4%(3P)&0/3R+6'/+^+%l.15.A+6$43R54'*)4$&'D+R).A"(LmC/3R%/.8Q='D>?5<>1@,.i0/.15&$4'*+-u

h(I[.15+6h2)4$4>?GV36587:C2h($5.1$&%(365<$&>+T.A0($4h(5&3P$4%(3PN?I*>:C/.AIMCl36%/.8Q='*>:5>A@/$4%(3P)&S=)4$43RGsfÒ(>?5$&%/.1$

5438.1)4>?",7=9P%/.A$O'*);'DGK0/>?54$-.1"=$'D)b$4>54360(5&36)43R"M$i$4%(3_Fý&éY[-1à,â-X9(:ä8Y[a?c>1@.j+6h()4$&>:GK365.A"(L

"(>?$P$4%(3)&0/3R+6'/+pCl36%/.8Q='*>:5P>[email protected]"=Sm0/.15&$4'*+6h(I[.A5P>:"(3:fJ~i>:'*"(N$4%l.1$PGV38.1"()P.1+6$&'*"(NV.1)^.1"

>:h2$4)4'*L(3^>?C()4365&Q:365P)&$.A"(L('*"(Nm.1$;$4%(3^C/.A+km>A@,$4%(3^$&'D+-k?36$P>nV+63^.1"(LKI*>M>?k='D"2N¼.A$O9P%l.1$P'*)

N:>?'*"(Np>?"sùq.1);>:0(0l>:)&36Lr$4>m)4$-.1"(L2'D"2Np"(3RM$P$&>p$&%(3^+6>:h2"M$&365n.A"(LV$&54S='*"(N$4>h("(L(365&)4$-.1"(L

9P%=S.i0/.A54$&'D+Rh(I[.15+6h()&$4>:GK365<%/.A))40l36"=$O36(.A+6$4I*S)&>Gmh(+-%$4'*GK3v4'*")4365&QM'*+63|xMû6fb>t$4%2'D)

>:h2$4)4'*L(3i>:C()&3654Q?365T72$4%(3i'*"M$&365.A545&'DQ:.AI/.1"2LV)43R54Q='*+63^$4'*GV36)9P'*I*I('*"(L(363RLè.A0(0l3T.15P.1)<'@,$&%(36S

9;36543r5.A"(L(>?GQ:.15&'.AC(I*36)Tf*@n+R>:h(5&)43:7;$4%23m@F>?IDI*>19P'*"(Nr'*)4)&h(3r'D)Q:3R54S'*GV0l>:5&$.1"=$p.A"(L

.15&'*)436)P'*"V.1"=Sm)&$4>=+-%/.1)&$4'*+^GV>=L(36I*'*"(N^>1@.j543T.AI)4S=)4$&36Gs½'*"V>?54L(365b@F>?5O$&%(3t0l365#@q>:54Gr.1"(+R3

.1"l.1I*S=)4'*)O$&>pCl3tGK3T.1"2'D"2N1@Fh(Iù['#f3:f,$&%(3^0/3R5#@F>?54GH.A"(+636);+T.AID+Rh(I[.1$43RLHCl.1)43RLV>:"K$4%(3^GK>ML236I

.15&3t'*"V.1N?54363RGV36"=$<9P'*$4%$4%2>:)43i>1@,$&%(3t5&3T.1Il)4S=)4$&36GHûR7:$&%(3tL2'D)&$45&'DC2h($4'*>:"2)<>1@$4%(3i'*"M$&365.A5#u

54'*Q:.AI.1"2LH)&3654Q='*+63$4'*GV3R)P%/.8Q:3$&>mC/3m.1+R+6h(5.A$436I*Sr+-%/.15-.1+6$&3654'*63RL,f^P%('*)n.A)40l36+6$^>1@<$4%23

GV>=L(3RID'*"(NV.A+6$4'*Q='*$#Sr'D)^h()&h/.1I*I*Sr543-@q36545&36L$4>o.1)m`<a?c4dAàDa8:£>?5m_Fc&t+-%/.A5.A+6$4365&'*T.1$&'D>?",f

!#$P'*)t.Q:365&SV'*GV0l>:5&$.A"M$b'D)&)4h(3j'D"K0/3R5#@F>?54GH.A"(+63^36Q:.AIDhl.1$4'*>?",f

Wmñ=ï* (òX Ü%(36".1L(L(5&36)4)&'*"(Nr0/365@F>:5&GH.A"(+6336Q:.1I*h/.A$4'*>:"o'*)&)4h(36)87,>?"(3GH.8SVCl3'D"=$&365#u

36)&$436L36'*$4%2365'*"s$&%(3oe2a:c6_ú4_FX8c6æ >:5mà*a:Z:\Aú4_qXTc6æCl36%/.8Q='*>:587,9P%2'D+-%.A543m543@F36545&36L$4>o.1)

_qc4:ZBeYXTZ(_m?Z(1à*ý8e6Y*eH.1"2LÍe6_FX-:£?ý8ú#e6_F?_FX?Z(1à*ý8eYefP%23s$&5.1"2)4'*36"=$s.1"l.1I*S=)4'*)V.1"()&9O3R54)

=h(36)&$4'*>:"()^)&h(+-%.A)T½i%(>19ÍGH.A"MSm+Rh()4$&>:GV3R54)mù['*"s.8Q?365.AN:3>?5n'*"oL2'D)&$45&'DC2h($4'*>:"lûP9P'*I*I,Cl3

)43R54Q:3RLsL(h254'*"(Nm$4%23"(36=$t%2>:h(58fOP%23)4$&3T.1L(S?u#)4$-.1$43.1"/.AIDS=)&'D)t.A"()49;365&)n=h(3R)4$4'*>?"()t)&h(+-%

.1)8½^L(h(5&'D"2Nè. Q:365&SsI*>?"(NV0l3654'*>=L >1@P$4'*GV3:7l9P%/.A$^'D)^$&%(3.8Q?365.AN:30/3R54+636"=$-.1N:3K>1@P$4'*GV3

.1"r36GK0(I*>1S:363i'*)OC(h2)4S!oP%23n$&5.A"()4'*36"=$t.1"l.1I*S=)4'*)OL2360/3R"(L()^>:"r$4%23n'*"('*$&'.AI/)&$.A$43>A@$4%23

)4S=)&$436G 9P%(3R543T.A)T7l'*"VN:3R"(365.AI#7($4%23n)&$43T.AL(S?uv)&$.A$43p.A"/.1I*S=)4'*)PL(>=36)P"(>?$Tf

Ó<Ô&Ó<Ô j[mBÖ_[^[eLsÙ_aÞMÞ=ÚÞ*[eBsÝiÞrm![<× Úd(ÞLa^.]m!iÚdQPÚamBÝ.d(Ú,Þ

!#" $4%(3m.1Cl>1Q:3025436)&36"=$.1$&'*>:" >1@O)&'DGK0(I*3^Mh236h(36)87$4%(3R543m9P.1)t"2>:$t3RM02ID'*+6'*$iL('*)4$4'*"(+R$4'*>:"()

.1GK>:"(Nm+Rh()4$&>:GV3R54)Tf !#"$4365&GV)^>1@O$&%(3mGV>=L(3RIv7l$&%('*)GV3T.A"()t$&%/.1$.1I*I+6h()4$&>:GK3654)^9;36543

.1)&)4h(GK36L$4>rCl3oe6_qaT9(Ae_qY[-1ààDýrX-áTW=Y[ä81à*XTZ(_qfmP%(3R543VGr.8Sr%(>19O3RQ:365Cl3m)4'*$&h/.1$&'D>?"()^@F>?5

9P%('*+-%p$&%(365&3P'D).P"(3R36Lm$4>iL('*)4$4'*"(N?h('*)4%Cl36$#9;3636"mL('36543R"M$$#S=0l36)<>1@l+6h()4$&>:GK3654)8f,P%('*)'*)

$4%23"(>:$&'*>:"V>A@RàDAee6XRea8W?e_qa:æX8c-eO'*"V=h(3Rh(36'*"(Nm)4S=)&$436GK)Tf<!#"=$&54>=L(h(+6'*"(Nm$&%(3^"(>:$&'*>:"

>1@,+RI.A)4)&36)O>A@,+6h()&$4>:GK3654);.1I*I*>19P)h2)<$4>L2'D)&$4'*"(N?h('*)4%m+6h()&$4>?GV365&)O.1GK>:"(Ni3T.1+-%V>?$4%(3R5Tft)

@v.A5t.1)P)4'*GK0(I*3PMh236h(36)^.1543j+6>:"(+R3654"(3RL,7l$4%('*)PL('*)4$&'*"(+6$4'*>?"VGH.8S>=+6+6h(5^.1$;@F>?h(5PI*36Q:3RID)8½

p

.1545&'*Q:.1I<0(5&>=+636)4)8½m+6h()&$4>?GV365&)p>A@tL('ê365&36"=$p+RI.A)4)&36)pGr.8So%/.8Q?3mL('ê365&36"=$.A545&'DQ:.AI

(14)

p

)&3654Q='*+63V0254>=+636)&)T½+Rh()4$&>:GV3R54)>A@L('36543R"M$j+6I[.1)4)&36)GH.8SV%l.8Q:3L('ê365&36"=$)43R54Q='*+63

0(5&>=+636)4)&36)T7'vf3:f*7=L('36543R"M$iL('*)4$&54'*C(h($&'D>?"();>1@<)4365&Q='D+R3$4'*GV3R)<q

p

)&3654Q='*+63tL2'D)&+6'*0(I*'*"(3:½$&%(3n.AIDI*>=+T.A$4'*>:"^>1@$4%23P)4365&Q:365;GH.8S^Cl3PC/.1)&36Lm>:"m$&%(3P+6I[.1)&)436)87

3:fNlfD7?+6h()&$4>?GV365&)O>A@,+6I[.1)4)^¾PGr.8S%/.8Q:3ù0(543R36GV0($&'*Q:3P>:5;"(>?"=uv02543636GK0($4'*Q?3Tû0(5&'D>?5#u

'*$#Sm>1Q:3R5P+6h()4$&>:GK3654)i>1@+RI.A)4)tx2f

p

=h(36h23s+T.A0/.1+R'D$#S½ $4%23s$&>:$.AIt)&$4>:5-.1N?3.A543T. GH.8SCl3sL('*Q='*L(36L'*"=$4>'*"(L2'DQ='*L(h/.AI

)&$4>:5-.1N?3p.15&3T.1)@F>:5P3T.A+-%o+6I[.1)&)t>1@<+6h2)4$4>?GV365&)T72'D"r9P%('*+-%o+T.A)4338.1+-%o+6I[.1)&)t%/.A)t'*$4)

>19P"K/"('*$&3n+8.10/.A+6'*$#SVC(h=3658f

P@;+6>:h(5&)43:7l$&%(36)43L('365436"=$^5438.1)4>?"()i@F>:5P%l.8QM'*"(NL('365436"=$^+6I[.1)&)436)^>A@E+Rh()4$&>:GV3R54)PGH.8S

.10(0l3T.15ë->:'*"=$4I*S=f

!#" .rGmh2ID$&'*+6I[.1)4)^=h(36h236'*"(Ns)&S=)4$43RGs7<>?"(3V+8.1"L23-/"(3rCl>:$4%a:ä8XTc&1à[àé(XTcFRa:c6æ:Z(-X

éB?c4:æX8_FX8c-e<.1"(Lr6à*1e-e-ú4£:XéBX8Z(£?XTZ(_êéBX8cF6a?c6æp?Z(-X<0/.A5.AGV36$&3654)87:'*"m.t)&'*GV'*I[.15,9P.8Sp.A)@F>:5

)4'*"(N:I*3-u#+6I[.1)&)P=h(36h(36)8fOÒ2>:5<'*"()&$.A"(+63:729P'D$&%V5&36)40l36+6$i$4>$4%(3.8Q:3R5.1N?3t=h(36h23nI*36"2N:$4%7=>:"(3

GH.8SC/3'*"=$43R5436)&$436Lo'*"r+T.AID+Rh(I[.1$4'*"(Nj$4%(3p.8Q?365.AN:3i"Mh2GmC/365P>A@+6h2)4$4>?GV365&)P'*"V$4%23=h(36h(3

ù[543RNM.15&L(I*36)4)K>1@^$4%(36'*5m+6I[.A)4)43R)ûV.A"(L"oA>:5$4%(3o.8Q:3R5.1N?3r"Mh2GmC/365j>1@n+Rh()4$&>:GV3R54)m>1@^3T.1+-%

+6I[.1)4)i'*"V$4%23=h(36h(3:f

P%(365&3nGr.8S.A+6$4hl.1I*I*SmC/3^>:$&%(365;@F38.1$4h25436)P$&%/.1$P+T.A"rC/3^'*"(+6>?540l>:5.A$436Lr'*"=$4>$4%(3i@F>?5#u

GH.1I*'*)4G>A@)4'*GK0(I*3PMh236h(36)8fPu;36I*>197=9;3nL236)4+65&'*C/3)4>?GV3t>A@$&%(36Gsf

!$ (ò1òqö3 !#õ !õRñ=ò1öTAñ(õ1÷P!#"o)&>:GV3i543T.AI)4S=)4$&36GV)87(+6h()&$4>?GV365&)tL(>m"(>?$n.A5454'*Q?3

>:"(3r.1$.r$4'*GK3:7C(h($j'D" C/.A$4+-%(36)m.1"(LGo1>:5j+6h()4$&>:GK3654)p.A543m"(>?$)43R54Q:3RL>:"23H.1$.r$&'*GV3

C(h($P'*"VC/.A$4+-%(36)8f<P%('*)[email protected]$4h(5&3n+8.1"VCl3^'*"(+6>:5&0/>?5.A$436Lr'*"V=h(36h236'*"(NpGK>=L(36I*)Tf;>:"()&'*L(365

@F>:5i'D"2)4$.A"(+63m$&%(3p.15&54'*Q:.1I0(54>=+63R)4)TfP%(3jh()4h/.AI9.8Sr$4>K+-%/.15-.1+6$&3654'*63V. C/.1$&+%.15&54'*Q:.1I

0(54>=+636)&)t'*)<$&>+-%/.15-.1+6$&3654'*63^Cl>:$4%m$&%(3n.A545&'DQ:.AI('*"()4$-.1"=$4)b>1@,$4%23tC/.A$4+-%(36)P.1"(Lm$&%(3t)&'*63t>A@

$4%(3C/.1$&+-%(36)TfiP%(3+-%/.15-.1+6$&3654'*T.A$4'*>:"o>A@O$4%23p.15&54'*Q:.1I'D"2)4$.A"=$4)t>A@<$4%(3C/.1$&+-%(36)^+T.1"C/3

L(>:"(3P'*"$4%(3P)-.1GK3<9.8S.1)$4%/.A$>1@$4%(3t.A5454'*Q:.AIM'*"()&$.A"M$&)>1@'D"2L('*QM'*L(hl.1I:+Rh()4$&>:GV3R54)Tf<Ò2>:5

'D"2)4$.A"(+63:7'@O)4h2+6+636)&)4'*Q:3K'D"=$&365.A5454'*Q:.AI$&'*GV36)^.1543m.1)&)4h(GK36L $4>rC/3'#f'vfL,fi5.A"(L(>?GþQ:.15&'u

.1C(I*3:7$&%(3V+-%/.A5.1+R$4365&'D8.1$4'*>?"543RL(h(+636)K$4>o$&%(3V)&0/3R+6'/+T.1$&'*>:">A@t$4%(3K'*"M$&365.A545&'DQ:.AIO$&'*GV3

L('*)4$45&'*C(h($4'*>?",fVi)^@F>?5n$&%(3V)&'*63m>1@P$4%(3KC/.1$&+-%(36)T7'*$^'*)h()&h/.1I*I*Ss.1)&)4h(GK36L $4%/.A$'*$n'*)p.

5.1"2L(>:G Q:.A54'[.1C(I*3:fP%(3)4'*63R)>1@<)4h2+6+636)&)4'*Q:3mC/.A$4+-%(36)jGH.8SmCl3p+6>?545&36I[.1$43RL,fSt>19;36Q:3R5T7

'D$b'D)bN:36"(3R5.1I*I*Sm.1)4)&h(GV3RLp$&%/.1$<$&%(3tCl.1$4+-%m)&'DR36).A543i'vf'#fL,fl5.A"(L(>:GQ:.A54'[.1C(I*36)871'*"m9P%('*+-%

+T.1)&3m$4%(3C/.1$&+-%s)&'DR3m'D)i+-%/.15-.1+6$&3654'*636LJC=Sè. L('*)4+65&36$43KL('*)4$&54'*C(h($&'D>?",fmùFi>:$&3p$&%/.1$i$4%('*)

'D"2+6I*h(L(36)i$4%(3^+T.A)439P%(3R543$&%(3C/.A$4+-%r)4'*63^'*)P+6>:"()&$.A"M$8fyû

^î<õ&ólî$sïñ! !#õ6ïõA÷!#"$4%23H+8.1)43 >1@^=h(36h(36)r9P'*$4%)&36Q:365-.1I^+6I[.1)&)436)K>1@+6h()u

$4>:GK3654)P.1"2LV'*"V9P%('*+-%H.j+6>?GVGV>?"^/"('*$&3nC2h=ê3R5P'D);)4%l.1543RLHC=Sm$&%(3^L('ê365&36"=$P+6I[.1)&)436)P>A@

+6h()4$&>:GK3654)87/$&%(3^@F>?I*ID>19P'*"(NjC/36%l.8QM'*>?5P+T.1"oCl3>A@'*"=$4365&36)4$i@F>?5PGV>=L(36I*'*"(N5&3T.1I)4S=)&$436GK)T½

$4%(365&3r'D)m.r)&>1u#+T.1I*I*36LeqéB?_FY1àéêc6Y[a?c6Y[_qýp.AGV>:"2NH+Rh()4$&>:GV3R54))4>o$&%/.1$'@.+6h()&$4>:GK365>A@

%('*N:%V0254'*>:5&'D$#Sj/"(L2)O$&%(3t=h(36h23t@qh(I*I/h(0l>:"V.A545&'DQ:.AI#7:'*$<0(h2)4%(36)P>?h($;>1@,$4%23t=h(36h(3^>?"(3t>A@

$4%(3i+6h()4$&>:GK3654)>1@I*>19O3R50254'*>:5&'D$#S=71'@ê.A"MSKù[>:$&%(365&9P'D)&3t'*$'*)<I*>:)4$-û6fP%('*)éêW?e=ú4a:W=_2GV36+-%=u

.1"('*)4G +T.1" Cl3p)&0/36+R'l36LC=So5.A"(k='D"2NV$4%23pL('36543R"M$j+6I[.1)4)&36)>A@O+6h()&$4>:GK3654).A+6+6>:5&L('*"(N

(15)

Ó<Ô&Ó<Ô ÛÝtÚ,ÝiÚ,Ö_^J`MÚmB[d6PÞ

"/.A$4h(5-.1ItN?36"(365-.1I*'*T.1$&'*>:">A@)4'*GV0(I*3m=h(36h236)V'*)m$4>+R>:"()&'DL2365V"(3R$#9O>?54k=)m>1@=h(36h(3R)T7

543@F36545&36L$4>s.A)Vá8WMX8W=XTYZ:\Z(X8_F`ba:c4dAe6fV=h(3Rh(36'*"(N "(36$#9;>:54k +6>?"()4'*)4$&)p>A@.è)436$>1@0

=h(36h(3R)p.1I*)4>K543-@q36545&36L$4>o.1)je6_F?_FY[a?Z=e6få<.1+-% )4$-.1$4'*>?"s+6>?"()4'*)&$4)^>1@. =h(36h(3V.A"(Ls.m)&36$

>1@^)4365&Q:365&)sù36'*$4%(365K)4'*"(N?ID3uv)&3654Q?365T7;Gmh(I*$4'*0(I*3-u#)43R54Q:3R5T7>:5m'*"=l"('*$43-u#)4365&Q:365-û6fP%(3rh()&h/.1I

.1)&)4h(GK0($4'*>?"p'*)<$&%/.1$O.AI*I(=h(36h(36);%/.8Q?3P'D"B/"('*$43P+T.A0/.1+R'D$#S=fP%(3t+-%/.A5.1+R$4365&'D8.1$4'*>?"m>1@,$4%23

)43R54Q='*+63^L('*)4+6'*0(I*'*"(36)O.A"(L$4%(3i)4365&QM'*+63^0(5&>=+636)4)&36)t.1$b3T.1+-%V)&$.A$4'*>:"'*)<$4%(3i).AGV3P.1)<'*"m$4%23

+T.A)43>1@<)4'*"(N?ID3^=h(36h236)TfiP%(365&3.A543$#9;>mC/.1)&'*+$#S=0/36)i>1@<=h(36h(3R'D"2NV"(36$#9;>:5&k=)T7l"/.1GK36I*S

a-é(X8Zsá8W=XTW=X8Y[Z:\rZ(X8_F`ba:c4dAeO.1"(LRàDaAeX-£KáTW=X8WMX8Y[Z:\rZ2XT_q`<a:c&d1e6f

H bñlîñMîñ3g*ñ3$&ólòX,õA÷H!#".A"s>?0/36"=h(3Rh(36'*"(No"(3R$#9O>?54k7,+Rh()4$&>:GV3R54)p.A5454'*Q?3

@F5&>:G>:h($&)4'*L(3t.A+6+6>:5&L('*"(N$4>p.^N?'*Q:36"m.15&54'*Q:.1I(0254>=+636)&)t.1"(LmQ='*)4'*$O.^)&36$;>1@,)4$-.1$&'D>?"()O. @F$4365

9P%('*+-%o$4%236SrID38.8Q:3^$4%(3j)4S=)4$&36Gsf;P%(3+-%/.A5.A+6$4365&'*T.1$&'D>?"s>A@$&%(3.A545&'DQ:.AI0(54>=+63R)4)^'*)t$4%23

).AGV3m.1)^'*"s$&%(3m+T.A)43m>1@;)4'*"(N:I*3=h(36h(36)8fVP%23.AL(L('*$4'*>:"l.1I@F3T.A$4h(5&3m$4%/.A$n"23636L()$4>rCl3

)40l36+6'/3RLo'*)P$4%(3mc4a?W=_FY[Z?\t>A@$&%(3^+6h()4$&>:GK3654)87='vf3:f*7?%(>19+6h2)4$4>?GV365&)P$45-.8Q:36I$&%(54>?h(N:%r$4%23

"(36$#9;>:5&kfPr>?5430(5&36+6'*)43RIDS=7(9P%l.1$P%/.A)P$4>mCl3n)&0/3R+6'/36L 'D)8½P¾Tû;9P%('*+-%r)4$-.1$4'*>?"H'*),ë->?'*"(36L

C=Ss.K+6h()&$4>:GK365.15&54'*Q='D"2NV$4>r$&%(3m)4S=)4$&36GBq.1"(Lx:ûih(0l>:" +6>:GK0(I*36$4'*>?"o>1@O)&3654Q='*+63r.1$.

)4$-.1$&'D>?",79P%(3R$4%(365$4%23m+6h()4$&>:GK365^ID38.8Q:36)^$4%23m)4S=)4$&36G >:5<ë->:'*"().A"(>:$&%(365^)4$-.1$4'*>?",7.A"(L

9P%('*+-%V>?"(3:fP%(3^54>?h($4'*"(N'*)Oh2)4h/.AIDI*S+-%/.15-.1+6$&3654'*636L'D"r.0254>:Cl.1C('*I*'*)4$4'*+P9P.8SMfP%/.A$O'*)T7

$4%23P)4$.A$4'*>:"Pë->?'D"236LC=Sp.i"(369+6h()&$4>?GV365'*)+%2>:)43R"V.1+6+6>?54L('*"(N^$&>¼.iN?'DQ?36"L('*)&$454'*C(h2$4'*>:",f

='*GV'*I[.15&I*SM7R$4%(3i)4$.A$4'*>:"m$&%/.1$;.^+6h()&$4>:GK365/ë->?'*"()O.8@q$4365<)&3654Q='*+63^+6>?GV0(I*36$&'D>?".A$O.^)&$.1$&'*>:"

'*)t+-%(>?)436".A+6+6>:5&L('*"(NV$&>H. N:'*Q:36"L('*)4$45&'*C(h($4'*>?",fPP%(36)&3mL('*)4$&54'*C(h($&'D>?"()t+8.1"o'*"oN?36"(365-.1I

Cl3s+6>?545&36I[.1$43RL,7^3:fN/f $4%(3 54>?h($4'*"(NJ>1@. +6h()&$4>:GK365V+R>:GV'*"(N>?h($V>A@.)&$.A$4'*>:"Gr.8S

L(360l36"(L >:"r$&%(354>?h($4'*"(Nm>A@<0(5436Q='*>:h2)P+6h()4$&>:GK3654)^.1$P$4%2'D)i)4$-.1$4'*>?"è.A"(L"oA>:5P>:"r'*$4)P0l.1)4$

54>?h($4'*"(N$4%254>:h2N:%V$&%(3^"(36$#9;>:5&kêfSi>19O3RQ:36587/.jh()4h/.AIê.A)4)&h(GV0($&'*>:"m'*)P$4%/.A$O5&>:h($&'*"(N:)P.15&3

h("(+R>:545&36I[.1$&36L,f!#"J$4%('*)+T.1)&3:7<$&%(3V5&>:h($&'D"2No+T.1"JC/3r+-%/.A5.1+R$4365&'DR36LCMS$&%(3m@q>:I*I*>19P'D"2N

0(5&>:C/.AC('*ID'*$&'D3R)T½| ¡t'*)<$&%(3t0(5&>:C/.AC('*I*'D$#Sj$4%/.A$<h(0l>:"V.15&54'*Q:.1I2$4>$&%(3t)&SM)&$436G 7:.^+6h2)4$4>?GV365

ë->?'D"2),=h(36h(3£¢(7¢(K ¾r7;=;A;=79q&&¤ ¡;'*)$4%(3;0(54>?C/.1C2'DI*'*$#St$&%/.1$.8@F$&365+6>:GK0(I*36$4'*>?"n.1$)&$.1$&'*>:"

E&7"EK ¾r7;=;=;A797:.j+6h()&$4>:GK365,ë->?'D"2)PMh236h(3.¢B7¥¢HKj¦67T¾@7<;=;=;=7789P%(36543¦54360(5&36)43R"M$&)$4%23

>:h2$4)4'*L(3^9;>:5&IDL7:'#f3:f*7|¤ P'*);$4%(3^0(5&>:C/.AC('*ID'*$#S>1@ID38.8QM'*"(Nj$4%(3^)4S=)&$436G .8@F$&365;+6>:GK0(I*36$4'*>:"

.1$)4$-.1$&'D>?"UE&fP%(3KGH.1$&54'**Wo79P%(>?)43r+6>:GK0/>?"(36"=$4)m.15&3V$&%(3r54>:h2$4'*"(No0(5&>:C/.AC('*I*'D$&'*36)

¤ ¡ 7GEK§¦!78¾r;=;=;A79 .1"2L¨¢Kj¦67T¾@7<;=;=;=7>78'*)P543@F36545&36L $4>V.1)P$&%(3mc4a?WM_qY[Z:\Kæ:_qc6Y¢i>1@<$4%23

>:0l36"r=h(36h(3R'D"2Np"(3R$#9O>?54kft"K36(.1GV02ID3;>1@<.1"m>?0/36"r=h(36h236'*"(Np"236$#9O>?54km+6>?"()4'*)&$4'*"(N>1@

GV>?543i$4%/.A"H>?"(+63:f

P%(3i54>?h($4'*"(N'*"m=h(36h236'*"(N"(36$#9;>:5&k=)ON?'DQ?36);54'*)43i$4>$#9;>GV3R+%l.1"('*)4GK)+T.1I*I*36LoæXTcq\1ú

Y[Z:\j.1"(L eqé/à*Y[_F_qY[Z:\¼>1@+Rh()4$&>:GV3R5«ª/>19P)T7l.1I*)4>+T.1I*I*36L e6WRéBX8cqé(a1e6Y[_qY[a:Zm.1"2L£?X-a?æPé(a1e6Y[_qY[a?Z

>1@«ª/>19P)87,5&36)40l36+6$&'DQ?36I*SMfLè3654N?'D"2NH>=+6+Rh(54)9P%(36")&36Q:365-.1IP)&$.1$&'*>:"()i@F363RL .K)4'*"(N?ID3)4$-.8u

$4'*>?",7:)-.8SRE&fP%(3P'*"(0(h2$ª/>19>1@)4$-.1$4'*>?"¨E,'*)<$&%(36"K$4%(3P)&h(0/3R540l>:)4'*$&'D>?"V>A@,$4%(3i'D"2+6>:GK'D"2N

ª/>19P)^@q54>:G $&%(3@F363RL('*"(No)4$-.1$&'D>?"()Tfl=0(I*'*$4$4'*"(NK>=+6+6h(5&)p9P%(3R".V)&'*"(N:I*3)4$.A$4'*>:"7).8SD¢(7

@F363RL()t)&36Q:365-.1I)4$-.1$&'D>?"()TfP%23n>?h($4N?>:'*"(Nyª/>19P)P$4>$4%23L('ê3R5436"=$t)&$.A$4'*>:"()t.A543^$4%236"o$4%23

L(36+R>:GV0l>:)&'*$4'*>:"K>1@$&%(3>?h($40(h2$«ª/>19>1@)4$-.1$4'*>?"¨¢(fP%('*)P'*)P'*IDI*h()&$45-.1$43RLH'*"rÒ,'*N?h(543m¾:f12f

Í$&>:0l>:I*>:N?Sm>1@0l.154$&'*+6h(I[.15P'*"=$4365&36)4$i'*)P$4%/.A$t>1@P_F?Z(£:X8æ Mh236h(36'*"(Nm"(3R$#9O>?54k=)Tf;!#"o.

$.A"(L(36G =h(3Rh(36'*"(NV"236$#9O>?54k7.1I*I,+Rh()4$&>:GV3R54)tQ='*)4'*$i)4$.A$4'*>:"¾?7/$&%(36"o)&$.A$4'*>:"sx27.1"(Lr)4>

(16)

. .

.

1

2

3 4 r _0,1

r _0,2

r _1,3

r _2,3

r _2,4

r _3,0

r _4,0

r _4,2

. .

.

Ò,'*N?h(543m¾:fyx2½,!#I*I*h()4$&5.A$4'*>:"K>[email protected]"r>:0l36"rMh236h(36'*"(Nm"(3R$#9O>?54k

.

merging splitting

.

Ò'*N:h2543m¾:f1(½!#I*I*h()4$&5.1$&'*>:"V>A@$&%(3GV3R54N:'*"(N.1"(Lr)402ID'*$&$4'*"(NGV36+-%/.A"('*)4GV)

!#"o.=h(36h236'*"(Nm"(36$#9;>:5&kê72$4%(3R543p.A543^$#9O>mk='*"(L()P>A@0l365#@q>:54Gr.1"(+R3n0l.15.AGV36$&3654);$4%l.1$

.1543m>A@O'*"=$4365&36)4$87,"/.AGV36I*SàDa8AàO:Z2£V\1à*a:â-1àéBX8cF6a?c6æp?Z(-XiéB?c4?æpX8_FX8c-e6fP%236Ss.15&3pL23-u

/"(36LoCl36I*>19f

¬<ó# !« <ñ=ò8ô4ó/ò1ï* !Añ¨ (ò (ïñ3$8ñMò:õ#

p

.8Q?365.AN:3P543R)40l>:"()&3n$&'*GV3P.1$<.^)4$-.1$&'D>?",½.8Q:365-.1N:3P$&'*GV3O.^+Rh()4$&>:GV3R5<)40l36"(L()P.1$b$4%(3

)&$.1$&'*>:"ù[0l365tQ='*)4'*$-û&q

p

.8Q?365.AN:39.A'D$&'*"(NV$&'DGK3.1$.K)4$.A$4'*>:"½t.8Q:365-.1N?3p$&'DGK3p.m+Rh()4$&>:GV3R5n9P.1'*$&)nCl3-@F>?543

N?36$4$&'D"2NV.1+6+63R)4)^$4>>:"(3^>A@E$&%(3^)4365&Q:365&)mù[0l365tQ='*)4'*$û|q

p

.8Q?365.AN:3Mh236h(3mI*36"(N?$4%.1$n.K)&$.1$&'*>:",½t.8Q?365.AN:3"=h(GmC/3R5t>1@P+6h()&$4>?GV365&)n025436)&36"=$

.A$P$4%(3^)4$-.1$&'D>?"q

p

$&%(54>?h(N:%(02h($P>1@.j)4$-.1$4'*>?",½<.8Q:365-.1N?3t"=h(GmCl365O>A@,+6h()&$4>:GK3654)PI*3T.8Q='*"(N$&%(3^)4$-.1$4'*>?"

0l365th2"('*$P>1@$&'*GV3rq

p

h($&'*ID'*T.A$4'*>:">A@n$&%(3r)4365&Q:365&)è.A$. )&$.A$4'*>:",½r.8Q:3R5.1N?3V0l3654+R36"=$.1N?3s>A@n$&'DGK3m3T.1+-%

)&3654Q?365^'D);C(h()&Sr)4365&QM'*"(Nm+Rh()4$&>:GV3R54)Tf

®¨qó/ð ! <ñ=ò8ô4ólò1ï* !1ñ¨ (ò 2ïñ$8ñ=ò:õ

p

.8Q?365.AN:3^)4S=)4$&36G $4'*GK3:½,.8Q:3R5.1N?3^$4'*GV3^.+6h2)4$4>?GV365P)&0/3R"(L()^'*"V$4%23)4S=)4$&36GBq

p

.8Q?365.AN:3m)4S=)&$436G 0l>:0(h(I[.A$4'*>:",½^.8Q:3R5.1N?3p"=h(GmCl365^>1@;+6h()4$&>:GK3654)025436)&36"=$p'*" $4%(3

Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques

Arrival process

Queue Server(s)

Departure process

. .

.

1

2

3

4 r 0,1

r 0,2

r 1,3

r 2,3

r 2,4

r 3,0

r 4,0

r 4,2

. .

.

.