TIME_WAIT FIN (x, y)

ACK (y, x+1)

FIN (y, x+1)

ACK (x+1, y+1)

TCP Entity 1 TCP Entity 2

CLOSED

465879;B<?>@5BA<?CEAKC 5=DC

ESTABLISHED (close)

(close) FIN_WAIT_1

FIN_WAIT_1

CLOSING ESTABLISHED

CLOSED CLOSED

TIME_WAIT FIN (y, x)

TIME_WAIT FIN (x, y)

ACK (y+1, x+1) ACK (x+1, y+1)

CLOSING

TCP Entity 1 TCP Entity 2

4IQ7R(JK>TS!AKFH5=OUCE;BSUD<?C ALCE5BDC

äæù ^ßpÞeP $3ޚâpâŠàùxÞ%âaÞ ^ޚá„ëNޚâ’þ>åxß{Ü{çê ëNåá[á^ޚëNèŠäæåáÈߊޚéÃޚàxâaÞ

èŠÝ^ÞëNåá[á^ޚëNèŠäæåá

ö@åá2ߊޚëNޚäæö„è†åxþjèŠÝ„ÞR%TB âaÞ¿ùãÙޚáLè¿ò„Ü{çêޚáLèŠäÃè¥ü '<ޚáèaÞ¿ßpâèŠÝ^Þ0Ü7% $ %sÜ âaèŠàèaÞ%àxá„ø2ߊޚâaö@åá„ø„â

èaå%èŠÝ^Þ% B {äæèŠÝÙàxá ’ç âaÞ¿ùãޚáè†èŠÝ„àè°Ý„àxâÄâaÞM „Þšá„ëNÞ{á „ã%ýVÞ¿ßg÷*E'’àxá„øÉàxëNCá^å*’éæޚø^ùxޚãÙޚáLèáM [ã8ý@Þ¿ß

ü*E' Ý^ޚá Ü{çê ޚáLèŠäæèˆü óߊޚëNޚäæúxޚâ/èŠÝ^Þ ’ç&þPߊåã Ü{çê ޚáLèŠäÃè¥ü 'òäæèÈޚáèaÞ¿ßpâç32dS ", þPߊåã

2FR"IÜ ’ç ^Ü{çêޚáèŠäæèˆü '<ߊޚãÙàxäÃá[âÄäÃá2Ü7% $< %sÜþPåx߆è ÄåÙãÉà÷IäÃã9 „ãâaÞ¿ùãޚáèéÃäæþPÞ¿èŠäÃãޚâ‹ì3$I"2±î

ý@Þ¿þPåxߊޒޚáèaÞ¿ßpäÃá^ùÉç32dS ", ;CÜÝ^Þe$I"2 äÃâ°èŠÝ„Þ<éæåá„ùxޚâaèèŠäÃãÞ<èŠÝ„àèà%âaÞ¿ùãÙޚáLèë¿àxá2ÞN÷^äÃâaèäÃáÉèŠÝ„Þf%áèaÞ¿ßpá^Þ¿è

ìíàý@å ^è’óãÉäÃáM „èaޚâ-î)

%sèäÃâö@åâŠâŠäÃý[éæÞ<þ>åxßޚàxë-Ý/ޚá„ø¹åxþàÙÜ{çêÇëNåá„á^ޚëNèŠäæåá3èaåÙèaÞ¿ßpãÙäÃá[àèaÞ0èŠÝ^ÞëNåá„á^ޚëNèŠäæåá U)W6XEZ[(\-]^G_`ZU)[aò

àxâ‹âŠÝ^å*’á5äÃáI±äÃùGP(ìPýVî)Ü<çê ޚáLèŠäÃè¥ü '!ߊޚëNޚäÃúxޚâ0à [(`U2_ÉëNåãÙãÙàxá„øqþPߊåã äæèŠâR „âa޿ߋàxá„ø5âaޚá„ø„â<å ^è0à

%TB âaÞ¿ùãޚáèH’äÃèŠÝ2âŠÞM ^ޚá[ëNÞáM „ã%ý@޿߆÷2àxá„øÈàxëNCá^å*’éæޚø^ùxޚãÙޚáLè’á „ã%ý@޿߆ü ÄÞ¿þPåxߊÞ0èŠÝ^Þ %TB àߊß-äæúxޚâ¿ò

Ü{çêޚáèŠäæèˆü2ó%ߊޚëNޚäæúxޚâà 2[` U_0þPߊåã äæèŠâ „âaÞ¿ßàxá„ø¹âaޚá„ø[â°å ^èàE% B ’äæèŠÝ2àxëJNIá^åc{éæޚø^ùxޚãޚáèáM [ã8ý@Þ¿ß

÷gM{þPèaÞ¿ß9Ü<çê ޚáèŠäæèˆü'2âaޚá„ø„â!äæèŠâ9L%TB àxá„øäæþÜ{çê ޚáèŠäæèˆüGóø^åÞšâ9á^åxè9âaޚá„øGø„àèŠàIò´èŠÝ^ޚáGèŠÝ^ÞV% B

âaޚáè‹ýüÜ{çê ޚáèŠäæè¥ü ó2݄àxâ‹âaÞM „Þšá„ëNÞáM „ã%ý@޿ߋüxòvàxâ0âŠÝ^åc{áqäÿá/èŠÝ^ÞE„ù „ßŠÞ ’þPèaÞ¿ß0ߊޚëNޚäæúIäÃá^ù2èŠÝ^Þ % B

þPߊåã èŠÝ„ÞåxèŠÝ^޿߆ޚá„øJòLޚàxë-ÝÍÜ<çêDޚáèŠäæèˆüÙâaޚá„ø„â°å ^èÄàxá’ç àxá„øÍëp݄àxá„ùxޚâ†âŠèŠàèaÞ{þPߊåã %TB %Ü '’èaå

ç32dS "%TB E †Þšë¿à „âaÞ0èŠÝ„ÞR%TB ëNåá„â „ãޚâåá^Þ0âaÞ ^ޚá„ëNÞá „ã%ýV޿ߢòèŠÝ^Þ0âaÞ ^ޚá„ëNÞ0á „ã%ýVÞ¿ßåxþjèŠÝ^ޒç

äÃâ‹èŠÝ„ÞÙâaÞM „Þšá„ëNÞÙáM [ã8ý@Þ¿ß0åxþ†èŠÝ^Þ:% B þ>ßpåã èŠÝ^ÞÙâŠàxãÞÙâpäÃø^Þ9ö[é> „âE'ÙÜ݄ÞÙàxëJNIá^åc’éÃޚø^ùxޚãޚáè8áM [ã8ý@Þ¿ß

åxþ†èŠÝ^Þ ’ç äÃâ‹èŠÝ^ÞÉâaÞ ^ޚá„ëNÞÍáM „ã%ý@Þ¿ß0åxþèŠÝ^Þ:% BþPߊåã èŠÝ^ÞåxèŠÝ^Þ¿ß!âŠäÃø^Þ9ö[é „â ' †åxèŠÝDÜ{çê°â‹ÞšáèaÞ¿ß

âaèŠàèaÞ2Ü7% $< %Ü åáDߊޚëNޚäæö„è8åxþ†èŠÝ„Þ’ç þ>ߊåãèŠÝ^ÞÙåxèŠÝ^Þ¿ß9âŠäÃø„Þxòjàxá„øDùxå/èaå5çN2S ", àþ>èaÞ¿ß!è8†å

ãÙà÷^äÃã9 „ã âaÞ¿ùãޚáè’éÃäÃþ>Þ¿èŠäÃãÙޚâ2

†Ô)°× ֒Õ

ê°ßŠÞ¿úCäÃå „â7†åxßJNÈåá/ãåIø^ޚéÃéÿäÃá^ùÜ{çê ç†åá„á^ޚëNèŠäÃåá $àxá„àùxޚãޚáè<äÃâ{ãÙàxäÃá„éÃü2ëNåáká^ޚøÈèaå2èŠÝ^Þ_5UQ\-]Q[WYU* "#

X _Q^.\ö„ߊåIëNޚø ^ߊÞÜÝ^Þ!ãåIø^ޚéÃéÃäÃá„ù!åxþ´èŠÝ„Þ8ߊޚéæޚàxâŠÞ8ö„ߊåIëNޚø ^ßpÞ8äÃâޚäÃèŠÝ^޿ߒùxߊޚàèŠéÃü3âŠäÃãö[éÿä„Þšø2åxß{åãÉäæèaèaޚø

þPߊåã ãåâŠè8äÃáúxޚâaèŠäæùàèŠäæåá„â {éÿãåâaèàxéÃéèŠÝ^ÞÉö„ߊ޿úIäæå „âR†åxßJN äÃâ‹ý[àxâaޚøDåá ޚàßpéæüqúxÞ¿ßpâŠäæåá[â0åxþÜ{çê±òJèaå

’Ý[äÃëpÝÍëNåáLèŠäÃá „äÃá„ù%ëpÝ[àxá^ùxޚâ ÄÞ¿ßpÞ<ãÙàxø„ÞgÜÝ^Þ<å Éë¿äÃàxéVÜ{çêâaö@ޚë¿ä[ë¿àèŠäæåá5ïñðCò¥óxôõväÃâ†á^åxè†ÞšéÃékÞN÷IàxãÉäÃá^ޚø

äÃá¹èaÞ¿ß-ãÙâåxþ±þ6 „á[ëNèŠäæåá„àxéJëNåxߊߊޚëNèŠá„ÞšâŠâ2

%áÙèŠÝ„ÞšäæßÄökäæåá^Þ¿Þ¿ßpäÃá„ù ÄåxßNåáÉúxÞ¿ßpäÃþ>üIäÃá^ù8Ü<çêëNåá„á^ޚëNèŠäæåá¹ãÙàxá„àùxޚãÙޚáLè¿òO", „á[âŠÝ„äÃá^Þàxá[ø ‹àxéÃàxé´ïñð Põ

àxø„ø„ߊޚâŠâ{èŠÝ^Þø^ޚâŠäæùá5äÃâŠâ ^ޚâ’åxþÄޚàßpéæü3úxÞ¿ß-âŠäæåá„âï+¢õgåxþ†Ü{çê±ò.{݄äÃëpÝ àxâ0âaèŠäÃéÃéjÞ¿úxåéæúIäÃá^ù¹àè0èŠÝ„àè‹èŠäÃãÞ

Ü݄޿ü!ëNåá„øO „ëNèaޚøÙäÃá^þPåxßpãÙàxé^ë¿àxâŠÞ’âaèJ „ø„äÃޚâ’ìíãÙàxá „àxéàxéN 4 èŠÝ„ߊå ^ùÝåxþ@èŠÝ^ޒâŠÞM ^ޚá[ëNޚâ-î±èaå8äÃáúxޚâaèŠäæùàèaÞ{èŠÝ^Þ

þ! „á„ëNèŠäæåá[àxéý@ޚ݄àšúIäæå ^ßÙåxþÜ<çêHDâÙëNåá[á^ޚëNèŠäæåá ޚâaèŠàý[éÃäÃâp݄ãޚáèÙö„ߊåIëNޚø ^ߊޚâ {åc†Þ¿úx޿ߚò’âŠäÿã; „éÃèŠàxá^Þ¿å „â

åxö@ޚá„äÃá„ùåxþgëNåá„á^ޚëNèŠäæåá„â{äÃâ’á„åxè{àxø„ø^ßpޚâŠâaޚø/äÿáDïñð PõòJá^åxߒèŠÝ^Þ%åxßpø^Þ¿ßpéÃüÍߊޚéÃޚàxâaÞ8ö„ßpåCëNޚø „ߊÞÜ݄äÃââpäæùá„ä4

ë¿àxáèŠéæü¹âŠäÃãö[éÿä„ÞšâÄèŠÝ^Þ8âaèJ „ø„üÍåxþÜ{çê ëNåá„á^ޚëNèŠäæåáãÙàxá„àùxޚãޚáè2 ", [á„âŠÝ„äÃá„Þ<àxá„ø <àxéÿàxé°ïñð PõjޚáúCäÿâŠàùxޚø

ߊޚëNޚäÃúCäÃá„ù9à" RB;

0 ^ߊåâaÞ5àxá„ø gޚãÙäÃá„äï('šôõ8âaö@ޚë¿äæþPüèŠÝ^Þ ëNåá„á^ޚëNèŠäÃåá ޚâaèŠàý[éÃäÃâp݄ãޚáèÍö„ßpåxèaåCëNåé‹ý[àxâŠÞšø åá àxá„åxèŠÝ^Þ¿ß

úxÞ¿ßpâpäæåá ïñó/õ0åxþ8Ü<çêÄÜÝ^Þ¿ü åá„éæüëNåá„âŠäÃø„Þ¿ßÍèŠÝ^Þ5ë¿éÃäæޚáèT4¥âa޿ߊúxÞ¿ßÈâŠäÃèJ „àèŠäæåáàxá„ø âŠöVޚë¿äÃþ>üèŠÝ^Þqö„ߊåxèaåIëNåé

„âpäÃá^ù9àÙê R"„ç2 4¥éÃäNxÞéÃàxá^ù [àùxÞ

%áï('õò2ÆäÃáqâaö@ޚë¿ä„Þšâ{à2ëNåá[á^ޚëNèŠäæåáqޚâaèŠàý[éÃäÿâŠÝ„ãޚáè’ö„ßpåxèaåCëNåéïñð P^òað¢õ „âŠäÃá„ù:[á„äæèaÞ!âaèŠàèaÞãÙàxëpÝ[äÃá^Þ

àxá„øÙúxÞ¿ßpä„Þšâ´èŠÝ„Þ{ëNåá„á^ޚëNèŠäÃåá:’äÃéÿéý@ÞÞ¿úxޚáèJ „àxéÃéÃü!ޚâŠèŠàý[éÃäÃâŠÝ„Þšø9èŠÝ^ߊå ^ùÝÙéÃåxùäÃë¿àxé[ø^ޚøO „ëNèŠäæåá’ùàxäÿáJòLåá„éÃü

èŠÝ^ÞÙë¿éÿäæޚáLèT4¥âŠÞ¿ßŠúxÞ¿ß%ëNåá„á„ÞšëNèŠäæåá(äÃâ‹ÞN÷^àxãÙäÃá^ޚø %sá(àxø[ø„äæèŠäæåáJòJèŠÝ„ÞýVޚÝ[àšúIäæå ^ß0åxþèŠÝ^ÞÙÜ{çê âa޿ߊúxÞ¿ß8äÿâá^åxè

ëNåxߊßpޚëNèŠéæü2âŠöVޚë¿ä>„ÞšøÈàxâ’äæèø„åÞšâá„åxèùxåÙèŠÝ^ߊå ^ùÝ3èŠÝ^Þ 2 %J"IÜHB âaèŠàèaÞ

$/ޚÝ^ߊö@å ^ß´àxá„ø 8àߊý@åc’äÃàN2ïñóxóõkãåIø^ޚé^àxá„øàxá„àxéæüIâaÞàxáޚàßpéÃü%àxá„øâŠäÿãö[éÃä[ޚøúxÞ¿ßpâŠäÃåá3ïñðxðõ[åxþVÜ<çê

„âpäÃá^ù Bf „ãÞ¿ßpäÿë¿àxéjê±Þ¿èaßpäB’Þ¿èŠâÙïñð+õ-ܒÝ^Þ¿ü3ãåIø^ޚéjÜ<çê âaÞ¿ùãޚáèŠâ‹ýü3èŠÝ„Þšäæß<á[àxãޚâf’äæèŠÝ^å ^è<âaÞ ^ޚá„ëNÞ

àxá„øDàxëJNIá^åc’éÃޚø^ùxޚãޚáè%á „ã8ý@Þ¿ßp⠒ޚá[ëNÞxòjèŠÝ^ÞÍãåCø„Þšé´äÃâá^åxèö[ߊޚë¿äÃâaÞ ’äÃèŠÝ èŠÝ^ޚâaÞÉäÿãö@åxߊèŠàxáLèø„Þ¿èŠàxäÃéÃâ

ãÙäÿâŠâŠäÃá^ù<éÃâaåèŠÝ^Þ8ãÙåCø^ޚéJäÿâäÃá„ëNåãö[éÃÞ¿èaÞäÃá¹èŠÝ„àè’á^åá„Þ0åxþ±èŠÝ„ÞàßpëäÃá„âpëNßpäæö„èŠäæåá[âÄàߊÞ8ùäæúxޚá

%áïñóxðCò¼ó PõòO$ ^ߊö[ݏü!àxá[ø"I݄àxáNà߆âaö@ޚë¿ä„Þšâgà8èaßpàxá„âaö@åxߊègö[ߊåxèaåCëNåé. „âŠäÃá„ùà8âaèŠàèaÞ<èaßpàxá„âŠäÃèŠäæåáÙãåIø^ޚé

àxá„ø2äÃáúàß-äÃàxáLèàxá„øÍö„ߊåxùxߊޚâpâ†àxâpâa޿ߊèŠäæåá„âgÜÝ^Þ<ö„ߊåxèaåIëNåéVäÿâÄâŠäÿãÙäÃéÃàßÄèaå9Ü<çêGåá„éæüÉäÃá2ëNåá„á^ޚëNèŠäÃåáÍޚâŠèŠàý4

éÃäÿâŠÝ„ãޚáèÄö[ߊåCëNޚøO ^ߊޚâ2

"^ãÙäæèŠÝ¹ïñð,'ò>ðxóõ[âaö@ޚë¿ä„ÞšâÜ{çê(ç†åá[á^ޚëNèŠäæåá $/àxá[àùxޚãޚáLè „âŠäÃá^ù{èŠÝ^Þ 6M_2^G_$ ][\!W6X:_*(E]Z\-`X:]\-`^(ïñóûõ

àxá„ø(þ>åéÃéÃåc’âà3ö[݄àxâaÞQ4ý[àxâŠÞšøDàö„ö„ßpåàxëpÝJò’Ý„äÃë-Ý(äÃâø[äRVÞ¿ßpޚáLè0þPߊåã èŠÝ^ކà¢ü Ü{çê äÃââaö@ޚë¿ä„Þšø

äÿáÇïñóxôõ-ÜÝ[äÃâãÙàNxޚâ0äæè<ø„äÉë2 [éæèèaå2úàxéÃäÿø„àèaÞ%èŠÝ[äÃâ’ãåIø^ޚé±àùàxäÃá„âaè<èŠÝ^Þ!å Éë¿äÃàxé±Ü{çê âaö@ޚë¿ä[ë¿àèŠäÃåá<⠆ޚéÃé±àxâ

ÞN÷^ë¿é> „ø„äÿá^ùÉâŠäÃã9 „éæèŠàxá„Þ¿å „â’åxö@ޚá„äÿá^ùÉåxþ†ëNåá„á^ޚëNèŠäæåá„â‹àxá„ø „âŠÞ¿ß‹àý@åxߊèŠâšò "^ãÙäæèŠÝDâ<âaö@ޚë¿ä[ë¿àèŠäæåá5ø^åCޚâ‹á^åxè

àxø„ø„ߊޚâŠâjèŠÝ^ÞÄþPåéÃéæå*’äÃá^ù<ø^Þ¿èŠàxäÃéÃâjèŠÝ„àè´àߊކö[àߊè±åxþ[Ü{çêDâ±þ6 „á[ëNèŠäæåá„àxéý@ޚ݄à¢úCäÃå ^ß±àxá[ø!ë¿àxá9݄à¢úxÞàxá!äÿãö[àxëNè

åáGäæèŠâ!éæåxùäÃë¿àxé°ëNåxßpߊޚëNèŠá^ޚâŠâqìT'¢î0èŠÝ^Þ2ߊޚéæޚàxâŠÞÉåxþ’àqëNåá„á^ޚëNèŠäæåáGäÃáàxáLüDâŠèŠàèaÞ¹äÿá„ë¿é> „ø„äÿá^ù<" RB ç#" !ò

ì¼óî<ޚáèaÞ¿ßpäÃá„ù3Ü7%T$ M %Ü þ>ßpåã %B %sÜ ' ^ö@åá5ߊޚëNޚäæúIäÃá^ùÈà%TB ’ç âaÞ¿ùãޚáè¿òjàxâ%âaö@ޚë¿ä„Þšø

äÃá jç ''šóxó ïñðõ òvàxá„øì¼ðî{âaèŠàèaÞ9úàß-äÃàý[éæÞ ",B B ìíâaޚá[øåéÿø^ޚâaèR „á„àxëJNIá^å*’éæޚø^ùxޚøqáM [ã8ý@Þ¿ßQîèŠÝ„àè

äÃâ7 [âaޚøÈèaåÉë-Ý^ޚëJN’Ý„Þ¿èŠÝ^Þ¿ßàxá ’çäÃâàÙø ^ökéÃäÃë¿àèaÞ0âaÞ¿ùãޚáè2

%á ï('šðõòH†Þ/ö[ߊå¢úIäÃø^Þ/à M [äæèaÞ/âŠäÃãÙö[éæÞÈãåIø^ޚéåxþ0Ü{çê ç†åá„á„ÞšëNèŠäæåá$àxá„àùxޚãޚáèÍýkàxâaޚøÇåá èŠÝ^Þ

#"$ ø„äÃàùxßpàxã ïñóxôõ-†Ü’Ý^ÞãåIø^ޚévø^åCޚâá^åxè’äÿá„ë¿é> „ø^ދö„ßpåxèaåCëNåéjø^Þ¿èŠàxäÃéÃâ⠄ëpÝ3àxâ{âaÞ ^ޚá„ëNÞ8á „ã%ýVÞ¿ß-âàxá„ø

âaèŠàèaÞÉúàßpäÿàý[éæޚâ20ãåxߊÞÙø^Þ¿èŠàxäÃéÃޚø ãåCø„ÞšéÞšá„Ý„àxá„ëNޚø={äæèŠÝ5èŠÝ^ޚâaÞþPޚàèJ ^ߊޚâ%äÃâ‹ùäæúxޚá(äÃáÇïñóCò'QPõò’Ý„äÿëpÝ

äÃââŠèaß „ëNèJ ^ߊޚøàxë¿ëNåxß-ø„äÃá^ù(èaåà U5\-]\8_# ] U2_*(Çàö„ö[ߊåàxëpÝ

âpäÃá^ù àxá _PV_Q^.\ I `)_QUU)W6^ 6 àö„ö„ߊåàxë-ÝJò†èŠÝ„äÃâ

ö[àö@Þ¿ßÍߊÞQ4¥âaèaß „ëNèJ „ߊޚâÙèŠÝ^Þ5ãåIø^ޚé’äÿá ïñóCò'QPõ‹àxá[ø äÃá[ëNåxߊö@åxßpàèaޚâÙèŠÝ^Þߊ޿èaßpàxá„âpãÙäÃâŠâŠäÃåáÇãޚëpÝ[àxá„äÃâŠã6àxá„ø

éæåâpâaüë-݄àxá„á^ޚé3Ü݄Þ9ëNåáèaßpäæý. ^èŠäæåá5åxþ†èŠÝ„äÃâ‹ö[àö@Þ¿ßäÃâ‹èÄå4 þPåéÃø ÍìT'¢î‹ö„ߊå¢úIäÃø„äÿá^ù2à¹þPåxßpãÙàxé´âŠöVޚë¿ä>[ë¿àèŠäæåá

åxþ†Ü{çê ç†åá[á^ޚëNèŠäæåá $àxá„àùxޚãޚáè¿ò±àxá„øì¼óî<ö[ߊå¢úIäÃø„äÃá„ùÍâaåãÞÙäÿá„âŠäæùÝèŠâ‹äÃáLèaåÈèŠÝ„Þ9ãÙåCø^ޚéÿéÃäÃá^ùÍö„ߊåIëNޚâŠâ¿ò

’Ý[äÃëpÝãÙà¢üGý@ÞÈÝ^ޚéæö[þ6 „éÄþPåxßÙâaö@ޚë¿äæþ>üIäÃá^ù5ëNåãö[éÃÞN÷Gö„ßpåxèaåCëNåéÃâäÿáùxޚá^Þ¿ßpàxé3ÜÝ^ÞÈàxá„àxéÃüCâŠäÿâ9åxþ{èŠÝ^Þ3Ü<çê

ç†åá[á^ޚëNèŠäæåá<$àxá„àùxޚãޚáè0çêCB äÃâàxø„ø^ßpޚâŠâaޚø3äÃáï('šóõ±àxá„ø3äÿáDïñóCò)'šðCò5'QPõþPåxߒö[ߊ޿úCäÃå „âúxÞ¿ßpâŠäÃåá„âåxþèŠÝ^Þ

ãåIø^ޚé3

Ö×0 pÛ-Ó8Ú´Ö Ó9× @Ø0%ÔJۊÖ<Ó

Þ8éÿäÃãÙäæè†èŠÝ^ÞâŠëNåxö@Þ0åxþ±å ^ߒãåIø^ޚé@èaå2ç†åá[á^ޚëNèŠäæåá$àxá„àùxޚãޚáè2†ÜÝ „âàxáüÍökàßpàxãÞ¿èaÞ¿ßpâ’åxߒâaÞ¿ùãޚáè

„Þšéÿø„âàxâŠâaåIë¿äÃàèaޚø ’äæèŠÝ9ø„àèŠàèaßpàxá„âaþPÞ¿ßgàߊÞá^åxègãåIø^ޚéÃéÃޚø ޒëNåá[âŠäÃø^Þ¿ßd„úxÞåxþ@Ü{çêD⠄âaÞ¿ßgëNåãÙãÙàxá[ø„â

] c\!WWV_E` _2^„òI,] UU5WWV_:` _Q^„òU2_2^I(ò2[` U2_Ùàxá„ø ]`Q\!<ç†åãÙãÙàxá[ø=U2_2^I(äÃâ’ëNåá„âpäÃø^޿ߊޚø3âpäÃá„ëNÞ%äÃè’ëp݄àxá„ùxޚâ

èŠÝ^Þ¹âaèŠàèaÞÈåxþèŠÝ„Þ¹Ü<çê ޚáLèŠäæèˆüDþPߊåã 2 %J"IÜHB èaå "RB "CB<Üe Þ3ø^å5á^åxèãåIø^ޚéÄèŠÝ^Þ J_ 5_QWV_/àxá„ø

UQ\-]\!ZUÍëNåãÙãÙàxá„ø[â¿òÆàxâèŠÝ„Þ¿ü5àßpÞÉá^åxè8ëNåá„ëNÞ¿ß-á^ޚø ’äÃèŠÝ ëNåá„á^ޚëNèŠäæåáãÙàxá„àùxޚãޚáè2 Þ2ëNåá„âŠäÃø„Þ¿ß0èŠÝ„àè

âaޚë2 „ßpäæè¥ü(àxá[ø(ö„ߊޚëNޚø„Þšá„ëNÞ2àßpÞ2àxéàšüIâ9ãÞ¿è9àxá„øDåá[éæü ëNåá„âŠäÃø^Þ¿ß!àâpäÃá^ùéæÞÉëNåá[á^ޚëNèŠäæåáGý@Þ¿è8†Þ¿Þšá@ [âaÞ¿ßpâ2

ÜÝ[äÃâàxéÃéæåc{âH „â J „âaèèaåÉãåIø^ޚéJèŠÝ„ÞëNåãÙãÙàxá„ø„âH’äæèŠÝ^å ^èèŠÝ„Þšäæßö[àßpàxãÞ¿èaÞ¿ß-â2

ÞÄåá„éæü0ãåIø^ޚéxèŠÝ^åâŠÞC„ÞšéÃø[âväÃá0èŠÝ^ÞÄÜ{çêqâaÞ¿ùãޚáèjÝ^ޚàxø^Þ¿ß±àxá„øèŠÝ„ÞÄâaèŠàèaÞÄúàßpäÿàý[éæޚâJèŠÝ„àè±àߊްßpޚéÃàèaޚø

ø^åá Dñèá„Þ¿Þšø¹èaå9äÿãö[éæޚãޚáèãåCøO „éæå9àßpäæèŠÝ„ãÞ¿èŠäÿë Þ%àxéÃâaåàxâŠâJ „ãÙÞ<èŠÝ[àè†èŠÝ„Þ0ߊޚëNޚäæúxÞe’äÃá[ø^åc äÃâàxéàšüIâ

ý[äÃù!ޚá„å ^ùÝ3èaåÉàxë¿ëNÞ¿ö[è{äÃá„ëNåãÉäÃá^ùâaÞ¿ùãޚáèŠâ¿òkâpäÃá„ëNÞÜ{çê ç†åá„á^ޚëNèŠäÃåá<$/àxá[àùxޚãޚáLè<åá„éæü2ëNåá„âJ „ãÙޚâ’à

âŠãÉàxéÃé±öVåxßpèŠäæåáqåxþÄèŠÝ^ÞÙâŠÞM ^ޚá[ëNÞÙáM „ã%ý@Þ¿ßpâ¿òvàxá„ø5åãÉäæè0ãåCø„ÞšéÃéÃäÃá^ùÍèŠÝ^Þ ’äÃá[ø^åc „ÞšéÃø5äÃá âŠÞ¿ùãޚáLèŠâ%àxá„ø

äÃãÙö[éæޚãޚáèŠäÃá^ù9ëpÝ^ޚëNCâ<àxâŠâaåIë¿äÃàèaޚø{äæèŠÝV’äÃá„ø„åc âŠä¿Þ

ܱàý[éæÞ:'0ø„ÞšâŠëNßpäæý@ޚâèŠÝ^Þ8Ü<çêÇâaèŠàèaޚâ<àxá„ø¹úàßpäÃàý[éæޚâèŠÝ[àèHÄÞ%ãåCø„ÞšéväÃá¹èŠÝ„äÃâökàöVÞ¿ßc

RPFH5=F?C R ;BOUO!C F?JK; O! (;PCED OU;BFC#"!JKDGF$

&%GR(')*9 * 5BJF?JKO,+.-;B</5.E;BOUOUC/ F?JK; O%<?C0PS!CEDGF$

R21/9 R(*93' * 5BJF?JKO,+4-;=< 5 >@5 F5 M!JKO,+4E; O!OUCF?JL;BO <?C D76 ; OUDC 5-F?C <MQ58&JKO,+ DCEOPF 5

; OUO!C F?JK; O<?C0PSUCEDGF$

R21/9 9:;<%>=3< * 5BJF?JKO,+?-;B<%5?E;BO(@U<?>NJKO(+ 5ACB&OU;DAKC (+BCE>NCEOPF 5-F?C <%MU58(JKO(+ I ;BF?M <?C/E

CEJF88C %5GE; O!OUC F?JK;BO%<?C0PSUCEDGF5=O DC O&F 5 <?CED76 ; O!DC$

R('HJI&%GRK3< ':M!CLE; O!OUCF?JL;BO JKD;6 CEO!C %5=O M !5=FH5 F<H5=OUDN-C <JE5BO I C+BJKO&$

O %9 *PHQ%N' R * 5BJF?JKO,+.-;B</5.E;BOUOUC/ F?JK; O%<?CEAKC 5=DC <?C0PSUCEDGF;=<JF?D

; OUO!C F?JK; O@<?CEAKC 5=DC/<?C0PSUCEDGF5ACB(O!;DALC (+ C >NCEOPFS-<?;B>0F?M!C<?CE>N;=F?C:'TU$

O %9 *PHQ%N' V * 5BJF?JKO,+.-;B</5.E;BOUOUC/ F?JK; O%<?CEAKC 5=DC <?C0PSUCEDGF)-<?; > F?MUC,<?C >N;BF?CL'TU$

R *PHJ%>' * 5BJF?JKO,+-;B< 5E; O!OUC F?JK;BO?EAK; DCW ; >N>@5BO, M-<?; >#F?MUC3AK;X 5=AS!DC < 5-F?C<

<?C/ECEJF8&JLO(+N5.E;BOUO!C F?JK; O%<?C ALCE5BDC <?C0PSUCEDGFT-<?; > F?MUC,<?C >N;BF?CL'TU$

R2%93Y * 5BJF?JKO,+L-;=<5LE;BOUOUC/ F?JK; ON<?CEAKC 5BDC <?C0PSUCEDGF5ACB&OU;DAKC (+BCE>NCEOPF-<?; > F?MUC

<?C >N;BF?CL'TUZDM!JF M%<?CD76 ; O (DF?; F?MUC,<?C ALCE5BDC$

[H/R(' HQS\ * 5BJF?JKO,+-;B< 5E;BOUO!C F?JK; O] AL;BDCN<?C0PSUCEDGF 5#B&OU;DAKC + CE>NCEOPFL-<?; > F?MUC

<?C >N;BF?CL'TUZDM!JF M JKO!JKF?JL5 F?CEDF?MUC,<?CEAKC 5=DC$

'%7^M *PHQ%N' * 5BJF?JKO,+.-;B<3V^R 4>@5"(JK>TS!>0DC+B>NCEOPFAKJF-C F?JK>NC 7F?;_EAK; DCA$

RPFH5=F?C R(9J 9:`3' 9C/"&FDC0PSUCEO(EC,O&SU> I C <:F?;3I C/DCEOPF

=5=<?JL5=IUAKC R(9J a/93H /Ab (CEDGF SUOQ5#B&O!;cDAKC + C DC0PSUCEO(EC O&SU> I C <

9QS= 9:`:' 9C/"&FDC0PSUCEO(EC,O&SU> I C <:F?;3I C<?CECEJF88C

%R!R %WOUJF?JL5BADCEO DC0PSUCEO(EC,O&SU> I C <

ܱàý[éæÞ:'ÄÜ{çê âŠèŠàèaޚâ’àxá„øÈúàßpäÃàýkéæޚâ

%áÈèŠÝ^Þ!éÃäæþPÞëNüCë¿éÃÞ8åxþ´àÉëNåá„á„ÞšëNèŠäæåáJò[ޚàxë-Ý5Ü{çêÇޚáèŠäæèˆüÈùxåÞšâ{èŠÝ^ߊå ^ùÝàÉâJ „ý[âaÞ¿èåxþèŠÝ^Þ!âaèŠàèaޚâ{éÿäÃâaèaޚø

äÃá¹èŠÝ„ÞèŠàý[éæÞ7"CèŠàèaÞ8úàßpäÃàý[éÃÞ ç" B$!‹Ü äÿâH „âaޚøÈèaåÉúàxéÃäÿø„àèaÞèŠÝ^Þ8âŠÞM ^ޚá[ëNÞ8áM [ã8ý@Þ¿ßåxþ´àxá3äÃá[ëNåãÙäÃá^ù

âaÞ¿ùãÙޚáLè2 "gàßpäÿàý[éæޚâ "B B àxá„ø"B B$!‹Ü àßpÞ „âaޚøÉèaå8úàxéÃäÃø„àèaޒèŠÝ^Þ{àxëNCá^å*’éæޚø^ùãÙޚáLèáM [ã8ý@Þ¿ß

åxþ´àxá3äÃá[ëNåãÙäÃá^ùÙâaÞ¿ùãÙޚáLè2ÜÝ^Þ %J""ÍúàßpäÃàý[éÃÞäÃâèŠÝ^Þ8äÿá„äæèŠäÃàxé@âaÞ ^ޚá„ëNÞ8á „ã%ý@Þ¿ßèŠÝ„àèޚàxë-ÝÜ{çêÇޚáèŠäæè¥ü

âaޚéÃޚëNèŠâþ>åxß<àëNåá„á^ޚëNèŠäæåá

äÃá[àxéÃéæü†ÞÉàxâŠâJ „ãÙÞ!èŠÝ[àè8âaÞ¿ùãޚáèŠâë¿àxá(ý@Þéæåâaè¿òjø^ޚéÃàšüxޚøvòÆàxá„ø5ߊÞQ4 åxßpø„޿ߊޚø=’Ý„äÿéæÞ%èaß-àšúxÞ¿ßpâŠäÿá^ùÈèŠÝ^Þ

á^Þ¿è ÄåxßN.

d Ö<ÓÓgÚ±Ô@ÛpÖ{Ó Ó°Ó<Ô Qfe

<â0âŠÝ^å*’á(äÃá=äæù +CòvèŠÝ„Þ2çêCB ãåIø^ޚé´ëNåáLèŠàxäÿá„âà3ø^ޚë¿éÿàßpàèŠäæåá„â‹ö[àùxÞÍàxá„ø'/çêBö[àùxޚâÙÜÝ^Þ'

çêB ökàùxޚâ’àߊÞ0åxߊùàxá[äÃâaޚø3äÃáèaåÙàèaߊ޿Þ%âaèaß „ëNèJ ^ßpÞxò’Ý„äÃë-Ý3ëNåãö„ßpäÿâaޚâ PÉ݄äæÞ¿ß-àßpëp݄äÿë¿àxéJéæÞ¿úxޚéÃâ2

ܒÝ^Þ{ßpååxèåxþvèŠÝ^Þhgèaߊ޿Þ2iäÿâÄèŠÝ„Þ‹Ü<çê S<úx޿ߊúIäæÞ2 ö[àùxÞxò’Ý„äÃë-ÝÍäÿâ†àèèŠÝ^ÞR„ß-âaè†éÃÞ¿úxޚékåxþjèŠÝ^ދ݄äæÞ¿ßpàßpë-ÝLü

àxá„ø ö„ߊåúCäÃø„ÞšâÍàxáàý[âaèaßpàxëNè¹úIäæÞ2 åxþ%Ü{çê àxá„øäæèŠâÉޚáúIäæߊåá„ãޚáè2 Ü݄ÞâaޚëNåá„ø éæÞ¿úxޚé<ëNåáèŠàxäÃá„â2èŠÝ^Þ

°úxޚáLè êgߊåIëNޚâŠâŠäÿá^ù3ö[àùxÞÙèŠÝ[àè%ãåIø^ޚéÃâÜ<çêHDâ0ßpޚâaö@åá„âaޚâ0èaåI „âaÞ¿ß%ëNåãÉãÙàxá„ø„â¿ò±âaÞ¿ùãޚáè%àߊß-äæúàxéÿâàxá„ø

ߊ޿èaß-àxá„âŠãÙäÃâpâŠäæåáÈèŠäÃãÙÞ¿å ^è2ÜÝ^Þ âŠÞ¿ß ç†åãÉãÙàxá„ø„â<ö[àùxÞëNåãö„ß-äÃâaޚâ{èŠÝ^ߊ޿Þ9âJ ^ý„ö[àùxޚâåxö@ޚáJòJë¿éæåâaÞàxá„ø

àý@åxߊè2ÜÝ^Þ "CÞ¿ùãÙޚáLè êgßpåCëNޚâŠâpäÃá^ù¹ö[àùxÞÙãåIø^ޚéÃâ‹èŠÝ^Þö[ߊåCëNޚâpâŠäÃá^ù2åxþ†âŠÞ¿ùãޚáLèŠâ8þ>åxß8ޚàxëpÝ(åxþÜ{çêDâ ''

âaèŠàèaޚâ Ü݄Þ<Þ¿èaßpàxá[âŠãÙäÃâŠâpäæåá„âÙökàùxÞqãåIø^ޚéÃâÍÜ{çê ߊ޿èaßpàxá„âpãÙäæèaèŠäÃá^ùDúàßpäÃå „âÍâŠÞ¿ùãޚáLèŠâ ÜÝ^Þ çêCB

ãåIø^ޚéJëNåáèŠàxäÃá„â 9ö[éÃàxëNޚâ¿ò 'ÙâJ ^ý[âaèŠäÃèJ ^èŠäæåá2èaßpàxá„âŠäÃèŠäæåá„âàxá„ø+ÙÞN÷Cޚë2 ^èŠàýkéæÞ0èaßpàxá„âŠäÃèŠäæåá„â2

In document View of Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 8-11, 2004 (Sider 66-69)