COAST : des réseaux de Petri à la planification assistée

(1)

HAL Id: hal-00003394

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

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.

COAST : des réseaux de Petri à la planification assistée

Sébastien Bardin, Laure Petrucci

To cite this version:

Sébastien Bardin, Laure Petrucci. COAST : des réseaux de Petri à la planification assistée. 6ème Con- férence sur les Approches Formelles dans l’Assistance au Développement de Logiciels, 2004, Besançon, France. pp.285-298. �hal-00003394�

(2)

6798/:<;1=?>A@9BCD:<E1F/>AB

G 6IHKJMLDNPO6QSRTOVUXWZY\[

] NP6F@^LD:Z_&` :<B

Wa.:cbX@dB"e@^F/ef/E179;?>gF/@9B\=ihj>Akg;?lXB

m YIn<[\opLrqiLDsiqSN(Lr@9F/@ut

v/w\xIy{zc|}/~"r4<|M"/<w/wZ|D"x

G :Ze/E?@)@d=E1e/_9_d>

G5 N.JMLDNPO6QPRTO<X[<

QB/>bX@dE?;?>=7.:ZE?>A;ac[

mXm :cbX@dBIe/@p<@9:<B4Cr:<f=>g;1=?@.LrkA79@9B\=

m [<YX[X^H 4GG] qPN ] QS6 ]

X"xXMIz}~z

|DI|zM

wXx{zI¡ 4Ix

¢£9¤?¥¦§£

¨X©Xª«¬®?¯±°²³´µ²¡°·¶¹¸\º\»¼µ¯·¯½¶¾¯½°·¼u³Z¿4®À¸Á¼ÃÂ¸¾¼u³¶¹ÄZ¿¼u°¶Á´µ³ÆÅD¶Á¸¹¶¹°·¼µ¶¹Ç·®µÈÉc´d³i¼uÇ¿Ê¶¹°®?¿,°²Ç®

º¡¶¾¯±°·Ç¶ÁË²Ì1®¿´µÅDÂÇ·®³ºi²³¯½®1ÇÍd®²Ç¿4´d³¯½°¶¹°²Ìº\»²³SÅD´u°®1²Ç5º\»¼u³¼µ¸¹Î¡¯®º¡®Ç·Ì1¯®1¼µ²¡Ïiº¡®

Ð

®4°Ç·¶°·¼µ³º¡¶¾¯Ñ9²®r¸A»¶Á³9°®ÇÒ¼µ¿®ÃÓdÇ·¼µÂÊ¶¾Ñ9²®ÒÔ´µ²Ç³¶Á®rÂ¼uÇ¸¹®D¿4¸Á¶Á®³9°ÂZ®1ÇÅD®4°º¡®rÅÕ¼µ¯·Ñd²®Ç

¸g»²¡°·¶¹¸Á¶Á¯·¼&°·¶¹´d³º¡®?¯IÅDÌ4°·Ê´¡º¡®1¯"ÒÔ´µÇ·ÅD®¸Á¸¹®?¯ÈÖ"®1¯¯½Îc³¿ÊÇ´d³¶Á¯·¼&°·¶¹´d³¯X®³9°·Ç® °×µ¿Ê®?¯IÀ5Â¸¾¼u³¶ØÄ®1Ç

¯½´d³9°i²³¼d¯½Â<®1¿4°i®1¯·¯½®1³9°¶Á®¸º®K¨X©Xª«¬ÈÙ¼u³¯¿4®4°S¼uÇ°¶¾¿4¸Á®µÚÛ¼uÂÇ·Ü1¯Õ²³®.ÂÇ·Ì1¯®³9°¼&°¶Á´µ³

ÓµÌ1³ÌÇ¼u¸Á®º¡®2¸¾¼DÂÇ´dË¸ÁÌÅÕ¼&°·¶ÁÑ9²®®°º¡®2¸A»´d²¡°¶Á¸AÚ³´d²¯º¡Ì?¿4Ç·¶¹Íd´µ³¯¸Á®1¯¯Îc³¿ÊÇ·´µ³¶¾¯·¼&°¶Á´µ³Z¯Ú

ÅD´µ³9°Ç·´µ³¯¿´µÅDÅD®³9°®¸Á¸¹®?¯5¯½´d³9°ÅD´¡º¡Ì1¸¹¶¾¯½Ì1®1¯®°¶¹ÅDÂ¸¾¼u³9°Ì1®1¯1È

ÝßÞZà1¤á·âµãg£c¤ä

Ç·Ì1¯®1¼µ²¡Ïº¡®

Ð

®°Ç·¶gÚXÂ¸¾¼u³¶¹ÄZ¿1¼&°¶Á´µ³"ÚZÂ¸¾¼&°·®4ÒÔ´dÇÅD®¸Á´µÓd¶Á¿¶¹®1¸¹¸Á®µÚX¼uÇ¿Ê¶¹°®?¿,å

°²Ç·®2¿4¸Á¶Á®³9°½åæ¯½®1ÇÍd®²Ç

ç èXéÃê"ëìÕíPîPï{êðì2é

Ö"¼rÂ¸¾¼u³¶¹ÄZ¿1¼&°¶Á´µ³PÅD¶¹¸Á¶¹°·¼u¶ÁÇ·®2¼u²S³¶ÁÍµ®1¼µ²´dÂZÌ1Ç·¼u°¶Á´µ³³®¸I¼µ¯·¯²Ç®¸Á®¸¹¶Á®³S®³9°·Ç®¸Á®1¯´dË¡å

ñ

®1¿4°¶¹Ò¯ ¯±°·Ç·¼u°ÌÓd¶ÁÑ9²®?¯"ÀÓµÇ¼u³º®MÌ1¿Ê®¸Á¸¹®®4° ¸¹®?¯ºÌ1¿4¶¾¯¶¹´d³¯°·¼µ¿4°¶¾Ñ9²®1¯¯½²Ç¸Á®°®Ç·Ç¼u¶Á³IÈ&ò»®1¯½°

²³®r°·×d¿Ê®DÀi¸¾¼ÆÒÔ´d¶Á¯¿Ç²¿¶Á¼µ¸¹®r®4°³´d³.°·Ç¶ÁÍc¶Á¼µ¸¹®ÃÂZ´d²Ç¸¹®?¯Ì4°·¼u°·¯½åAÅÕ¼

ñ

´µÇ¯Ú<¿4´µÅDÂ¡°·®r°®³c²

º¡®1¯5¼µÅË¶ÁÓµ²ó°·Ì1¯1Úcº®1¯¶Á³¿4®1Ç½°·¶Ø°·²º¡®1¯®°º¡®¸Á¼D¿´µÅDÂ¸Á®4Ï¡¶Ø°·Ìº¡®1¯5¯¶Ø°·²¼&°·¶¹´d³¯Ç·®³¿´µ³9°Ç·Ì®?¯È

Ö"¼ÃÂÇ·¶Á¯®º®ºÌ1¿4¶¾¯¶¹´d³Pº¼µ³¯Û¸¹®?¯Ì4°¼&°·¯½åôÅD¼

ñ

´µÇ¯M´dËZÌ1¶Ø°Àrº¡®1¯ÂÇ´¡¿4®?¯¯²¯°Ç·Ü1¯¯½°Ç·¶Á¿4°·¯1È

Ö"¼rÂ¸¾¼u³¶¹ÄZ¿1¼&°¶Á´µ³´µÂ<ÌÇ¼&°·¶¹´d³³®¸Á¸Á®®?¯±°º¡ÌÄ³¶Á®®1³PÑ9²¼u°Ç·®Â¼uÇ°¶Á®1¯¿4´d³¯Ì1¿4²°¶ÁÍµ®1¯Û®°¶¹°Ìå

Ç·¼u°¶ÁÍµ®?¯º¼µ³¯¸¹®Kõdö.÷

Ðùøú¡û&üþýÿüüþÿ ü&ÿAüû&ýû

º® ¸A»

,ÿ !Øü&ý

"#%$ý&û!

È¡ÖI®1¯Û¼u²°Ç·®1¯´µÇ·Ód¼u³¶Á¯·¼&°·¶¹´d³¯ ÅD¶¹¸Á¶¹°·¼u¶ÁÇ·®1¯²¡°¶Á¸¹¶¾¯®³9°º¡®1¯Ûº¡Ì4ÄZ³¶Ø°·¶¹´d³¯ÛÌ1Ñ9²¶¹å

Í&¼u¸Á®³9°®?¯ÈÖM»¼µ³¼u¸ÁÎ¡¯½®º¡®¸¾¼rÅr¶¾¯·¯½¶Á´µ³PÍc¶Á¯®2Àr²³®2¿4´dÅDÂÇÌ1Ê®³Z¯½¶Á´µ³P¿4¸¾¼u¶ÁÇ®º¡®?¯5´µË

ñ

®?¿,°·¶ØÒ¯1Ú

®³^º¡Ì4Ä³¶Á¯·¯¼µ³9°³´µ°·¼uÅDÅD®³9°¸g»Ì4°¼&°¿4´d²Ç·¼µ³9°®4°¸g»Ì4°¼&°¯½´d²Ê¼µ¶Ø°·Ì®4°®³ ¶Áº®³9°¶¹ÄZ¼u³9°¸¹®?¯

°·×d¿Ê®1¯/®?¯¯®³9°¶Á®¸Á¸Á®1¯{Ñ9²¶Â<®²Íµ®³9°{Â<®Ç·ÅD®4°½°·Ç®º®5Ç®1ÅrÂ¸¹¶ÁÇ{¸¾¼År¶¾¯·¯½¶Á´µ³IÈuÖ"®1¯{º®²¡ÏrÌ4°·¼µÂZ®?¯

¯½²¶¹Í&¼u³9°·®1¯D¿4´d³¯½¶¾¯½°®³9°DÇ®?¯½Â<®1¿4°¶ÁÍµ®1År®1³9°rÀ ÂÇ´dÂZ´9¯½®1Çrº¶('XÌÇ·®³9°®?¯

ü()uý* ,+-ûuý+¡üþÿ

Ú

¶gÈ®µÈc¯Ì1Ñ9²®³Z¿4®1¯Mº¡®°×µ¿Ê®?¯Ú9Ñd²¶Â<®Ç·År®°½°·®³9°Ûº\»¼&°°®1¶¹³ºÇ®¸A»´µË

ñ

®?¿,°¶¹Ò±Ú9Â²¶¾¯À¸Á®1¯¿4´dÅrÂZ¼&å

Ç®1Ç®³9°Ç·®®¸Á¸¹®?¯Â<´µ²Ç5Ç·¼/.D³®Ç¸¹®?¯ÛÂ¸¹²Z¯®.Æ¿¼d¿4®1¯1È10¶¹³¼µ¸¹®1ÅD®³9°5¸g»Ì4°¼&°½åôÅÕ¼

ñ

´dÇ¿Ê´µ¶¾¯½¶¹°Û¸¾¼

¸¹¶ÁÓµ³®º®2¿4´µ³Zº¡²¶¹°®2ÀD¼µº¡´dÂ¡°®1Ç1È

ò´µÅDÅD®2º¼u³Z¯º\»¼u²¡°·Ç®?¯5º¡´µÅÕ¼u¶Á³®?¯¿4Ç·¶Ø°·¶ÁÑ9²®?¯Ú¸¹®?¯5´µÇ·Ód¼µ³¶Á¯ÅD®1¯¿4´d³¿4®1Ç³Ì1¯5¯´µ³9°º¡®

Â¸Á²¯5®³SÂ¸Á²¯5º¡®1ÅÕ¼u³º¡®1²Ç¯5º\»´d²¡°¶Á¸¾¯º\»¼µ¯·¯½¶¾¯±°¼u³¿®Ä<¼uË¸Á®1¯1È÷¶Á³¯¶gÚ²³®Â¼uÇ°¶Á®º¡²SÂÇ·´uå

¿4®?¯¯²¯2º¡®ÕÂÇ¶¾¯½®Æº®Æº¡Ì1¿¶Á¯¶¹´d³pº¡®Õ¸g»¼uÇ·ÅDÌ®Æ¼µ²¯±°·Ç·¼µ¸¹¶Á®³³®Õ¼SÌ4°ÌÆ¯Â<Ì1¿4¶¹ÒÔÌÕÒÔ´dÇÅD®¸Á¸Á®ÅD®³9°

º¼u³Z¯324ö65*78:9;ôÈ=<³¸Á´µÓd¶Á¿¶¹®1¸Iº\»¼µ¶Áº®ÀD¸¾¼DÂÇ·®ÅD¶ÁÜÇ·®ÂÊ¼µ¯®º¡®¸Á¼DÂ¸Á¼µ³¶ØÄ<¿¼&°·¶¹´d³´dÂZÌå

ø

(3)

º¼u³Z¯-20>5\Ù8=? ;°¼u³º¶Á¯Ñd²®^¨X©Xª«¬ 2H5*4õ:IJ8K9;

¼µ¯·¯½¶¾¯½°®¸¹®?¯ÂÊ¼d¯½®?¯5º¡®2º¡ÌÍd®¸Á´µÂÂ<®ÅD®1³d°5®°º\»¼µ³¼u¸ÁÎ¡¯½®º¡®?¯¸¹¶ÁÓµ³®?¯5º¡®2¿4´d³º¡²¶¹°®dÈ

ÖI®?¯ÂÇ·´µË¸¹Ü1År®?¯Ãº®Â¸¾¼u³¶ØÄZ¿1¼&°·¶¹´d³ º¡®°·×d¿Ê®1¯r¯½´d³9°Ã®³ ÓµÌ1³ÌÇ¼u¸¼uË<´µÇº¡Ì1¯ÃÂ¼µÇrº¡®?¯

ÅDÌ4°Ê´cº®1¯Pº¡®.Ç·®1¿Ê®1Ç·¿Ê®´µÂ<ÌÇ¼&°¶Á´µ³³®¸Á¸¹®dÈò®1ÂZ®1³º¼u³9°S¿4®1¯iÅDÌ4°Ê´cº®1¯³® ¯´µ³9°iÂ¼d¯

¼µº¼µÂ¡°Ì1®1¯Û¶¾¿4¶AÈÙ»²³®Â¼µÇ½°?Úc¸¹®?¯Û¿Ç¶¹°Ü1Ç®?¯º\»²³´dÇ·º¡´d³³¼µ³¿4®1År®1³9°Û´dÂ¡°¶ÁÅÕ¼u¸X³®¯½´d³9°ÛÂ¼d¯

º¡Ì4ÄZ³¶Á¯1Èò´µÅDÅD®.¸Á® º¡´dÅD¼µ¶¹³®.®1¯½°Ì1ÅD¶¹³®1ÅD®³9°P¿Ç¶¹°¶¾Ñ9²®µÚÛ¸¹® ÂÇ·´µÓµÇ¼uÅDÅD®³I»®1¯½°Â¼d¯

¸ÁÀPÂ<´µ²Ç2¿Ê´µ¶¾¯½¶ÁÇ L

¯´µ¸Á²¡°¶Á´µ³"Ú<ÅÕ¼µ¶Á¯Â<´µ²ÇÂÇ´dÂZ´9¯½®1Ç²³ ®1³¯½®1ÅË¸Á®Õº¡®Æ¯´µ¸Á²¡°¶Á´µ³¯Â<´d¯½å

¯½¶ÁË¸Á®1¯1ÈNM{³Z¯½²¶¹°® ¸g»Ì4°¼&°åAÅÕ¼

ñ

´dÇÆÂÇ·®³º ¯®1¯iÇ®?¯½Â<´µ³Z¯¼µË¶¹¸Á¶¹°Ì1¯Æ®4°º¡Ì°®1ÇÅD¶Á³® Ñ9²®1¸Â¸¾¼u³

¯½®1Ç·¼rÄZ³¼u¸Á®ÅD®³9°Ç·®4°·®³c²IÈ<Ù»¼u²¡°·Ç®Â¼uÇ°1ÚZ¸¹®?¯ÅDÌ4°·Ê´¡º¡®1¯º¡®Ç·®1¿Ê®1Ç·¿Ê®´dÂZÌ1Ç·¼u°¶Á´µ³³®¸Á¸¹®

Ç®1³º¡®1³d°º¡¶L.Æ¿4¶Á¸¹®?¯¸¹®?¯º¶Á¼µÓµ³´9¯±°·¶Á¿1¯º\»®Ç·Ç·®²Ç?ÚXÂZ´d²Ç¿4´µÅDÂÇ·®³Zº¡Ç®ÃÂ¼uÇ®Ïc®1ÅDÂ¸¹®DÂ<´µ²Çå

Ñ9²´µ¶\¶Á¸I³I»®4Ï¡¶¾¯±°·®Â¼µ¯5º¡®¯´µ¸Á²¡°¶Á´µ³SÀr²³SÂÇ·´µË¸ÁÜÅD®º¡´µ³³ÌµÈ

¨X©Xª«¬

ø

Íµ´µ¶ÁÇ"¸¾¼¯®1¿4°¶Á´µ³O9

®1¯½°Ë¼d¯½Ì¯½²Ç²³®Û¼uÇ¿Ê¶Ø°·®1¿4°²Ç·®{¿4¸Á¶¹®1³9°½åæ¯½®1ÇÍd®²Ç?È?ò´µÅDÅD®

¸g»®4Ï¡Ì?¿4²¡°·¶¹´d³iº¡®1¯M°·×d¿Ê®1¯º\»²³®¸¹¶ÁÓµ³®º¡®¿´µ³º²¶Ø°·®Â<®²¡°P4°·Ç®Íc²®¿´µÅDÅD®²³i¯Î¡¯±°·ÜÅD®

¿4´d³¿4²Ç·Ç·®³9°1Ú9¸¹®¿RQ²Ç5º¡®¸A»´µ²¡°·¶¹¸I¼ÃÌ4°·Ì¿´µ³=S²¼µ²iÅD´&Îµ®1³º¡®ÇÌ?¯½®?¼u²¡ÏÆº¡®

Ð

®4°·Ç¶I¿´µ¸Á´µÇ·Ì1¯

2õd®³UT:9cÚõµ®1³=T/V¡ÚW4òÛõ:T:X;AÈW<³®Û¯½´d¸¹²°¶Á´µ³Â<®²¡°YP4°Ç·® °·Ç´d²ÍµÌ1®{®³®Ï¡¼µÅD¶¹³¼µ³9°"¸g»®1¯Â¼d¿4®Mº¡®?¯

Ì4°¼&°·¯¼d¿¿4®?¯¯¶ÁË¸¹®?¯ÈcÖI®¿4¸Á¶Á®³9°ÒÔ´d²Ç·³¶Ø°²³®¶Á³d°·®ÇÒ¼µ¿®ÓµÇ¼uÂÊ¶ÁÑ9²®Ñ9²¶XÇ®1³ºÆ¸A»²°¶Á¸¹¶¾¯¼u°¶Á´µ³

º¡®1¯ÅrÌ°Ê´¡º¡®?¯ÛÒÔ´µÇ·ÅD®¸Á¸¹®?¯Û°Ç¼u³¯Â¼uÇ·®³9°·®Àr¸A»²¡°·¶¹¸Á¶¾¯¼u°®²Ç1È

Ö"¼ ¯½Îc³¿ÊÇ·´µ³¶Á¯·¼&°·¶¹´d³Kº®i°×µ¿Ê®?¯®?¯±°r²³®ÒÔ´µ³¿4°¶Á´µ³³¼µ¸¹¶¹°Ì¶¹ÅDÂ<´µÇ°·¼µ³d°·®Pº®1¯Ã´µ²¡°·¶¹¸¾¯

º¡®Â¸¾¼u³¶¹ÄZ¿¼u°¶Á´µ³IÚcÂ²¶Á¯·Ñ9²®Ë¶¹®1³¯´µ²Íd®³9°¸¹®?¯M°×µ¿Ê®?¯º¡´µ¶ÁÍµ®1³d°P4°·Ç®¿4´c´dÇ·º¡´d³³Ì1®1¯ÂZ´d²Ç

¼&°°®¶Á³º¡Ç·®M²³®M®R.Õ¿1¼µ¿¶Ø°·ÌMÅÕ¼&Ï¡¶ÁÅD¼µ¸¹®dÈò®1ÂZ®1³º¼u³9°¸¹®?¯¯Îc³¿ÊÇ·´µ³¶¾¯¼u°¶Á´µ³¯XÂÇ´dÂZ´9¯½Ì1®1¯IÂZ¼uÇ

¨X©Xª«¬^¯´µ³9°°Ç·Ü1¯¸¹¶ÁÅD¶Ø°·Ì®1¯1È\Ù®rÅPÅD®¸Á®1¯ÅDÌ1¿1¼u³¶¾¯År®?¯º¡®D¯Î9³Z¿ÊÇ´d³¶¾¯¼u°¶Á´µ³PÒÔ´µ²Ç·³¶¾¯

Â¼uÇ¸¹®?¯I¸Á´µÓd¶Á¿¶¹®1¸Á¯I¿¶¹Íc¶Á¸Á¯I°®1¸Á¯Ñ9²®Mö¶¾¿4Ç·´d¯´uÒþ°

Ð

Ç´

ñ

®1¿,°Z2ö.É

Ð

;9´d²

Ð

É1[2

Ð

É1[\;c³®¯´µ³9°IÂ¼d¯

¼µº¼µÂ¡°Ì?¯ À¸Á¼¿4´dÅDÂ¸¹®Ï¡¶Ø°·Ìº¡®¸Á¼Â¸¾¼u³¶ØÄZ¿1¼&°·¶¹´d³Ã´dÂZÌ1Ç·¼u°¶Á´µ³³®1¸¹¸Á®µÈ&ÙÃ»²³®Ò¼S´µ³rÓµÌ³ÌÇ¼u¸Á®µÚ

¸¹®?¯ ¼uÂÂÇ´¡¿Ê®?¯"ÅD¶¾¯½®?¯/®³r´9®1²ÍcÇ®Û¯½´d²1'XÇ®1³d°{º¡²rÅÕ¼u³Ñ9²®º\»²³®º¡ÌÄ³¶¹°¶Á´µ³rÓµÌ1³ÌÇ¼u¸Á®º¡®?¯

¯½Îc³¿ÊÇ´d³¶Á¯·¼&°·¶¹´d³¯1È

Ù¼µ³¯5¸¾¼D¯½®?¿,°¶Á´µ³,]Ú¡²³®º¡ÌÄ³¶¹°¶Á´µ³SÇ·¶¹Ód´µ²Ç·®²¯®º¡®1¯¿´µ³9°Ç¼u¶Á³9°®?¯Ûº®2¯½Îc³¿ÊÇ·´µ³¶Á¯·¼&å

°¶Á´µ³¯2®³9°Ç·®D°·×d¿Ê®1¯®?¯±°2ÂÇ´dÂZ´9¯½Ì1®1¯1Ú\Ë¼µ¯Ì®Õ¯²Ç¿4¶Á³Ñ^¯¿ÊÌÅÕ¼µ¯Ì1¸¹Ì1År®1³9°·¼u¶ÁÇ·®1¯º¡®Æ¯Îc³¡å

¿ÊÇ·´µ³¶¾¯¼u°¶Á´µ³IÈ^<³§Í&¼µ¯½°®ÌÍd®³9°·¼µ¶¹¸Mº®¯Î9³Z¿ÊÇ´d³¶¾¯¼u°¶Á´µ³¯Â<®²¡°P4°·Ç®º¡Ì1¿Ç¶¹°1Ú¶¹³Z¿4¸Á²¼u³9°

¸¹®?¯¯Îc³¿ÊÇ·´µ³¶¾¯·¼&°¶Á´µ³Z¯Õ²¯²®¸Á¸¹®?¯º®1¯P´µ²¡°·¶¹¸¾¯Pº¡® Â¸Á¼µ³¶ØÄ<¿¼&°·¶¹´d³IÈÙÌÇ·¶ÁÍµÌ1¯Pº¡¶ÁÇ®?¿,°·®ÅD®³9°

º¡®¿4®°½°®º¡ÌÄ³¶¹°¶Á´µ³IÚ ¸Á®1¯

R_ý,üû,/ÿ,ý*&ÿAü$

Â<®Ç·ÅD®4°°®³9°Æº\»®³cÍc¶Á¯·¼uÓd®ÇDº¡¶L'<Ì1Ç®1³d°¯

¿4´dÅrÂ<´µÇ°®1ÅD®³9°·¯D¯®¸Á´µ³§¸Á®ÅD´¡º¡®º¡®°®1ÇÅD¶Á³¼u¶¾¯½´d³º¡®?¯°×µ¿Ê®?¯È Ö¼.¯®1¿,°·¶¹´d³VKº¡Ì1¿Ç¶¹°

¸g»¶ÁÅrÂ¸Á¼µ³d°¼&°·¶¹´d³iº¼u³Z¯¨X©Xª«¬Sº¡®¿®1¯ÅDÌ1¿¼µ³¶¾¯½ÅD®1¯º¡®¯½Îc³¿ÊÇ·´µ³¶Á¯·¼&°·¶¹´d³IÈµÖI®?¯¯Îc³¿ÊÇ·´uå

³¶¾¯¼u°¶Á´µ³¯r¯½´d³9°2°Ç¼µº¡²¶Ø°·®1¯rº¡®ÆÒ¼:S4´µ³ ¼u²¡°·´µÅÕ¼&°·¶ÁÑ9²®Æ®1³ÂÇ·Ì1¿´µ³º¶Ø°·¶¹´d³¯2®°ÃÂ<´d¯½°·¿4´d³º¡¶¹å

°¶Á´µ³¯¼dº¡Ì1Ñ9²¼u°®1¯1ÈXò´dÅDÅr®r¸Á®ÃÅD´¡º¡Ü¸Á®Ãº®r¿´µ³º¡¶¹°¶Á´µ³Z¯²¡°·¶¹¸Á¶¾¯½ÌDº¼u³Z¯¨X©Xª«¬K³I»®1¯½°Â¼d¯

¼µ¯·¯½®`DÂ²¶¾¯¯·¼u³9°ÂZ´d²Ç¯²ÂÂ<´µÇ°®1Ç°´u°¼u¸Á®ÅD®³9°¿®4°½°·®D°Ç¼µº¡²Z¿,°¶Á´µ³"Ú\²³KÅr´¡º¡Ü1¸¹®ÕÌ°®1³º¡²

®1¯½°¶¹ÅDÂ¸¾¼u³9°·ÌµÈ

a b,cedf>g

¨X©Xª«¬P¼ÂZ´d²ÇË²¡°5º\»´/'XÇ¶ÁÇ²³®Â¸Á¼u°®4ÒÔ´dÇÅD®º¡®ºÌÍµ®1¸¹´dÂÂ<®ÅD®³9°®4°5º\»¼µ³¼u¸ÁÎ¡¯½®º¡®

¸¹¶ÁÓµ³®1¯º\»¼µ¿4°¶Á´µ³SÂ<´µ²Ç¸¾¼DÂ¸¾¼u³¶¹ÄZ¿1¼&°¶Á´µ³P´µÂ<ÌÇ¼&°·¶¹´d³³®1¸¹¸Á®µÈZò®°´µ²¡°·¶¹¸º¡´µ¶¹°ÀD¸Á¼rÒÔ´d¶Á¯hP4°Ç·®

ÄZ¼uË¸¹®5®°Mº¡¶Á¯Â<´d¯®Ç{º\»²³®5¶Á³9°®ÇÒ¼µ¿®5®Ç·Óµ´d³´µÅD¶¾Ñd²®Â<®Ç·ÅD®4°½°¼u³9°M¼u¶Á³¯¶¯½´d³Ã²°¶Á¸¹¶¾¯¼u°¶Á´µ³ÕÀ

º¡®1¯³´µ³¡åô¶Á³¡ÒÔ´µÇ·ÅÕ¼&°¶¾¿4¶Á®³Z¯Èiæ¸IÂ<®Ç·ÅD®4°1ÚÀrÂ¼µÇ½°·¶¹ÇºI»²³S®1³¯½®1ÅË¸Á®º¡®°·×d¿Ê®1¯5¿´µÅDÂ¸Á®4Ï¡®1¯1Ú

º¡®{ÒÔ´d²Ç·³¶¹Çº¡®1¯"´µÇº¡´µ³³¼µ¿®ÅD®³9°·¯"¼uË<´µ²¡°·¶Á¯·¯¼µ³9°À5²³2Ë²¡°"ÄÏ¡ÌdÈ?Ù®MÂ¸Á²¯1Ú1¸Á®1¯º¡¶¾¼uÓµ³´d¯½°¶¾¿¯

º\»®Ç·Ç®1²ÇÂ<®Ç·ÅD®4°°®³9°{º¡®5¿4´dÅDÂÇ®1³º¡Ç·®MÂ<´µ²ÇÑ9²´µ¶9²³®¸Á¶¹Ód³®º\»¼d¿,°·¶¹´d³³®5¿4´d³cÍ9¶Á®³9°Â¼µ¯1È

(4)

¨X©Xª«¬KÅD¼µ³¶ÁÂ²¸Á®Dº®1¯

ÿ|}w

ÂZ¼uÇ°·¼uÓd®1¼µ³d°²³^®³¯®ÅÃË¸¹®Õº¡®

!û1!

ÈIÖM»®1³cÍ9¶¹å

Ç´d³³®1År®1³9°M®1¯½°Ûº¡Ì?¿4Ç·¶Ø°Â¼uÇ²³

ýwR~RL+3ûuý+&üþÿAüû&ý=

Ñ9²¶<ÂZ®1²Íµ®1³9°NP4°·Ç®¯¼u°¶¾¯±Ò¼µ¶Ø°·®1¯

´µ²)³´µ³IÈXÖ{»

_4ÿ&ÿ5üþýZüþÿgü/

¶Á³º¡¶¾Ñd²®¸Á®1¯Ç®?¯¯´µ²Ç¿4®?¯º¡¶¾¯½Â<´µ³¶¹Ë¸Á®1¯®4°¸¹®?¯¿´µ³º¶Ø°·¶¹´d³¯¯·¼&°·¶Á¯½å

Ò¼u¶¹°®?¯Ã¼µ²º¡ÌË²¡°rº\»²³®ÅD¶Á¯·¯½¶Á´µ³"ÈY<³

_4ÿ&ÿÿ ~rüþý/

º¡Ì4ÄZ³¶Ø°D¸Á®1¯r¿4´µ³Zº¡¶Ø°·¶¹´d³¯º®Í&¼u³9°

P4°·Ç®¯·¼&°¶¾¯½Ò¼u¶¹°®1¯Â<´µ²Ç5¸¹®2¯²¿¿Ü1¯5º¡®¸¾¼rÅD¶Á¯·¯½¶Á´µ³"È

¿Ê¼dÑ9²®Õ°·×d¿Ê®i®?¯±°D¼µ¯·¯½´¡¿¶¹ÌÆ²³§®³¯®ÅÃË¸Á®º¡®Â¼uÇ¼uÅDÜ4°·Ç®?¯¿´µ³º¡¶¹°¶Á´µ³³¼u³9°Ã¯´µ³

®4Ï¡Ì1¿²¡°¶Á´µ³

*!_Aûuý+&üþÿAüû&ý=

Ú

ûW,ÿ Aû&ý+uüþÿgüûuýw

Ú

!û/1! Ûý_ R&ü!ÿLXûû&ý=4û/~#

~_

ÈZ<³®°·×d¿Ê®ÂZ®1²¡°

R.ÿR ~rüþýRý<û ~~4ýZÿ

Ú

&û,ÿ

Ú´µ²

R.ÿR ~Ãüþý*Gý

_}=

È

Nc¤-Y&£dá·âµÞY^àÞ¤

º¡®1¯°·×d¿Ê®1¯¯½®ÆÇ·ÌÂZ¼uÇ°¶¾¯¯®³9°2®³§°Ç·´µ¶¾¯2¿¼u°ÌÓd´µÇ·¶¹®?¯¿®¸Á¸¹®?¯

Ñ9²¶<º´µ¶ÁÍµ®³9°NP°Ç·®¯·¼&°¶¾¯½Ò¼u¶¹°®1¯MÂZ´d²ÇÑ9²®¸Á¼°·×µ¿Ê®Â²¶¾¯¯®¿´µÅDÅD®³¿®ÇÀ¯»®4Ï¡Ì1¿²¡°®1Ç1Úd´µ²

¯½®°·®Ç·År¶Á³®1Ç1Ú´d²Â<®³Zº¼u³9°5°´d²¡°®¸¾¼Õº¡²Ç·Ì®º¡®¸A»®ÏcÌ?¿4²¡°·¶¹´d³IÈ

Nc¤ÞZ¤1à4áâµÞ^YÔàÞ¤

¯´µ³9°ÕÌÓd¼µ¸¹®1ÅD®³9°iº¡®S°Ç·´µ¶¾¯r°±ÎcÂZ®?¯-{¸Á®1¯

ûÿ Aû&ý*+&üþÿAüû&ýw

ü~#~_+&üuÿ

º¡®1Í9¶Á®³³®³9°Û¯·¼&°·¶Á¯½Ò¼u¶¹°®?¯{º¡Ü?¯MÑ9²®¸¾¼°·×d¿Ê®¿´µÅDÅD®³¿®¯½´d³D®4Ï¡Ì1¿²¡°¶Á´µ³IÚd¸¹®?¯

û,ÿ%Aû&ý*+&üþÿAüû&ý=#++1_

¯½´d³9°¯¼u°¶¾¯±Ò¼µ¶Ø°·®1¯5Â<®³º¼u³9°°´d²¡°®¸¾¼Õº¡²Ç·Ì®2º®2¸g»®4Ï¡Ì?¿4²¡°·¶¹´d³IÚ

®4°¸¹®?¯

ûW,ÿ A·ûuý+uüþÿgüûuýwMý/L

¯½´d³d°Í&¼u¸Á¶Áº¡®?¯ÀÆ¸Á¼ÆÄ³.º¡®r¸g»®4Ï¡Ì?¿4²¡°·¶¹´d³)¯½¶/¿4®1¸¹¸Á®4åæ¿4¶/¯»®1¯½°

°®1ÇÅD¶Á³Ì®³´dÇÅÕ¼µ¸¹®1År®1³9°1È

ÖI®?¯5°·×d¿Ê®1¯ÂZ®1²Íµ®1³9°CP4°·Ç®ÃÇ®1¸¹¶ÁÌ®?¯5¸¹®?¯²³®1¯¼u²¡Ï¼u²°Ç·®1¯Ài¸g»¼u¶¾º¡®º¡®

&ý}ûuýüR

ÿgüûuýw

ÚI²³®Õ°·×d¿Ê®DÂZ´d²Í&¼u³9°P4°·Ç®Æ¼µ¶¹³¯¶ Ç·®4°·¼µÇ·ºÌ®

ñ

²¯·Ñd²"»À¿®ÆÑd²®Æ¯½®?¯¿4´µ³9°·Ç·¼µ¶¹³9°®?¯º¡®

¯½Îc³¿ÊÇ´d³¶Á¯·¼&°·¶¹´d³¯´µ¶Á®³9°¯¼u°¶¾¯±Ò¼µ¶Ø°·®1¯1È

jk%j n\xh!AvK{YuwnNpsC{JwvKrt{>\ xhr¢¡£r¤u1=¥q*nNn¦=v

§

¼µË¶Ø°·²®¸Á¸Á®ÅD®³9°1Ú¸¹®?¯)´d²¡°¶Á¸Á¯ º¡®§Â¸¾¼u³¶ØÄZ¿1¼&°·¶¹´d³T²°¶Á¸¹¶¾¯½®1³9°^º¡®?¯ÅDÌ4°Ê´cº®1¯^º¡®§Ç·®4å

¿Ê®Ç¿Ê®´dÂZÌ1Ç·¼u°¶Á´µ³³®1¸¹¸Á®µÈ\ò®Â<®³º¼u³9°¿4®?¯ÅDÌ4°·Ê´¡º¡®1¯³®¯´µ³9°ÂZ¼µ¯¼dº¼uÂ°Ì®?¯¼µ²¡Ï´dË¡å

ñ

®1¿4°¶¹Ò¯Mº¡®¨X©Xª«¬È/M{³Õ®R'<®°1Úu¸¾¼Ç®?¿Ê®Ç¿Ê®Û´µÂ<ÌÇ¼&°·¶¹´d³³®¸Á¸Á®ÛÍc¶¾¯½®À°·Ç´d²Íµ®1Ç/Ç·¼µÂ¶Áº®ÅD®³9°

º¡®1¯5¯´µ¸Á²¡°·¶¹´d³¯M´dÂ¡°¶ÁÅÕ¼u¸Á®1¯Û´µ²SÑ9²¼µ¯¶¹åA´dÂ¡°¶ÁÅÕ¼u¸Á®1¯1È

Ð

¼uÇ5¿´µ³9°Ç·®µÚc¼u²¿²³PÇ®°´µ²ÇÍd®Ç¯M¸A»²°¶¹å

¸¹¶¾¯·¼&°®1²ÇÛ³I»®?¯±°5¼µ¯·¯²ÇÌ®³P¿¼µ¯Ûº\»Ì1¿Ê®?¿º²¿¼µ¸Á¿²¸AÈcÙ¼u³Z¯M¸Á®¿1¼µ¯º¡®2¨X©Xª«¬Úcº\»²³®Â¼uÇ°

¶¹¸M³I»Î ¼ÂZ¼µ¯º¡®Æº¡ÌÄ³¶¹°¶Á´µ³Kº\»²³®ÕÅD®¶Á¸¹¸Á®²Ç®Õ¯´µ¸Á²¡°¶Á´µ³^®4°º\»¼u²°Ç·®rÂZ¼uÇ°¸Á®r°®1ÅrÂZ¯2º¡®

¿¼µ¸Á¿²¸³I»®1¯½°MÂ¼d¯{²³ÆÒ¼µ¿,°·®²Ç®1¯·¯½®1³9°¶Á®¸AÈµÙ®Â¸Á²¯Ú9¸Á®Ç®°´d²ÇMº\»¶¹³ÒÔ´µÇ·ÅD¼u°¶Á´µ³¯{Íµ®Ç¯ ¸A»²°¶¹å

¸¹¶¾¯·¼&°®1²Ç{®?¯±°M®?¯¯®³9°·¶¹®1¸gÚµÑ9²®¿4®¯´µ¶¹°Mº¡®1¯º¡¶¾¼uÓµ³´d¯½°¶¾¿¯ º\»®Ç·Ç®1²Ç¯/´µ²Æº¡®?¯ ¶¹³Zº¡¶Á¿1¼&°·®²Ç¯{¯²Ç

¸¹®?¯5¸Á¶¹Ód³®1¯5º¡®¿´µ³º¡²¶Ø°·®µÈ

Ð

¼uÇ"¼µ¶¹¸Á¸¹®1²Ç¯\¸g»®4Ï¡Ì?¿4²¡°·¶¹´d³2º¡®1¯I°·×µ¿Ê®1¯"ºI»²³®{¸¹¶ÁÓµ³®Mº¡®M¿´µ³º¡²¶Ø°·®{®4°¸¹®1²Ç¿´µÅDÂZÌ°¶¹°¶Á´µ³

ÂZ´d²Ç2¯1»¼µÂÂÇ·´µÂÇ·¶¹®1Ç¸¹®?¯Ç®?¯¯´µ²Ç¿4®?¯Â<®²°OP4°·Ç®DÍc²®Æ¿4´dÅDÅr®D²³p¯Î¡¯±°·ÜÅD®Õ¿4´µ³Z¿4²Ç·Ç®1³9°1È

ÖI®?¯¿´µ³º¶Ø°·¶¹´d³¯¯½´d³d°¼u¸Á´µÇ¯¿´µ³¯¶¾º¡ÌÇ·Ì®?¯¿´µÅDÅD®Ã²³ °±ÎcÂZ®rÂ¼µÇ½°·¶Á¿²¸¹¶Á®Çº¡®rÇ·®1¯·¯½´d²Ç·¿®1¯

Ñ9²®)¸Á®1¯D°×µ¿Ê®?¯Æ¿4´d³¯½´dÅDÅr®1³9°

ø

ÂÇ·Ì4åæ¿4´d³º¡¶¹°¶Á´µ³¯

´µ²ÂÇ·´¡º¡²¶¾¯½®1³d°

ø

ÂZ´9¯±°åô¿´µ³º¶Ø°·¶¹´d³¯

È

ÙÜ?¯¸¹´dÇ·¯1Ú¸A»²°¶Á¸¹¶¾¯¼u°¶Á´µ³^º¡®1¯ÇÌ?¯½®?¼u²¡Ïº¡®

Ð

®4°Ç·¶/¿4´µ¸Á´µÇ·Ì1¯O2õd®³UT:9cÚXõµ®1³=T/VÚ*4òÛõKTX;/ÂZ´d²Ç

ÅD´cºÌ¸Á¶Á¯®ÇD¿4®?¯°·×d¿Ê®1¯Ã®1¯½°Ã³Z¼&°²Ç®1¸¹¸Á®µÈÖI®1¯Ã¸Á¶¹Ód³®1¯Ãº¡®P¿´µ³º²¶Ø°·®¿Ê®1Ç·¿ÊÌ®1¯¼u¶Á³¯½¶Ñ9²®

¸¹®?¯Dº¡¶Á¼µÓµ³´9¯±°·¶Á¿1¯º\»®Ç·Ç·®²ÇÃÂZ®1²Íµ®1³d°P4°·Ç®i°Ç·´µ²ÍdÌ1¯Ã®³ ®4Ï¼uÅD¶Á³¼u³9°Ã¸A»®1¯Â¼µ¿®iº¡®1¯rÌ°·¼&°¯

¼µ¿1¿4®1¯·¯¶¹Ë¸Á®1¯1È

Ö"¼KÄZÓµ²Ç·®?)ÅD´d³d°·Ç® ²³Ç·Ì1¯®1¼µ²º¡®

Ð

®4°·Ç¶¿4´d¸¹´dÇÌ.År´¡º¡Ì1¸¹¶¾¯·¼u³9°P¯¶¹ÅDÂ¸Á®ÅD®1³d°P¸¹®?¯

°·×d¿Ê®1¯ÅÕ¼u³¶ÁÂ²¸ÁÌ®?¯/Â¼uÇM¨X©Xª«¬Úu¯¼µ³¯ÂÇ·®³º¡Ç·®Û®³D¿4´µÅDÂ¡°·®³¶¡¸¹®?¯ ¯½Îc³¿ÊÇ´d³¶Á¯·¼&°·¶¹´d³¯³¶

¸¹®?¯År´¡º¡®?¯/º¡®Û°®Ç·ÅD¶¹³Z¼u¶¾¯½´d³IÈ?Ö"®1¯/¿4´d²¸Á®²Ç¯

ø

°±ÎcÂZ®?¯

º¡®1¯

ñ

®°´µ³Z¯/²¡°¶Á¸¹¶¾¯Ì1¯/¯½´d³9°¸Á®1¯°·×d¿Ê®1¯1Ú

¸¹®?¯IÇ·®1¯·¯½´d²Ç¿4®1¯X®°¸Á®1¯¿4´µ³Zº¡¶Ø°·¶¹´d³¯1È1ÖI®?¯IÂ¸¾¼µ¿®1¯Y¨

+L

Ú/©>ª R¡ÿAüþýK)

®4°

"Ãûuý

¿4´dÇÇ·®1¯ÂZ´d³º¡®1³d°

¼u²¡ÏÌ°·¼&°¯º¡®?¯°×µ¿Ê®?¯ÈXÖI®?¯º¡®1²¡ÏS°Ç¼u³¯¶¹°¶Á´µ³¯¬«

)µüþý

®°3©

ý*+

Ç·®ÂÇ·Ì1¯®³9°·®³9°¸¹®rº¡ÌË²¡°

®4°Æ¸¾¼ Ä³ ºI»²³®S°·×µ¿Ê®µÈ¦<³®S°·×µ¿Ê®SºÌË²¡°·®

ø

Ç·®1¯ÂIÈ/°®1ÇÅD¶Á³®

¯¶¯½®?¯DÂÇ·Ì4åæ¿4´µ³Zº¡¶Ø°·¶¹´d³¯

ø

(5)

ÂZ´9¯±°åô¿´µ³º¶Ø°·¶¹´d³¯{º¡®ºÌË²¡° Ç·®1¯ÂIÈµ¯®1¯ Â<´d¯½°½åæ¿4´d³º¡¶¹°¶Á´µ³¯{º®5Ä³Õ®4°Û¯½®?¯ Ç®?¯¯´µ²Ç·¿®1¯ ¯´µ³9°

ÂÇ´¡º¡²¶¹°®?¯®,È

ÖI®ÛÇÌ?¯½®?¼u²rº¡®

Ð

®°Ç·¶c²¡°¶Á¸¹¶¾¯Ìº¼u³¯M¨X©Xª«¬D®1¯½° Â¸Á²¯ ¿4´dÅrÂ¸¹®Ïc®dÚÅD¼µ¶Á¯/¯²¶¹°/¸Á®1¯/ÅP1År®?¯

¶ÁºÌ®1¯1Èwiæ¸\®?¯±°ÂÇ·Ì1¯®³9°·Ìº¼u³¯¸¾¼D¯½®?¿,°¶Á´µ³¯VÈ

Done Idle

Conditions Executing

Resources

Begin

End

Task

Resource

Task Conditions

Task task

task task task

°¬±%²¬³N´#µ6¶¸·¹¤ºW»¼¾½R¿KÀ ¼¾·Á½ ¼Â,Ã¤»¾Ä¹¤Ä½3ÀRÅÆÇtÄ½#Ã¿KÈ3Èº½Ä/¿KÉ¹¤ÄeÊÄWÀ È ¼NÆ·»¾·Èº

jk%Ë Ì=q=Íu1rquwh=rÎn¦ÏZAq¤r^Ar

Ö{»´µ²¡°·¶¹¸{¨X©Xª«¬ º¶Á¯ÂZ´9¯½®Ãº\»²³®Ã¼µÇ·¿Ê¶¹°®?¿,°·²Ç®Ãº¡¶Á¯½°Ç·¶ÁË²Ì®dÈ<Ö"®¯®Ç·Íµ®²Ç®1¯½°²³.År´µå

°®1²ÇÃº\»¼u³Z¼u¸ÁÎc¯®Õº¡®ÕÇ·Ì1¯®1¼u²pº¡®

Ð

®°Ç·¶¿4´d¸¹´dÇÌ?¯

ø 2õµ®1³=T:9;

®°¸¹®Æ¿¸¹¶Á®³9°2ÒÔ´d²Ç·³¶Ø°2²³®Æ¶Á³¡å

°®1Ç½Ò¼d¿4®2Ç·®³º¼u³9°¸A»²¡°·¶¹¸Á¶¾¯¼u°¶Á´µ³.º¡®ÃÇÌ?¯½®?¼u²¡ÏS¿4´d¸¹´dÇÌ?¯5®4°¸g»¼u³¼µ¸¹Î¡¯®2Â¼µÇÓµÇ¼uÂÊ®1¯ºI»Ì°·¼&°¯

°Ç¼u³¯Â¼µÇ®1³d°·®À¸g»²¡°¶Á¸Á¶Á¯·¼&°·®²Ç?È\ò®1¸ÁÀÂ<®Ç·År®°Ì1Ód¼µ¸¹®1År®1³9°º¡®ÃÒ¼u¶ÁÇ®Ã°´d²Ç³®Ç¸Á®rÅr´µ°®1²Ç

º\»¼u³¼µ¸¹Î¡¯®Æ¯½²Ç²³®ÕÅÕ¼µ¿Ê¶Á³®ÆÂ²¶Á¯·¯·¼u³9°®Õ®°º\»²°¶Á¸¹¶¾¯½®1Ç²³®i¼u²¡°·Ç®ÕÅÕ¼d¿Ê¶¹³®Æ¼Íµ®1¿Dº¡®?¯

ÂZ®1Ç½ÒÔ´dÇÅÕ¼µ³¿4®?¯ÅD´d¶¹³ºÇ®?¯ÂZ´d²Ç5¸g»¶Á³d°·®ÇÒ¼µ¿®ÓdÇ·¼µÂÊ¶¾Ñ9²®µÈ

Ö{»¼uÇ¿Ê¶¹°®1¿4°²Ç·®.º¡®p¨X©Xª«¬®?¯±°Sº¡Ì1¿Ç¶¹°®^º¼u³Z¯Æ¸¾¼pÄÓd²Ç®Ð9¡ÈÖ{»®³9°Ç·Ì® º¡® ¸A»´µ²¡°·¶¹¸AÚ

Íc¶Á¼D¸A»¶Á³9°®1Ç½Ò¼d¿4®ÓµÇ¼uÂÊ¶ÁÑ9²®dÚ¡®1¯½°¿4´d³¯±°·¶Ø°·²Ì®Ãº¡®¸Á¼Õº®1¯·¿4Ç·¶¹Â¡°·¶¹´d³º¡®1¯°×µ¿Ê®?¯5®4°º¡®1¯5Ç·®1¯½å

¯½´d²Ç¿4®1¯1ÈÖ{»´µ²°¶Á¸"¿¼µ¸Á¿²¸¹®2º®1¯5Â¸¾¼u³Z¯º\»¼µ¿,°·¶¹´d³S®4°¸Á®1¯¼µ³¼u¸ÁÎ¡¯½®dÈZò®1¯5Ç·Ì1¯²¸¹°·¼u°·¯5Â<®²Íd®³9°

P4°·Ç®¯·¼u²Íd®Ód¼µÇ·ºÌ1¯ÂZ´d²Ç5²³®²¡°·¶¹¸Á¶¾¯¼u°¶Á´µ³P²¸Ø°·ÌÇ·¶¹®1²Ç·®µÈ

Nâµã%Xà

®?¯±°ÆÂÇ¶Á³¿4¶ÁÂ¼µ¸¹®1År®1³9°Õ¿´µÅDÂ<´d¯ÌPº\»²³Ì1º¶Ø°·®²ÇÕ®°iº\»²³¼µ³¼u¸ÁÎ¡¯½®1²ÇÕº¡®

Â¸¾¼u³¯º\»¼µ¿4°¶Á´µ³IÈÖM»²°¶Á¸¹¶¾¯¼u°®1²ÇÂZ®1²¡° ¼µ¶¹³¯¶²¡°¶Á¸Á¶Á¯®Ç.º®1¯P°·×d¿Ê®1¯P®°)Ç®?¯¯´µ²Ç¿4®?¯¯´µ¶¹°

ÂÇ·Ì1º¡ÌÄ³¶Á®1¯r¯½´d¶Ø°DÑd²"»¶Á¸5º¡Ì1¿Ç¶¹°Ã¸Á²¶¹åAÅPÅD®dÈÖM»¼µ³¼u¸ÁÎ¡¯½®1²ÇÂ<®Ç·ÅD®4°Ã®1³¯²¶Ø°·®Pº®iÓµÌ1³ÌÇ·®Ç?Ú

Íc¶Á¯²¼u¸Á¶¾¯½®1ÇÛ®°ÌÍ&¼u¸Á²®1Çº¡®1¯¸Á¶¹Ód³®1¯5º®2¿4´µ³Zº¡²¶¹°®µÈ

N¤KÑc¥

®1¯½°"¿4´d³¯±°·¶Ø°·²ÌMº¡® ¸A»¶¹ÅDÂ¸ÁÌÅD®³9°¼&°¶Á´µ³

ø

¿4´dÅrÂ¶¹¸ÁÌ®

¯½´d²¯ÒÓ«Ô¾ÕÖY×=ØÙCÚ

ø 2ò Ð

[C;

º\»²³TÅr´¡º¡Ü1¸¹®^ÓµÌ1³ÌÇ·¶¾Ñd²® º¡®?¯P°·×µ¿Ê®1¯1ÚÛ¼µ¶¹³¯¶Ñ9²®^ºI»²³T®³Z¯½®1ÅË¸Á®^ºI»¼µ¸¹Ód´uå

Ç¶¹°ÊÅr®?¯Mº\»¼u³Z¼u¸ÁÎc¯®5º¡®ÓdÇ·¼µÂÊ®1¯ ºI»Ì°·¼&°¯{º¡¶¾¯½Â<´µ³¶¹Ë¸Á®1¯Mº¼u³¯ZÒ¥ÓZ«RÔ¾Õ^ÖY×wØÙÚÆÈ9ÖI®5Ç·Ì1¯®1¼u²

¿4´d¸¹´dÇÌ¿4´dÇÇ·®1¯ÂZ´d³º¼µ³d°5¯®Ç¼ÂÇ·Ì1¯®³9°·Ìº¼u³¯¸¾¼D¯½®?¿,°¶Á´µ³¯VÈ

NÛSâµÞ<¦§¦^¥^Yâ:Û¡àgÞU6XàRiã%Æâµã%Xà39àã%Æ¤:WÑ9¥^

¯»®'X®1¿4°²®ÓµÇ×µ¿4®5À¸A»²°¶¹å

¸¹¶¾¯·¼&°¶Á´µ³ º¡®S¸Á¼ Ë¶ÁË¸Á¶¹´µ°ÊÜ?Ñd²®oØ©^ÜCÜ«W×=ØÙCÚ

ø

2ÞÝ¬438w? ;

Ñd²¶5ÂZ®1ÇÅD®4°Æº¡®PÒ¼µ¶¹Ç·®¿´µÅrå

Ðà Ð

(6)

State Space Analysis Algorithms CPN

Task Model Plan

Editor

Plan Analyser

Analysis

Init

SML Session SML Session

Comms/CPN

COAST client COAST server

°¬±%²¬³^áµ6âhãH¿KÈÆRÇ¤¼ÀÄÆWÀ É¤ÈÄ»¾·ä1¼¾ÆW¼¾ÄW»»¾ÄB¹¤ÄåYæYçè/é

R ,üû&ýGD=Bê

ÂZ®1ÇÅD®4°¼µ²¿4¸Á¶Á®³9°º\»¼µÂÂ<®¸Á®Ç5º¡®1¯ÛÒÔ´d³¿,°·¶¹´d³¯º¡²S¯½®1ÇÍd®²ÇÛ®4°º¡®Ç·®1¿4®1Íµ´d¶¹Ç

¸¹®?¯2Ç·Ì1¯²¸¹°·¼&°¯ÈÖI®Æ¿4¸Á¶Á®³9°2ÒÔ´µ²Ç³¶¹°2¸Á®ÆÅÕ¼uÇÑd²Z¼uÓµ®D¶Á³¶¹°¶¾¼u¸º²pÇÌ?¯½®?¼u²K¿4´µ¸Á´µÇ·ÌµÚ\®°¸Á®1¯Â¼uå

Ç·¼µÅDÜ4°Ç·®1¯¿´µÇ·Ç®?¯½Â<´µ³º¼u³9°À¸g»®³Z¯½®1ÅË¸Á®Õº¡®r°·×µ¿Ê®1¯®4°º¡®DÇ·®1¯·¯½´d²Ç¿4®1¯1ÚÍc¶¾¼P¸Á¼S¿4´d²¿Ê®

¨

ýZüþÿ

È<Ö{»¼uÂÂ<®¸º¡®1¯ÒÔ´µ³¿4°¶Á´µ³¯º\»¼µ³¼u¸ÁÎ¡¯½®2º²ÓµÇ¼uÂÊ®2ºI»Ì°·¼&°¯¯1»®R'<®?¿,°·²®¼u²S°·Ç·¼Íd®Ç¯5º¡®

¸Á¼D¿´µ²¿Ê®

ý*HWR

È

Ù¼µ³¯¸¾¼r¯®1¿4°¶Á´µ³S¯½²¶¹Í&¼u³9°·®µÚ¡³´d²¯®4Ï¡Â¸Á¶Á¿¶Ø°·´µ³¯¸¹®?¯5º¡¶('XÌÇ·®³9°¯ÅrÌ?¿¼µ³¶Á¯ÅD®1¯5º¡®¯Îc³¡å

¿ÊÇ·´µ³¶¾¯¼u°¶Á´µ³®³9°Ç·®°·×µ¿Ê®1¯5Ñ9²®³´µ²Z¯5¼Íµ´µ³Z¯ÅD¶¾¯5®³¯Q²ÍcÇ·®µÈ

ë ì ì2éÃê"ëJí2ð4éÃê^î\ï íBîñðòÕéïJóëì2éPðï^íêð4ì2é

Ö"¼ ¯½Îc³¿ÊÇ·´µ³¶Á¯·¼&°·¶¹´d³Kº®i°×µ¿Ê®?¯®?¯±°r²³®ÒÔ´µ³¿4°¶Á´µ³³¼µ¸¹¶¹°Ì¶¹ÅDÂ<´µÇ°·¼µ³d°·®Pº®1¯Ã´µ²¡°·¶¹¸¾¯

º¡®Â¸¾¼u³¶¹ÄZ¿¼u°¶Á´µ³IÚcÂ²¶Á¯·Ñ9²®Ë¶¹®1³¯´µ²Íd®³9°¸¹®?¯M°×µ¿Ê®?¯º¡´µ¶ÁÍµ®1³d°P4°·Ç®¿4´c´dÇ·º¡´d³³Ì1®1¯ÂZ´d²Ç

¼&°°®¶Á³º¡Ç·®S²³®®R.Õ¿1¼µ¿¶Ø°·ÌPÅÕ¼uÏc¶ÁÅÕ¼u¸Á®µÈò®?¯Õ¯½Îc³¿ÊÇ·´µ³¶Á¯·¼&°·¶¹´d³¯Â<®²Íµ®³9°ÕÂÇ·®³ºÇ®º¡¶¹Òþå

ÒÔÌÇ·®³9°®?¯2ÒÔ´dÇÅD®?¯È

Ð

¼uÇr®4Ï¡®ÅDÂ¸Á®µÚ º¡®?¯°×µ¿Ê®?¯Â<®²Íµ®³9°D¿4´µÅDÅD®³Z¿4®Çr´µ²§°®Ç·ÅD¶¹³®ÇD®³

ÅPÅD®°®1ÅrÂZ¯

ø

Íd´µ¶ÁÇ5¸¹®ÂÇ®1År¶Á®Ç5®Ï¡®ÅDÂ¸Á®2¿4¶¹åôº¡®?¯¯´µ²Z¯

ø

?

*ô

´d²P²³®°·×d¿Ê®¿4´µÅDÅD®³Z¿4®

¼uÂÇ·Ü1¯Ñ9²I»²³®¼µ²¡°Ç·®{°·®Ç·ÅD¶¹³®

ø9

*ô

´µ²2²³®M°×µ¿Ê®Û¿4´dÅrÅD®1³¿4®ÛÀ²³®º¼u°®ÛÂÇÌ?¿4¶¾¯½®

ø±ÿ ,ü()/

):R/ø

]

*ô

´µ².²³®Ã°·×µ¿Ê®Ã¯®2°®1ÇÅD¶Á³®Ã¼Í&¼µ³d°²³®Dº¼&°·®ÂÇ·Ì1¿¶Á¯®

ø!+:+üþý*WDø

V È\Ù¼µ³¯

²³i®1³cÍ9¶ÁÇ·´µ³³®1ÅD®³9°MÇ·Ì®¸AÚ9²³®°×µ¿Ê®ÂZ®1²¡°5¼Íµ´µ¶ÁÇMº¡®?¯¿´µ³9°Ç¼u¶Á³9°®?¯Mº¡®¯½Îc³¿ÊÇ·´µ³¶Á¯·¼&°·¶¹´d³

¿4´dÅrÂ¸¹®Ïc®?¯

ø%õ:

Èwö ´d¶Á¿¶I¿4¶Á³ÑÆ®Ïc®1ÅDÂ¸¹®?¯ÇÌ?¼u¸Á¶Á¯½°®?¯º¡®2¯½Îc³¿ÊÇ´d³¶Á¯·¼&°·¶¹´d³¯1È

ø?

o"#_RLý}wR3¡ý¥&ÿAÿ:÷=3ü~¥1ÿ&ý*_ 1¬¡ýOüRL#¡ýü÷R=ø

ø9

o"#_RLý}wR3¡ýoWR¡ÿ\*!ù 3¡ý*ÿ|}w+O!ýwR4ü()µýR~4ýZÿø

ø]

o"#_RLý}wR3¡ýoWR¡ÿ\úû:ü}wø

øV

6C}wR3¡ý*~rüüûuý6+:!û&ýZýuüRuý#/WuýÿLÿ%ûuü,üù~Zýû1Rø

ø%õþG4ý*O+:

ª

û~!+:~4ýZÿO:_,üýw¬ 1¬¡ý3~ÿR~¥4üRLýG¡ý }wR1!ø

³´u°Ç·®¿´µ³³Z¼u¶¾¯¯·¼u³¿®µÚ"¼µ²¿4²³´µ²°¶Á¸Ûº¡®PÂ¸¾¼u³¶¹ÄZ¿1¼&°¶Á´µ³³®Â<®²°rÓdÌÇ·®Ç2°·´µ²¯r¿4®?¯

§ ø ø

(7)

ø

¿´µÅDÅD®³¿®Çi´d²Ä³¶ÁÇi®1³ Å¥P1ÅD®°®1ÅrÂZ¯

ø ?

ÚÛ¿4´dÅrÅD®1³¿4®1Çi¼uÂÇ·Ü1¯Æ²³® ¼µ²¡°Ç·®S°·×d¿Ê®

ø9 A

ÈZö)¼u¶¾¯5º¡®1¯¯½Îc³¿ÊÇ·´µ³¶Á¯·¼&°·¶¹´d³¯¿´µÅDÂ¸Á®4Ï¡®1¯Û°·®¸Á¸¹®?¯Ñ9²®

ø%õ:

³®2¯½´d³9°ÂZ¼µ¯ÓµÌ1ÇÌ1®1¯1È¡Ö"¼

Íµ®1Ç·¯¶¹´d³¶¹³¶Ø°·¶Á¼µ¸¹®Dº¡®Æ¨<©\ª«4¬KÂÇ´dÂZ´9¯½®2²³ ¯®²¸/ÅDÌ1¿1¼u³¶¾¯½ÅD®rº¡®r¯Îc³¿ÊÇ·´µ³¶¾¯·¼&°¶Á´µ³þ\º¡®?¯

ÓµÇ·´µ²Â<®1¯5º®°×µ¿Ê®?¯ÂZ®1²Íµ®1³9°¿4´µÅDÅD®³Z¿4®Ç´d²i°·®Ç·År¶Á³®1Ç¯½¶ÁÅ²¸Ø°¼u³Ì1År®1³9°1È

Ù¼µ³¯I¸¾¼5¯²¶Ø°·®µÚ?³´µ²Z¯IÂÇ·´µÂ<´d¯´µ³¯X²³®Mº¡ÌÄ³¶¹°¶Á´µ³2ÂÇ·Ì1¿¶Á¯®{º¡®?¯"¯Î9³Z¿ÊÇ´d³¶¾¯¼u°¶Á´µ³¯1Ú4Ñ9²¶

®³Ód¸¹´dËZ®¸¹®?¯¯½Îc³¿ÊÇ·´µ³¶Á¯·¼&°·¶¹´d³¯ ²¯²®¸Á¸Á®1¯ÛÅÕ¼u¶¾¯¼µ²¯¯¶Xº¡®1¯¯Î9³Z¿ÊÇ´d³¶¾¯¼u°¶Á´µ³¯MÂ¸¹²Z¯¿´µÅrå

Â¸Á®4Ï¡®1¯1Èw[´d²¯5º¡Ì4ÄZ³¶Á¯·¯´µ³¯Û°·´µ²¡°º\»¼uË<´µÇºÆ°·Ç´d¶Á¯ÛÓdÇ´d²ÂZ®?¯º¡®ÂÇ·´µÂÇ·¶¹Ì°Ì?¯¶Á³º¡Ì1ÂZ®1³º¼µ³d°¯

®³9°Ç·®®1²¡Ï\È¡ò®?¯{ÂÇ·´µÂÇ·¶ÁÌ4°Ì?¯{¯´µ³9°M®³Z¯½²¶¹°®¿4´dÅË¶Á³Ì®?¯ Â<´µ²Çº¡ÌÓ9¼uÓd®Ç{º¡®?¯

R}w_R~ __

~ýÿ&ü 3+ &ý}·û&ýüRuÿgüûuý

È1[´9¯¯Îc³¿ÊÇ·´µ³¶¾¯¼u°¶Á´µ³¯M¯½´d³d°Û¿4®¸Á¸Á®1¯ÛÑd²¶<¯1»´dË¡°¶Á®³³®³9°

Â¼uÇ¶Á³¯½°·¼µ³d°·¶Á¼u°¶Á´µ³^®4°¿´µÅDÂZ´9¯½¶¹°¶Á´µ³^º¡®Æ¿4®?¯¯¿ÊÌÅÕ¼µ¯Ì1¸¹Ì1År®1³9°·¼u¶ÁÇ·®1¯1È*[´µ²¯ÅD´d³d°·Ç´d³¯

¸g»®4Ï¡ÂÇ·®1¯·¯¶¹Íc¶¹°Ìº¡®¿4®?¯M¯·¿ÊÌÅÕ¼d¯M¯²Ç¸Á®1¯Û¿4¶Á³Ñr®4Ï¡®1ÅrÂ¸¹®?¯M¶Á³9°Ç·´cº²¶Ø°¯MÂ¸¹²¯Ê¼µ²¡°1È0¶¹³¼µ¸¹®å

ÅD®³9°1Ú²³®2²¡°·¶¹¸Á¶Á¯·¼&°·¶¹´d³

ñ

²º¡¶¾¿4¶Á®²¯®2º¡®2¿4®?¯¯·¿ÊÌÅÕ¼µ¯Û®°º¡®¸¾¼Ã³´u°¶Á´µ³º\»ÌÍdÌ³®1ÅD®³9°º¡®

°·×d¿Ê®¼uÅDÜ³®Àr¸¾¼Ã³´u°¶Á´µ³Sº¡®

R_4ý*,üû¯ÿ,ý*&ÿAü$

ÚÑ9²¶"¯1»¼ÍdÜÇ·®²¡°·¶¹¸Á®Â<´µ²Ç5¸Á®Ç·¼/.D³®4å

ÅD®³9°º¡®1¯ÅD¶¾¯¯¶Á´µ³¯1È

ËkAl

¬pCuwAnNpCv

ß"´d²¡° º\»¼µËZ´dÇ·º³´µ²Z¯"¶Á³9°Ç·´cº²¶Á¯´µ³Z¯¸Á®1¯³´µ°¶Á´µ³¯º\»

__ýR~ýÿJ+ÿ|:}=

®4°{º¡®

+_RL&ü

È

ÖI®?¯Ì1ÍµÌ³®ÅD®³9°·¯Ãº¡®°·×µ¿Ê®1¯¯´µ³9°Dº¡®1¯ÃÌÍdÌ³®1År®1³9°·¯2Ç·®¸¾¼&°·¶ØÒ¯r¼u² º¡ÌÇ·´µ²¸Á®ÅD®1³d°rº\»²³®

°·×d¿Ê®µÚ9Â¼uÇ®4Ï¡®ÅDÂ¸Á®¯´µ³Æº¡Ì1Ë²¡°´µ²Æ¯·¼Ä³"È:M{³i®4Ï¼uÅD¶Á³¼u³9°M¸Á®1¯®4Ï¡®ÅDÂ¸Á®1¯º¡´µ³³Ì1¯Â¸Á²¯

Ê¼u²°1Úc¶¹¸\¼µÂÂ¼uÇ¼¾°ÛÑ9²®¸Á®1¯¯½Îc³¿ÊÇ´d³¶Á¯·¼&°·¶¹´d³¯{¯®ÒÔ´d³9°Û®1³d°·Ç®ÌÍdÌ³®1År®1³9°·¯Ûº¡®°×µ¿Ê®?¯Û®4°

³´µ³®1³9°Ç·®°·×d¿Ê®1¯1ÈZÖ"®1¯ºÌ¸¾¼u¶¾¯¯½®1ÇÍd®³9°ÀÆ¼/.D³®Ç¸Á®1¯ÌÍdÌ³®1År®1³9°·¯º®°·×d¿Ê®1¯1Ú®1³¸¹®1²Ç

¼ ñ

´d²¡°·¼µ³d°²³®Ñd²Z¼u³9°¶¹°ÌÛº¡®{°·®ÅDÂ¯

ø

Â¼µÇ®Ïc®1ÅDÂ¸¹®

{ýe+û ~rüþý¤

ÈWiæ¸Á¯Â<®Ç·År®°½°·®³9°

º¡®Ç¼uÂÂÇ´¡¿Ê®1Ç ¸¹®?¯M¯Îc³¿ÊÇ·´µ³¶¾¯¼u°¶Á´µ³¯/Ç·®¸¾¼&°·¶¹Íd®1¯{¼µ²¡Ïr°·×µ¿Ê®1¯{®°¿4®1¸¹¸Á®1¯M¸¹¶ÁÌ®?¯À2¸g»Ê´µÇ·¸Á´µÓµ®

Óµ¸Á´µË¼µ¸¹®dÈ

[´d²¯º¡ÌÄ³¶¾¯¯´µ³¯5°Ç·´µ¶¾¯Û°±Î9Â<®1¯º¡®ÂÇ·´µÂÇ·¶ÁÌ4°Ì?¯¯²Ç¸Á®1¯¯Îc³¿ÊÇ·´µ³¶¾¯¼u°¶Á´µ³¯1È

Ð

Ç·®ÅD¶¹Üå

Ç®1ÅD®³9°{³´µ²Z¯ º¡¶Á¯½°¶Á³Ód²´µ³¯/®1³9°Ç·®

&ý*}1û&ýZüuÿgüûuý3$4û,ÿø

³´u°·Ì®É

ÚµÑ9²¼u³ºr²³DÌ1ÍµÌ³®4å

ÅD®³9°º®°×µ¿Ê®®1¯½°Û¸Á¶¹ÌÀ2²³i¶Á³¯±°¼u³9°ÂÇÌ?¿4¶¾¯Ú9®4°

&ý*}1û&ýZüR&ÿAüû&ýO$uüLiøÎ

ÚÑd²Z¼u³º

²³ÕÌÍdÌ³®1ÅD®³9°Mº¡®5°×µ¿Ê®5®?¯±°{¸Á¶¹ÌÀ²³Õ¶¹³9°·®Ç·Í¼µ¸¹¸Á®º¡®5°·®ÅDÂ¯1ÚuÂ¼µÇ{®4Ï¡®ÅDÂ¸Á®

¼Í&¼u³9°\?

õ

Ê1®

´µ²

¼µÂÇ·Ü1¯¸¾¼ÄZ³Sº®÷\®È

Ù®1²¡Ï¡¶¹Ü1ÅD®ÅD®³9°³´µ²Z¯º¶Á¯½°¶Á³Óµ²´µ³¯®³9°·Ç®

&ý}ûuýüR&ÿAüû&ý4û/H=)ø

÷ ÚIÑd²Z¼u³º

²³)Ì1ÍµÌ³®ÅD®³9°º¡®2°·×µ¿Ê®2®1¯½°¯Î9³Z¿ÊÇ´d³¶¾¯½Ì2¼Íd®1¿¸g»Ê´dÇ¸Á´µÓd®Óµ¸Á´µË¼µ¸¹®dÚ®4°

&ý}ûuýüR

ÿgüûuýþ!RL&ÿAüWSøC

ÚIÑ9²¼µ³º²³ ÌÍdÌ³®1År®1³9°º¡®°·×µ¿Ê®®1¯½°¯½Îc³¿ÊÇ·´µ³¶Á¯Ì¼Íµ®?¿²³.¼µ²¡°Ç·®

ÌÍdÌ³®1År®1³9°5º®°·×µ¿Ê®µÈ

ß"Ç·´µ¶¾¯¶¹Ü1År®1ÅD®³9°5³´µ²¯5º¶Á¯½°¶Á³Óµ²´µ³¯1Úº¼u³Z¯¸¹®2¿1¼µ¯5º¡®?¯¯½Îc³¿ÊÇ´d³¶Á¯·¼&°·¶¹´d³¯Ç®1¸Á¼u°¶ÁÍµ®1¯1Ú

®³9°Ç·®

&ý*}1û&ýZüuÿgüûuý 4ü&ÿ_!/L ø7

Ú5Ñd²Z¼u³º ¸Á®1¯°×µ¿Ê®?¯Æ¶ÁÅrÂ¸¹¶¾Ñ9²Ì®?¯´d³9°i°´d²¡°®?¯

®'X®1¿4°¶ÁÍµ®ÅD®1³d°²³®.¿´µ³9°Ç¼u¶Á³9°®

ø

¿´µ³9°Ç¼u¶Á³9°®?¯DÅ²¡°·²®¸Á¸¹®?¯

Ú®°

&ý}ûuýüR&ÿAüû&ý¢¡ýü

L&ÿ_R!L

Ñ9²¼µ³ºK²³®i¯®²¸¹®iº®1¯°×µ¿Ê®?¯2¼²³®i¿4´d³d°·Ç·¼µ¶¹³9°·®ÕÂ¼uÇ2Ç¼uÂÂZ´dÇ½°¼µ²¡ÏK¼µ²¡°Ç·®1¯1È

ò®¸¾¼2Â<®Ç·ÅD®4°5º¡®º¡¶¾¯½°¶Á³Óµ²®1Ç®1³9°Ç·®

÷Tº¡Ì1Ë²¡°®¯·¯½¶7 º¡ÌË²°® ®

ø

Ë¶Á¸Á¼u°ÌÇ¼u¸Á®µÚc÷®°7º¡Ìå

ÅÕ¼uÇ·Ç®1³d°®1³¯®ÅË¸¹®´d²P³®º¡ÌÅÕ¼µÇÇ·®³9°5Â¼µ¯

®°

÷ ºÌË²¡°·®¯®²¸Á®ÅD®³9°¼µ²º¡ÌÅÕ¼uÇ·Ç¼uÓµ®

º¡®7N®

ø

²³¶Á¸Á¼u°ÌÇ¼u¸Á®µÚ¯®²¸I÷ ¼Ã²³®2¿4´d³d°·Ç·¼µ¶¹³9°·®

È

Ëk%j qUÍh {>vxCrzvhpCqUÍhwnZpCAvK{YuwnNp

Ð

´µ²Ç®4Ïc°·Ç·¼µ¶¹Ç·®Ã¸Á®1¯¯·¿ÊÌ1ÅD¼d¯º¡®Æ¯½Îc³¿ÊÇ´d³¶Á¯·¼&°·¶¹´d³IÚ<³´µ²¯¿´µÅÃË¶¹³´µ³¯¸Á®1¯ÂÇ·´µÂÇ·¶ÁÌ4å

°Ì?¯DÂÇÌ?¿4Ì?º¡®³9°®?¯È ö)¼µ¶Á¯Õ¿®Ç°·¼µ¶¹³¯D¯·¿ÊÌÅÕ¼d¯Ã´dË¡°®1³c²¯D¯½´d³d°D¶Á³¿4´dÊÌÇ·®³9°·¯DÀK¿¼µ²¯®Pº¡®?¯

¯½Îc³¿ÊÇ´d³¶Á¯·¼&°·¶¹´d³¯Ë¶¹¸¾¼&°·ÌÇ¼u¸Á®1¯1ÈIò´d³¯¶Áº¡Ì1Ç´d³¯ÂZ¼uÇ®4Ï¡®ÅDÂ¸Á®D²³®Õ¯Î9³Z¿ÊÇ´d³¶¾¯¼u°¶Á´µ³Ë¶¹å

(8)

°·¼µÇ·º\ÈÖ"®2¿4´dÅrÅD®1³¿4®1År®1³9°5º®7 ®1¯½°º¡´µ³Z¿¯´µ²År¶¾¯5Àr²³®2¿´µ³º¡¶¹°¶Á´µ³ÒÔ²¡°·²Ç®dÈ

Ð

´µ²Ç2Ì1Íc¶Ø°·®ÇÃ¿®1¯ÂÇ´dË¸ÁÜÅD®1¯1ÚI¸¾¼³´u°·¶¹´d³§º¡®i¯Îc³¿ÊÇ·´µ³¶¾¯¼u°¶Á´µ³^Ë¶Á¸Á¼u°ÌÇ¼u¸Á®Æ®?¯±°Ç·®1¯½å

°Ç·®¶Á³9°®Dº¡®Õº¡®²¡ÏÒ¼:S4´d³¯¥\²³®D¯½Îc³¿ÊÇ·´µ³¶Á¯·¼&°·¶¹´d³)Ë¶Á¸Á¼u°ÌÇ¼u¸Á®³®ÃÂ<®²¡°P°Ç·®rÑ9²®ÃÒÔ´µÇ°®dÚ

®4°³®Â<®²°¼Íµ´µ¶ÁÇ5º¡®2º¡Ì1¸Á¼µ¶

ø

¿uÈÀ&åæº\ÈÑ9²®¸Á®2º¡Ì¸¾¼u¶\Í&¼µ²¡°C8

ÈÖI®?¯5¯½Îc³¿ÊÇ·´µ³¶Á¯·¼&°·¶¹´d³¯¼Íd®1¿

º¡®1¯º¡Ì¸¾¼u¶¾¯Ç®?¯±°·Ç®1¶¹³9°¯Û¯´µ³9°º¡¶¹°®?¯

úh$uüLh*!_4ü,üû&ýø

Ö È

ò®4°°®ÅDÌ°Ê´¡º¡®Ã³´µ²¯¼uÅDÜ³®ÀÆº¡¶¾¯±°·¶¹³Óµ²®1Ç¿4¶Á³ÑS¯·¿ÊÌÅÕ¼µ¯Ì¸ÁÌÅD®³9°·¼µ¶¹Ç·®1¯º¡®¯Îc³¡å

¿ÊÇ·´µ³¶¾¯¼u°¶Á´µ³¯BMÉ¡÷åæÉcÎc³¿µÚN75É

ÖIåæÉcÎc³¿µÚ{É

§

å±ÉcÎc³¿uÚ

÷5å±ÉcÎc³¿uÚ h§

åæÉcÎc³¿µÈ{ÖI®?¯rÄå

Óµ²Ç·®1¯¿¶Øåæ¼uÂÇ·Ü1¯º¡Ì?¿4Ç·¶¹Íd®³9°²³®D¶¹³Z¯±°¼u³9°¶¾¼&°·¶¹´d³.Â¼µÇ½°·¶Á¿²¸¹¶ÁÜÇ·®Dº¡®Æ¿Ê¼µ¿²³ º®1¯¯·¿ÊÌÅÕ¼µ¯1È

iæ¸º¡´d¶Ø°P4°·Ç®¿¸Á¼µ¶¹ÇÆÑ9²®S¸Á®1¯ÕÌ1ÍµÌ³®ÅD®³9°·¯Dº¡®S°×µ¿Ê®?¯

ø

º¡ÌË²¡°®,Ú

Ä³®

Ú Â<´µ²ÇÕ¸Á®1¯Õ¯Îc³¡å

¿ÊÇ·´µ³¶¾¯¼u°¶Á´µ³¯ÃÇ·®¸¾¼&°¶ÁÍµ®?¯Ú/®°D¸Á®1¯DÇ·®¸¾¼&°·¶¹´d³§°·®ÅDÂZ´dÇ®1¸¹¸Á®1¯

ø

¼Í&¼µ³d°A®Ú^®±¼uÂÇ·Ü1¯®

ÚÂZ´d²ÇÕ¸¹®?¯

¯½Îc³¿ÊÇ´d³¶Á¯·¼&°·¶¹´d³¯MÒ¼u¶ÁË¸¹®?¯ÚÂZ®1²Íµ®1³d°\P°Ç·®2Ñd²®¸¾¿4´µ³ZÑd²®1¯1È

Task A

10 Time

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

Task A Task B

8*9 :;=<?>@

"!#$A%B .C-

: ')C*D,-/.C#=-

.+#EF.+GH*IJ.

15

8$KL <MN =! #D$O% P')+*,-/.

0QSRD#T' .O:VUW4KX

Task A

10 Time

'DYZ "!#$O% P' )+*D, -/.?\[]/^+E

-3254+6

10

8.7_Y`<MN =! #D$a%(b')+*,-/.

\[]/^+EcSRD#T'.d:VUe476

(9)

[´d²¯MÅD´d³d°·Ç´d³¯M¿´µÅDÅD®³9°Û¿®1¯Û¯¿ÊÌÅÕ¼µ¯º¡®¯Îc³¿ÊÇ·´µ³¶¾¯·¼&°¶Á´µ³DÂ<®²Íd®³9°ZP°Ç·®²¡°·¶¹¸Á¶¹å

¯½Ì?¯ÂZ´d²Ç5ÅD´¡º¡Ì¸Á¶Á¯®Ç5¸Á®1¯¿4¶Á³ÑÕ®4Ï¡®1ÅrÂ¸¹®?¯¶¹³9°Ç·´¡º¡²¶¹°·¯¼µ²PºÌË²¡°º®2¿4®4°°®2¯®1¿4°¶Á´µ³IÈ

?µÈ

"#_RLý}wR#¡ý*&ÿAÿ:÷=#,ü~¥1ÿuý_# 1¡ýüRL¡ýü÷R=rq

¸Á®1¯¿´µÅDÅD®³¿®4å

ÅD®³9°·¯º®1¯5¼µ¯·¯·¼u²¸¹°·¯¯´µ³9°¯½Îc³¿ÊÇ·´µ³¶Á¯Ì1¯¼Íµ®?¿²³®75É

Ö\å±ÉcÎc³¿

ø

ÄZÓµ²Ç·®3]

øË A

È

9¡È

"#_RLý}wR¯¡ýÎ/¡ÿ#*!ù£¡ý*Pÿ|:}=o+:,!ýwRü()uý*~ýÿjq

¸Á®º¡ÌË²¡°iº¡®

¸g»¼µ¯·¯·¼u²¡°5®1¯½°¸Á¶¹Ì2ÀD¸¾¼rÄ³º¡®2¸¾¼r°·×d¿Ê®º¡®2Ç·®³¯®¶ÁÓµ³®ÅD®³9°·¯ÂZ¼uÇ5²³®

C§

å±ÉcÎc³¿

º¡®°±ÎcÂZ®

¼uÂÇÜ?¯®

ø

ÄÓµ²Ç·®3]

ø® A

È

]È

"#_RLý}wR¡ý/¡ÿ^ú3ûü}sq

¸Á®Ûº¡Ì1Ë²¡° º¡®Û¸Á¼°·×µ¿Ê®M®1¯½°¸Á¶ÁÌÛÀ¸g»Ê´µÇ·¸Á´µÓµ®MÓµ¸Á´µË¼µ¸¹®

Â¼uÇ5²³®É¡÷5å±ÉcÎc³¿

ø

ÄZÓµ²Ç·®3]

ø¼ A

È

VÈ

C}wR ¡ý~rü,üûuýG+ !û&ýZý&üR&ý*&ýZÿ>Lÿ%·û&ü,üù~Jýû/1tq

¸Á¼ÄZ³iº¡®

¸Á¼ÃÅD¶Á¯·¯¶¹´d³º¡®Ç®?¿4´d³³¼u¶¾¯·¯¼µ³¿4®®?¯±°5¸Á¶¹Ì1®ÀÃ¸A»Ê´dÇ¸Á´µÓd®Ód¸¹´dË¼u¸Á®Â¼µÇ²³®

÷5å±ÉcÎc³¿

º¡®°±ÎcÂZ®

¼Í&¼u³9°®

ø

ÄÓµ²Ç®]

øº

!

È

õ È

G4ý*£+R

ª

·û/~/!+R~ýÿ%¯:_,üýwe 1e¡ý*B~ÿR~£ü-4ý ¡ý}=1!uq

¸¹®ÃÂÇ·®ÅD¶¹®1ÇË<´µÅÃË¼uÇº¡®ÅD®1³d°³I»¼iÂ¼µ¯º¡®D¿4´µ³9°·Ç·¼µ¶¹³9°®?¯°·¼µ³º¡¶¾¯Ñ9²®¸¹®r¯½®?¿4´µ³Zº®³

¼pº¡®²ÏXÈÛÉc´µ³ ¿4´dÅDÅr®1³¿4®1ÅD®³9°Æ®1¯½°Æ¸¹¶ÁÌ)ÀK¸¾¼^Ä³ º¡² ÂÇ·®ÅD¶¹®1ÇÆ¼µ¯·¯¼µ²¡°ÕÂ¼uÇi²³®

h§

å±ÉcÎc³¿µÚ¯·¼PÄ³§®?¯±°¸Á¶ÁÌ®i¼µ²§º¡ÌË²°Ãº¡²§ÂÇ·®ÅD¶Á®Ç2Ë<´µÅÃË¼uÇº¡®1År®1³9°2Â¼uÇÃ²³®

h§

å±ÉcÎc³¿¼Íµ®1¿ÕºÌ¸¾¼u¶º\»²³®iÊ®1²Ç·®

ø

ÄÓd²Ç·®]

ø® A

ÈÖM»®1³¯®ÅË¸¹®iº®¿4®?¯¯Îc³¡å

¿ÊÇ·´µ³¶¾¯¼u°¶Á´µ³®1¯½°Ç·®ÂÇÌ?¯½®1³d°·Ìº¼u³¯¸¾¼ÃÄÓµ²Ç®¬VÈ

Airstrike1

Airstrike2

1 hour

°¬± ²¬³v£µxwÆRÇtºWÂG¿-¹*ÉÆW¼ÁyUÉ¤¼zWÂ-ÄÄh¤ÄWÂ,Ã¤»¾Äe¹¤Ä½7kÁtÆÇ¤È·Á¤¼¾½R¿KÀ ¼¾·Á

Ëk{ q*pC{J=nNv{>u1rt=pC{^uw}|v

Ð

´µ²ÇÃ¸¹®PÅD´µÅD®³9°Ã³´µ²¯Ã³I»¼Íµ´µ³Z¯¿4´d³¯¶Áº¡Ì1ÇÌÑd²®º¡®?¯2°×µ¿Ê®?¯Ã¯®Æ°·®Ç·År¶Á³¼µ³d°r³´µÇå

ÅÕ¼u¸Á®ÅD®³9°1È^[´µ²Z¯®³cÍc¶Á¯·¼uÓd®´µ³Z¯ÅÕ¼µ¶¹³9°®1³¼u³9°¸Á®Æ¿¼µ¯´K²³®D°·×d¿Ê®D®1¯½°¯½Îc³¿ÊÇ´d³¶Á¯Ì®

¼Íµ®?¿²³®¼µ²¡°Ç·®5°×µ¿Ê®Ñ9²¶<Ì1¿Ê´µ²®´d²Õ®1¯½°¶Á³9°®Ç·Ç·´µÅDÂ²®dÈdÙ¼u³¯M¸¹®¿¼µ¯º\»²³®¯Îc³¿ÊÇ·´uå

³¶¾¯¼u°¶Á´µ³ Ë¶Á¸Á¼u°Ì1Ç·¼µ¸¹®dÚM¸¾¼K°·×d¿Ê®.¯Î9³Z¿ÊÇ´d³¶¾¯½Ì1®)º¡´µ¶¹°P¿¸Á¼µ¶¹Ç·®ÅD®³9°eP°Ç·®.¶Á³d°·®Ç·Ç´dÅDÂ²®)À

¯½´d³i°·´µ²Ç?È

Ð

´µ²Ç5²³®2¯Î9³Z¿ÊÇ´d³¶¾¯¼u°¶Á´µ³Æ²³¶¹¸¾¼&°·ÌÇ¼u¸Á®µÚ¡¸Á®1¯5¿Ê´9¯½®?¯5¯½´d³d°5Â¸Á²¯¿´µÅDÂ¸Á®4Ï¡®1¯1È

Ö"¼pº¡¶¾¯½°¶Á³¿,°·¶¹´d³ ®1³9°Ç·®Sº¶('XÌÇ·®³9°®?¯D°®1ÇÅD¶Á³¼u¶¾¯´µ³¯DÂ<®²¡°³®Â¼µ¯P°Ç·®ÂZ®1Ç½°·¶¹³®³9°®dÚ{´µ²

¼u²¿´µ³9°Ç¼u¶ÁÇ·®¶¹¸ÂZ®1²¡°£P4°Ç·®)³Ì?¿4®?¯¯·¼u¶ÁÇ® º¡® º¡¶¾¯½°¶Á³Óµ²®1Çº¡¶L'XÌÇ·®³9°·¯P¿¼d¯i¯®¸Á´µ³Ñ9²®.¸¾¼

°·×d¿Ê®Ç·Ì²Z¯¯¶Ø°?ÚcÌ1¿Ê´d²®´d²i®?¯±°5¶Á³d°·®Ç·Ç´dÅDÂ²®µÈ

Ð

´µ²Ç5¿®Ò¼µ¶¹Ç·®µÚc³´d²¯Û¶¹³9°Ç·´¡º¡²¶¾¯½´d³¯º¡®²Ï

³´µ²Íµ®1¼µ²¡ÏÃÌ1ÍµÌ1³®ÅD®³9°¯Mº¡®5°×µ¿Ê®?¯h

_}w

®4°

üþýÿ Xÿgüûuý

Èiæ¸¾¯ÂZ®1ÇÅD®4°°®1³d°º¡®¯ÂZÌ?¿4¶¹å

Ä®Çº¡®?¯

_ý/,üûWeÿ,ý*&ÿAü$

ÚI¿u»®1¯½°½åæÀ&åæº¡¶¹Ç·®º¡®?¯¯½Îc³¿ÊÇ·´µ³¶Á¯·¼&°·¶¹´d³¯º¡Ì1ÂZ®1³º¼µ³d°·®1¯º¡²

(10)

®4Ï¡®ÅDÂ¸Á®º¡®1¯Â¸Á¼µ³¯º\»²ÇÓd®³¿®´d²Pº¡®?¯ÅD¶Á¯·¯½¶Á´µ³Z¯Ûº®¯·¼u²Íµ®4°¼uÓd® ÄZÓµ²Ç·® ÈZò®°½°®³´µå

°¶Á´µ³rÅD´µ³9°Ç·®Û°´µ²° ¯´µ³r¶Á³d°·ÌÇP4°{º¼µ³¯¸Á¼ÂÊ¼d¯½®º\»¼u³¼µ¸¹Î¡¯®Ûº®1¯/¸Á¶¹Ód³®1¯ º¡®5¿´µ³º¡²¶Ø°·® µ²³®

ÒÔ´µ¶¾¯{Ñ9²®Ñ9²®¸¾Ñ9²®1¯{¸¹¶ÁÓµ³®?¯ º¡®¿4´d³º¡²¶¹°®?¯ ´µ³9°{Ì°Ìº¡ÌÄ³¶Á®1¯1Úu®¸Á¸¹®?¯ Â<®²Íd®³9°¦P4°·Ç®5Ç¼.Õ³Ì1®1¯

¼Íµ®?¿º¡®?¯¯·¿4Ì³Z¼uÇ·¶¹´9¯¼µ¸Ø°·®Ç·³¼&°·¶ØÒ¯Â<´µ²Ç¿´µÅDÂ¼µÇ®1ÇÛ¸Á®²Ç5Ç´dË²¯½°®1¯·¯®µÈ

Ground assault

Rescue mission

...

Success

Failure

Abortion Air Strike

°¬± ²¬³iBµxwÆºWÁ¿KÈ ¼¾·1½¥¿K»ÀÄWÈ Á¿KÀ ¼S~½OÃY·É¤ÈOÉ¤ÁtÄe¿KÀ ÀR¿9y=ÉtÄ¿ºWÈ ¼¾ÄWÁ¤ÁtÄ

Ëk þAA{Jp vh r^vv\pq=ÍCwnNpC!vK{^uwAnNpCv

ò´µ³¯¶¾º¡ÌÇ¼u³9°Ã¸Á®1¯Õº¶('XÌÇ·®³9°®?¯rÇ®1ÅD¼µÇ·Ñ9²®?¯Ãº®S¿®4°°®¯½®?¿,°·¶¹´d³IÚ ³´µ²Z¯ÃÂÇ´dÂZ´9¯½´d³¯¸¾¼

ÓµÇ¼uÅDÅÕ¼u¶ÁÇ®rº¡®D¸Á¼ÄÓd²Ç·®QPÂ<´µ²Ç2º¡ÌÄ³¶ÁÇ¸¹®?¯¿4´d³d°·Ç·¼µ¶¹³9°·®1¯º¡®Õ¯½Îc³¿ÊÇ·´µ³¶Á¯·¼&°·¶¹´d³)®³9°Ç·®

°·×d¿Ê®1¯1È

wkÁtÆÇ¤È·Á¤¼8¿KÀ ¼¾·Á; ¼»¿KÀÄWÈR¿K»wkÁtÆ

Á¤¼»¿KÀÄWÈR¿K»wkÁtÆ

¿½7*½ ; ÀR¿½7

¿½7½ *ÀR¿½7

¼»¿KÀÄWÈR¿K»wkÁtÆ ; Y±wçé;Yç??¦å1¿½7½ t¶¸·¹¤Ä1´

Á¤¼»¿KÀÄWÈR¿K»wkÁtÆ ; #ÄW»¿KÀ ¼¾·Áe ÀR¿½7J´t¶¸·¹¤Ä1´*ÀR¿½7¤á¤¶¸·¹¤Ä/át¹¤ÄW»¿=k

#ÄW»¿KÀ ¼¾·Á ÀR¿½7J´t¶¸·¹¤Ä1´¤¹¤ÄW»¿"k

#ÄW»¿KÀ ¼¾·Á ; çNé;

Lwæ?;

ç*é

¶ ·¹¤Ä1´ ; Lt²±

NæNçN¡

¶ ·¹¤Ä/á ; ¶ ·U¹¤Ä1´

çZ± £¢;

ç?^æ?wé>± æN

°¬±%²¬³n¤µ`¥¥ÈR¿KÂ,ÂG¿K¼ÈÄe¹¤Ä½#½7kUÁtÆRÇ¤È·Á¤¼¾½R¿KÀ ¼¾·Át½

Ù¼µ³¯¸¾¼Æ¯®1¿4°¶Á´µ³)¯²¶¹Í&¼µ³d°·®µÚZ³´µ²¯®4Ï¡Â¸Á¶ÁÑ9²´d³¯¿´µÅDÅD®³9°¿®1¯¿´µ³9°Ç¼u¶Á³9°®?¯º¡®¯Îc³¡å