· 2007-04-04 · ´rk ²c m « ´r«q¤ ... cv s p d s p i foff c1 c2 c3 c4 c5 c6 c10 c9 c8 c7...
TRANSCRIPT
��������� ��� ���� �� ����� ������������ ���������������! � "������� ��� �#���$ ��%�&���
�(')����� �+* �,����- �
.0/213547698;:<3>=?8A@CB;D /FE :<3
G$H2IJHLKNM$OQPRPSP
��T5�����������U���# � "���;��� ��� �!�;�V ��W����� �(')������X* �Y����- �
Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~
����������p���J�������^�����������������7� ��¡£¢ Ms¤�¥p¥Q¦0§^¨ª©�«Q¬2M ¡g¯®Q°X±[¡³² M�´µ¥S¶ ®Q·¹¸º�»¼º^½¿¾AÀ�Á?ÂÄÃ�ÅÇÆÇÈ�Á?ÉÊÃËÀ�ÁËÃ!ÌÍÉÊÎ�È�Â�Ï^ÁÄÏ�Ð,Ñ�Ï^ÀËÁ�Ò7Ó�γÁÄÏ�ÔÕÎ
ÖØ×iÙ³ÚRÛCÜ�Ý�Ü�ÞYß�Ü;à7Ýá�â?Ù£Ý�ÜRãäÙå æ çÇè �êé�ë�éF����é�� è é����L�êì å �����Ä�
Systems & Control
DES
OperationsResearch
ComputerScience
í ���9�S�î(ï ´rK ²C{¡ M ¡ð± M�«;M ¡ð± ¬^« ²C¡òñ¼ó ¥RIJ´ ² « ó §pKNô2õ�¤�¥ ó ´ ²�ö « ´÷«;¤ óµ¡ Kaøî(ù öJ¡ ¶�MAúüû ´ öS¡ ¶ ï ô9¶�«Rõ�´ ² K
í �0ìý�î ��¡�² ©L¶L¥ ó ¥RIS´ ² « ó?± ô9KAM ¡ õ�Kg§�¨ª¥Sõþ¬�H9M ¡g ¨ª¥R¶�M ¥ ó
ÿ�� � « I ¡ §^¨ª¥Sõþ¬ ó ¡C¢(± ô2KNM ¡ õ�K ° Ms© ¡ ô(¶ ¡g¡ û M�¥Í¤ ¡ 8;:08������ê3 «R¶Lû�� B;: / D B�� � 3í �������^�î�� ¶L© ¡g{¡ ¶JM ó ô ï ´µK ²g{¡ M ¡ð± ô9KNM ¡ õ�K °² ¥Rõþ¬�H9M ¡³ KNô2KNM ¡ õþK³§ ² ¥Sõ�õÍHL¶L´ ² «;Ms´µ¥S¶�¶ ¡ M�� ¥ ¦9Kg§2«RH9Ms¥Sõ�«;M ¡ ûõ«Q¶pH��¼« ² MsH ´µ¶2IKNô2KNM ¡ õþK ñ¼²g¡³óró «R¶Lû��Ê« ² Ms¥ ô ó ¡göJ¡³ó K�ø ·
î ± ô2KNM ¡ õ�K���´ M�©&¨ª¥S¶JM�´µ¶pHL¥RHLKY«R¶Lû ï ´rK ²C ¡ M ¡�� « ´r«Q¤ óµ¡ K ñ ©Jô9¤ ´rû KNô2KNM ¡ õ�K�ø£§õ�¥[û ¡�ó ¡ û(«RK ï>ù ± «�M�« ²C¡³ M�«R´µ¶ ó ¡göJ¡³ó ¥��}«Q¤�KNM « ² M�´µ¥S¶Ä§ ¡R· I · §���¥ Ms© ¡ ©L´µIJ© ¡góµ¡CöJ¡³ó?² ¥S¶JM ¥ ó0ó ¥RIS´ ²Q°¬ ¥ ²C¡ K{K ² ¥S¶JM ¥ ó §2«RH9Ms¥Sõ«�M ¡ ûõ«R¶[H��¼« ² M�H ´µ¶2I�KNô2KNM ¡ õþK ñ õ« ² ©L´µ¶ ¡ «R¶Lû ²g¡³óróóµ¡CöJ¡³ó K�ø ·� ² ¥Sõþ¬ ó ¡ M ¡ ¥Q¬ ¡g «�M�´µ¥S¶�« ó0² ô ²³ó ¡�� ¥R¬ ¡³ «;Ms´µ¥S¶�« ¥RHL¶Lû�KNM ¡ «Rû9ô�úüKNM�«;M ¡��
]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& $
Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~(&�*)��î,+ «�M�© ¡ õ«;Ms´ ² « ó + ¥[û ¡³óró ´µ¶2I�§2G$¶�« ó ô9K ´µKg§ ��¡g ´.- ² «�M�´µ¥S¶Ä§L¨ª¥R¶�M ¥ óró ¡³ ï ¡ K{´µIJ¶Ä§
/ ¬2M�´µõ�´10�«;Ms´r¥R¶Ä§ ± ´µõØH ó «;Ms´r¥S¶
]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& 2
Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~
�ð�����J�[��� ç � è �ð�7�0����� è43 ì?�g���65 å ���Q�Çé÷���[�R� ç ���^�
COORDINATION
REAL-TIME
CONTROLDIAGNOSTICS
FAILURERECOVERY
SUPERVISORY CONTROLLER
INTERFACE
EQUIPMENT
CONTROLLERSCONTROLLER
SYSTEM
Commands Observable events
]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& 7
Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~
á98�ã Ü&Þ;:=<9ã?>A@FÜ;Ù
B ���C(&�[�9�êé��ED 3 ì?�g���65 �^���?(&���9�êé¼�EDGFIH¿�[����é è �9�êéF���JF ����ë å éF��� �7��ë�é÷��éF���Çé��EDK (,H å �MLON��Çé÷�P)þéi�ê�#�ð��������� è�è ���
FAN HTG. COIL
PUMP
BOILERCONTROLLER
VALVE
î � © ¡ ¥R¬ ¡g «;Msr¥S¶ò¥���Ms© ¡ HL¶L M,rK,õ�¥S¶L Ms¥ {¡ û�¤�ô�«ØK ¡ M�¥���K ¡ ¶LK{¥ K ·î � © ¡ rK{K{H ¡ ¥Q�Çr¶JM ¡³{¡ KAM °SR 8UTV� E D 3XW�Tx8ZY;:0BU[\T [ ·î ± ¬ ¡³² .- ² « óró ô ° ûLr«QIJ¶L¥SK ¡ ¥ ²g² H {{¡ ¶ ²C¡ ¥���]{K{©�« ¬_ �¼«R ó H {¡ KªûLH µ¶2IØMs© ¡ ¥S¶pú ó r¶ ¡¥R¬ ¡g «;Msr¥S¶ ¥��ËMs© ¡bac� GV�HL¶L M ·
î(ù ¢ «Qõþ¬ óµ¡ Kª¥Q�d�Ê«Q ó H {¡ K ° KNMsH ² ¦e�¼«R ó H ¡ K ¥Q� ö « ó öS¡ Kg§L¥S¶púü¥Qfg�¼«R ó H {¡ Kª¥��Ǭ�HLõþ¬�K ·² ¥R¶�M ¥ óró ¡³ Kg§pK ¡ ¶LK{¥ K³§ ¡ M ²Q·
î�� õ ¬ óµ¡ õ ¡ ¶JM�«;Msr¥S¶ ° ûL÷«QIJ¶L¥RKAMs ² Kªõ�¥pûLH ó ¡ r¶òMs© ¡ ² ¥S¶JM ¥ ó0ó ¥RIS ²Q·
]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& h
Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~
+ ¥pû ¡³ó K,¥Q�ËMs© ¡ ¨ª¥Rõþ¬0¥S¶ ¡ ¶JM�K ¥��ËMs© ¡bac� GV¨ ± ô9KAM ¡ õ °
L1
BOFF
B2
BON
FON S P I OV PON BON
BOFF POFF
S P D
CV
S P IS P D
FOFF
C1 C2 C3 C4 C5 C6
C7C8C9C10
CONTROLLER
FOFF
F1 F2
FON
PON
POFF SO1
CV, OV
OV
SC1 SC2
SO2
CV
L2
S P I
PUMP VALVE
FAN BOILER
LOAD
P1 P2POFF PONV3
V1 V2
V4
CV, OV
CV OVL0
FOFF FON
B1
BOFF BON
S P I
FOFF FOFF
S P D
S P D
C21
CFOFF
FONSPD
FOFF
FOFF
SPISPI SPDC22
C23
C24
SPIOV PON BON
OV PON BONSPD
SPISPD
CFON
C16
FONC13
C12C11
C20 C19 C17
C15
C18
C14
]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& _
Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~
i « M,¥���M�© ¡bjlk mon*prq�sutv ��¥ Ms© ¡ba�¡ «;Ms´r¶2I ± ô9KNM ¡ õ ñVac� GV¨xwV¶L´ M£ø�zy ®Q°+± /|{ y O °X± ¨ { y ¸2° ¨;} /�~�{ yl� ° ¨;} / }=} ��°
7 N 8 F1 9 F237 F3 38 F1 F3 39 F2 F3
85 F4 86 F1 F4 87 F2 F4
10 N 11 F1 12 F2 40 F3 41 F1 F3 42 F2 F3
13 N 14 F1 43 F3 44 F1 F3
16 N 17 F1 46 F3 47 F1 F3
19 N 20 F1 58 F3 59 F1 F3
22 N
25 N 27 F2
28 N 29 F1 30 F2
1 N 2 F1 3 F2 7 N 8 F1 9 F2
10 N 11 F1 12 F2
13 N 14 F1
16 N 17 F1
19 N 20 F1
55 F3 56 F1 F3
67 F3 68 F1 F3
70 F3 71 F1 F3
73 F3 74 F1 F3
76 F3 77 F1 F3
46 F3 47 F1 F3
64 F3 65 F1 F3
61 F3 62 F1 F3
58 F3 59 F1 F3
4 N 5 F1 6 F234 F3 35 F1 F3 36 F2 F3
82 F4 83 F1 F4 84 F2 F4
28 N 29 F1 30 F249 F3 50 F1 F3 51 F2 F3
88 F4 89 F1 F4 90 F2 F4
52 F3 53 F1 F3 54 F2 F3
1 N
1 N 2 F1 3 F2
79 F4 80 F1 F4 81 F2 F4
57 F2 F3
< FON, NF >
< SPI, NF >
< SPD, NF >< OV, NF >
< PON, F >
< BON, F >
< POFF, NF >
< CV, N F >
< SPD, F >
< BOFF, NF >
< FOFF, NF >< SPI, NF >
< OV, NF >
< PON, F >
< BON, F >
< SPD, F >
< CV, N F >
< OV, NF >
< PON, F >
< BON, F >
< PON, F >
< BON, F >
< SPD, F >
< OV, F >
< PON, F >
< BON, F >
< BON, NF >
< SPI, NF >
< OV, NF >
< PON, NF >
< BON, NF >
< SPD, NF >
< OV, NF >
< PON, NF >
< BON, NF >
< FON, NF >
< FOFF, NF >
< FON, NF >
< SPI, F >
< OV, F >
< PON, NF >
69 F2 F3
72 F2 F3
48 F2 F3
75 F2 F3
78 F2 F3
66 F2 F3
63 F2 F3
60 F2 F3
A
B
C
D
E
]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& �
Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~
å ��3 5 � è�è�� B � è �[�Ç������� 3 ì?�g���*5
1 2
0
1 2
0
î � © ¡ ¶ ¡ M��Y¥ ¦þ©�«RK,K ²g{¡g¡ ¶L´µ¶2I�§���¥ �,« ûL´µ¶2I�§9«R¶Lû�õØH ó Ms´ ú��Y«�ô ² « óµó ´r¶2I² «;¬^«Q¤�´ ó ´ Ms´ ¡ K ·î � © ¡ ´rK{K{H ¡ ¥Q�Ç´r¶JM ¡³{¡ KAM °SR 3 8 /�E D 3X�{: / 3£D 8 � / TkB;:_[ ·î ± ¬ ¡³² ´.- ² « óró ô ° û ¡ M ¡�² Ms´r¥S¶(«R¶Lû {¡ K{¥ ó H9Ms´r¥R¶ ¥Q� ó ¥RIJ´ ² « ó0² ¥R¶��^´ ² M�K ñ ´µ¶�M ¡g « ² Ms´µ¥S¶LK�ø¤ ¡ M�� ¡³¡ ¶�¥Q¬2M�´µ¥S¶LK ñ � ¡ «�M�H {¡ K�ø ·î�� õ ¬ óµ¡ õ ¡ ¶JM�«;Ms´r¥S¶ °�² ¥ {{¡³² MYû ¡ K{´µIS¶�¥��ËMs© ¡ñ õ�¥pûLH ó « ø K ¥Q�FM��,« ¡ ¬ ¥RI «Rõ�K�Ms©�«;M HL¶&«;MYMs© ¡ K ��´ M ² © ¡ K ·
]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& �
Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~
+ ¥pû ¡³ó ¥��=wVK ¡g P ´µ¶�« ��¡�ó ¡ ¬�©L¥S¶ ¡ð± ô9KNM ¡ õ °
req01
offh0onh0
fh0
req02
nocon02con02
nocon01con01
req00
nocon00
fwd012
req01req00 req02
fwd010
fwd001
REQ_0 REQ_1 REQ_2
FWD_TO_2FWD_TO_1FWD_TO_0
CON
INIT
fwd002 fwd020 fwd021
dfh0
nocon0
nocon0 nocon0
+ ¥pû ¡³ó ¥��=wVK ¡g¯® «�M ± ��´ M ² ©(P ´µ¶ ��¡�ó ¡ ¬�©L¥R¶ ¡ð± ô2KNM ¡ õ °
INIT
NOT_REQ
REQ
fh1
req10
con10
nocon10
fwd101
fwd102
onh1 offh1
dfh1
]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& �
Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~
G ¨ª¥S¶JM ¥ ó G ² ©L´ M ¡³² MsH {¡ ��¥ GV¬L¬ ¥J« ² ©L´µ¶2I Ms©L´rK i ¥R¤ ó ¡ õ °
G0C 0
���
TCSS
OCSS
SPOTS-4
������
���
G
]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& `�&
Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~
/ Ms© ¡³ ¡C¢ «Rõþ¬ ó ¡ K °���é è ) �Jì!� �7�Ç�����R��éF�����þ����ë B é�5"� B �_� è ���U�
î � © ¡ ¶ ¡ M��Y¥ ¦þ¥�� «R´ ó �,«�ô ² ¥S¶L¶ ¡³² M�´µ¥S¶LKY´µK ²³ó ¥SK ¡ û�«R¶Lû ¡ « ² © ó ´r¶ ¡ ©�«RKY«�- ¢9¡ û¶pHLõ�¤ ¡³ ¥��ËM «R´r¶LK ·ý� © ¡ ´µ¶�M ¡g ú�KAM�«;Ms´µ¥S¶þM « öJ¡³ó Ms´rõ ¡ Kª« {¡ ¦p¶L¥Z��¶�«Q¶Lûû ¡ M ¡g õ�´r¶L´µKAMs´ ²R·
î � © ¡ ¥R¤�� ¡³² Ms´ öJ¡ ´µK M�¥Øû ¡ K ´ IJ¶�]AKs«�M�´µK'�Ê« ² Ms¥ ô�^¯Ms´rõ ¡ M�«Q¤ ó ¡ K��¼¥ Ms© ¡ M «R´µ¶LK ·î ± ¬ ¡³² ´.- ² «�M�´µ¥S¶LK ´µ¶ ²³ó HLû ¡S°ý²g¡g Ma«Q´r¶M «R´µ¶LKY©�« öJ¡ Ms¥��Y«R´ M���¥ ¥R¶ ¡ «Q¶L¥QMs© ¡³ M�¥« óró ¥Z� ² ©�«Q¶2I ¡ ¥ öJ¡³ K ·
î ¨ª¥S¶LKNM «Q´r¶JM�K ° �Y«R¶�M KNô2KNM ¡ õ Ms¥Í¥R¬ ¡³ «;M ¡ �¼«RKNM�§9¤�H9M�« ó K{¥O�,«R¶JMY¬ ¡³ MsH ¤^«;Ms´r¥S¶LK�Ms¥² ¥Rõþ¬ óµ¡ M ¡�ó ôûL´rK «Q¬L¬ ¡ « ´r¶�-^¶L´ M ¡ Ms´rõ ¡R·
î�� K{K{H ¡ K�¥Q�Ç´r¶JM ¡³{¡ KAM ° ©L¥���ûL¥Ø¬ ¡³ MsH ¤^«;Ms´r¥S¶LKXMs¥ÍMs© ¡ Ms´rõ ¡ Ma«;¤ óµ¡ ¬ ¥R¬^«QI�«�M ¡ §��©�«;M ó ´rõ�´ M�K+Ms© ¡ õ�´r¶L´µõÍHLõ ¥R¬ ¡³ «;Ms´r¥R¶Ms´µõ ¡ §���© ¡³{¡ �Y¥RH ó û ´ M,¤ ¡ © ¡³ó ¬���H ó Ms¥«RûLû(M «R´r¶LKg§ ¡ M ²R·
î GV¬L¬ ¥J« ² © ° � ´ M ¡>¡�� H�«�M�´µ¥S¶LK���¥ M�© ¡ û ¡ ¬^« MsH ¡ M�´µõ ¡ K ¥��ËMs© ¡ M «R´r¶LKg§2HLK{´r¶2I]{õ« ¢ ´rõÍHLõP^¯«R¶Lû�] «RûLûL´ Ms´µ¥S¶ · ^�I� 8U�$4�� 3Z� M�� ¥ÍKAM�«;Ms´µ¥S¶LK ·r·r·
�.���� �¡�¢�£¥¤"¦�§�¤�¨.©_ª6«�¬�«®�£¥¯.¦°¤²±]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& `A`
Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~
³�é������9�ê�;�Çé��ED%�ð��������� è é¼�����µ´ è �"¶L�9���^� 3 ì?�C�ê�*5¸·
î(ù öJ¡ ¶�MsK °I¹ºm¼»1» ½�m¼»²»�¾�½�m�v ½�m¼»²»�¾¿½�m�v m�v®vÀkÂÁUt\s m*à Ä�q*qZv kž�¡ M ²Q·î ± M�«;M ¡ K ° ¬�¥SK{´ Ms´r¥S¶ ¥�� ² « lÆ §�¶[HLõͤ ¡³ ¥��Ǭ^«RK{K ¡ ¶2I ¡³ K��Y«R´ M�´µ¶2IØ«;M��^¥[¥ �Ç § ¡ M ²Q·ñFöJ¡³ ô ó « I ¡ KNM�«;M ¡ K{¬^« ²g¡�È ø
î ¨ª¥S¶JM ¥ ó ¬ ¥R¤ óµ¡ õ °JÉ 6"T � 6 � 8;D / BÊ[g3£:r É 623aDs3X[CB8U[ / B�8 � 6"T�3uËR3ÍÌ�[C8 / T [�@C8 � / B;Du�rÎ4�3£D¼@CB;Du��8;: � 3�Ï
î i�¡g ��¥ õ«R¶ ²C¡ õ ¡ «RK{H {¡ K ° 8UËR3£D 8ZYJ3 �Y«R´ Ms´µ¶2I M�´µõ ¡ ñ HL¶JMs´ ó<² « ,² ¥Sõ ¡ Kaøa§ 8UËR3aD 8ZY�3K ¡³Aö ´ ²C¡ M�´µõ ¡þñ HL¶JM�´ ó<² « û ¡�ó ´ öJ¡g K Ms¥Øû ¡ K{´ {¡ û��^¥[¥ ø£§�� « ² Ms´r¥S¶ò¥���¬^«QK K ¡ ¶2I ¡g K�,«Q´ Ms´r¶2IÍõ�¥ ¡ ñ ¥R¶�« öJ¡g «;I ¡ øýMs©�«R¶�¥R¶ ¡ õþ´r¶[H9M ¡ § ¡ M ²R·
î i ¥R¤^«Q¤�´ ó ´rKNMs´ ² ��¥ õØH ó «;Ms´r¥S¶ ° ¬^«QK K ¡ ¶2I ¡g « { ´ ö « ó� «;M ¡ K,«;M��^¥[¥ Kg§2¬ ¥Q¤^«Q¤�´ ó ´ M ôûL´rKNM ´µ¤�H9Ms´r¥S¶Ð��¥ û ¡ KNMs´r¶�«;Ms´r¥R¶Ð�^¥[¥ Kg§ ó ¥J«RûòMs´rõ ¡ K «Q¶Lû(M « öJ¡³ó Ms´rõ ¡ Kg§ ¡ M ²Q·
î ¨ª¥Sõ�õ�¥R¶K ¥ ó H9Ms´r¥S¶ ° Ms© {¡ K{©L¥ ó ûpú�¤^«RK ¡ û ² ¥R¶�M ¥ ó §p´ · ¡R· §2©L¥ ó û�« ² « HL¶JM�´ ó «/ 6JDs3u[�69B��. ´µK {¡ « ² © ¡ û ·� � © ¡ ´rK{K{H ¡ ´rK Ms© ¡ ¶(Ms¥ û ¡ M ¡³ õ�´µ¶ ¡ Ms©L´rKªMs© {¡ K ©L¥ ó û�«Q¶Lû�] «RH9Ms¥Sõ�«;Ms´ ² « óró ô�^«RûU�NHLKNM ´ M ´µ¶ {¡ « ó úkMs´rõ ¡ §�¤^«RK ¡ û(¥S¶�¥R¤�K ¡g{öS¡ û ¬^«RK{K ¡ ¶2I ¡g « { ´ ö « ó7 «�M ¡ K ·
Ѳ���� �¡�¢�£¥¤"¦�§�¤�¨.©_ÒQ«'ÒZ ůӯ. ÅÔ�¦°±Õ �¯]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& `Ö$
Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~
]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& `Ö2
Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~
]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& `Â7
Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~
×`Ø�Ü�×�ØËÛCÜRÜCÙ+Ü�ß�ÜU@iÙ�8�Ú;ÛPÜËÙ£Ý�Ûo<2Ú�Ý³× 8�à%×ià�ÝÞ8�ß�ÜQ@i×iàAà�ÖòÞ>á
3 �_5U� è �âá$�9�ê�����7�c³�é��³�J���J���g´ã¶7�p��� 3 ì��C�ê�*5 �
x(t)
t
e
t t t t t t t
e e e e e e e
x
x
x
x
x
x
7654321
7654321
1
2
3
4
5
6
ï ¡ K ²g ´ ¤ ¡ Ms©L´rKYK «Rõþ¬ ó ¡ ¬^«;Ms©(¤�ôòMs© ¡ / T �ò3ÀM[³3ä E 3£: � 3¯BA@ 3åËR3a: / [ Ms©�«;MY´ M ² ¥S¶JM�«R´r¶LK °æ�çèêé ñVë �ì®íÀ� ø ñVë · ì'í · ø ñVë�î ì'í î ø ñVë�ï ì®í ï ø ñÂë�ð ì®í ð ø ñVë�ñ ì'í ñ ø ñVëZò ì'í ò ø
]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& `Öh
Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~
� © ¡ ¤ ¡ ©�« ö ´µ¥ ¥Q��«ÍIS´ öJ¡ ¶ ï>ù ± ´rK,û ¡ K ²C ´µ¤ ¡ û&«QK;��¥ óró ¥���K °î B é�5"��ëxóX���ED ç ��D^�^� K ¡ M�¥��Ç« óró Ms´rõ ¡ û K ¡�� H ¡ ¶ ²C¡ K,¥Q� ¡göS¡ ¶JMsKªMs©�«;MYMs© ¡ ï>ù ±² «Q¶�I ¡ ¶ ¡³ «;M ¡�ô�¡C¢9¡³² H9M ¡î 3 �ê�Ä�;���L�g�êéF� B éÅ5 ��ëxó ���ED ç ��D^�7� « Ms´rõ ¡ û ó «R¶2IJH�«;I ¡ ��´ Ms©(«Ø¬ ¥R¤^«Q¤�´ ó ´ M ôûL´rKNM ´µ¤�H9Ms´r¥S¶Ð��HL¶ ² M�´µ¥S¶�û ¡ -^¶ ¡ û�¥ öJ¡³ ´ M
î óX���ED ç ��D^�^� «ÍMs´rõ ¡ û ó «R¶2IJH�«;I ¡ ��© ¡g{¡ Ms© ¡ Ms´rõþ´r¶2IÍ´r¶���¥ õ«�M�´µ¥S¶�©�«RKY¤ ¡³¡ ¶û ¡�ó ¡ M ¡ ûħL´ · ¡R· §2´ M ´rK «ÍK ¡ M�¥Q�ÇK ¡o� H ¡ ¶ ²C¡ K³§�¥ / D 8 � 3u[ §L¥�� ¡CöJ¡ ¶JMsK ·
æ è é ë � ë · ë�îë�ï\ëoðÀë�ñëZò
� ©L´µK óµ¡ «RûLKªMs¥ØMs© ¡ Ms© {¡³¡Õ² ¥Sõþ¬ ó ¡ õ ¡ M�« ô óµ¡CöJ¡³ó KY¥��Ç«Q¤�KNM « ² Ms´r¥S¶ «;M;��©L´ ² © ï>ù ±« {¡ KNMsHLûL´ ¡ û ·î óX�õD7é��J� èªè �"¶7� è � Ms© ¡ � 8;:�Y E 8ZY�3 õ�¥[û ¡�ó ´µK,HLK ¡ û(Ms¥ØKNM�HLû9ô ¬ ¥R¬ ¡³ Ms´ ¡ K Ms©�«;M² ¥R¶ ²g¡g ¶ ¡CöJ¡ ¶�MY¥ û ¡³ ´r¶2I ¥S¶ ó ô �9¡S· I · § ² ¥S¶LK{´µû ¡³ Ms© ¡ / 3�� 354769B;:<3�[�Q[ / 3å� ¡C¢ «Rõþ¬ ó ¡ §«RK;� ¡�óµó «RK Ms© ¡Oaö� GV¨ HL¶L´ M ¡£¢ «Rõ ¬ óµ¡þñ ûL´÷«;IJ¶L¥SKNMs´ ² Kaø ·÷AøÂùûú�øÂùýü\ùÿþ�� ����� ü ��� "þ� �� � �åùûú�� ��� þ ��� ÿú���� � �ù���þ� ú�� � � ú���� � ø�ø þ ����þ ú � � ��ú����®þUø�� � ��ÿþþ���þ��oü�� � þåü���
î B �*5"� �7��� è è ��¶7� è � Ms© ¡ / T �3Ð� 8;:�Y E 8ZY�3 õ�¥[û ¡³ó ´rK,HLK ¡ û M�¥ØKNMsHLû9ô(¬ ¥R¬ ¡³ Ms´ ¡ KMs©�«;M ² ¥S¶ ²g¡g ¶ Ms© ¡ Ms´rõ�´µ¶2I�¥���Ms© ¡ ¡göS¡ ¶JMsK �2¡R· I · § ² ¥R¶LK ´µû ¡³ M�© ¡ D{8UTV� É 8U�þ:<3 / É B;D�!¡C¢ «Rõþ¬ ó ¡S·" þ ��� zù#��þ�� � ��$�� ÿþlüù � þ�� � þ&%�þ���ü;ú��('QþQø²ü � ø)� � ü\ùÿú���� � þ�ü��*
î 3 �ê�Ä�;���L�g�êéF� è �"¶�� è � M�© ¡ [ / B � 698U[ / T � / T �3Ð� 8;:�Y E 8ZYJ3 õ�¥[û ¡³ó ´rK,HLK ¡ û(Ms¥þKNMsHLû9ô¬ ¥R¬ ¡g M�´ ¡ KXMs©�«;M ² ¥S¶ ²g¡g ¶ Ms© ¡Õ¡C¢ ¬ ¡³² M ¡ û�¤ ¡ ©�« ö ´r¥ ¥��ËMs© ¡ KNô2KNM ¡ õ HL¶Lû ¡g Ms© ¡IJ´ öS¡ ¶(KAM�«;Ms´µKAMs´ ² « ó ´r¶���¥ õ«;Ms´µ¥S¶ ��¡R· I · § ² ¥S¶LK{´rû ¡g Ms© ¡ 3�� 3åËQ8 / B;D ¡C¢ «Rõþ¬ ó ¡S·+,��þQø ��- þ � þ � $ � ü�."ø ú ��- .�' � ü �/� � � úQü0.�þQøIø þ� þ�� � �oü1'�þUø��Åú�ø �2� ����þ � þ � � � ø þ��3
4658795¼� WlT�[ � Ds3 / 3 � ËR3£: / . T � E � 8 / TxB;: HLK{H�« óµó ô {¡ � ¡g KªMs¥ÍMs© ¡ KNMs¥ ² ©�«QKAMs´ ²>óµ¡CöJ¡³óx·:þç ���g�êé��7�+�öa ¥Z�#M�¥ Ds3ü47Ds3å[g3£: / � ñ KNMs¥ ² ©�«RKNMs´ ² ø Ms´rõ ¡ û �Äó «R¶2IJH�«QI ¡ K0;
]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& `�_
Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~
³�éF���J���S��� ´4¶��[��� æ �?ëÇ� è é¼�ED=<��^�¼5"� è éF�Z5 �î }L¥ õ« ó0²gó «RK{K ¡ K,¥��Çõ�¥[û ¡�ó KªMs©�«;M {¡ ¬ {¡ K ¡ ¶�M � ñ KAMs¥ ² ©�«RKNMs´ ² ø}M�´µõ ¡ û �?ó «R¶2IJH�«;I ¡ Kî ] ± M�«;M ¡ úk¤^«RK ¡ û�^`��¥ õ« ó ´rK{õ�K ° û ¡ -^¶ ¡ «ØKNMa«�M ¡ KA¬^« ²C¡ «R¶Lû�KA¬ ¡�² ´1�iôòMs© ¡ KAM�«;M ¡M «Q¶LK ´ Ms´r¥S¶òKNM H ² MsH {¡�ñ ´ · ¡R· §?> qA@6à s�Ã�m*Ã�to¾rtZÁUt\pºÃ ¾%k²p s�Ã�m*Ã�tCB M ´µ¬ ó ¡ K�ø M�©�«�M{¡ ¬ {¡ K ¡ ¶JM�K M�© ¡¿ó «R¶2IJH�«QI ¡R·D E�/ BU�8 / 8 ñ ¥ .�/ 8 / 3FE�8 � 6"TF:Ä3u[ ø «Q¶LûHG 3 / D\TJI¿3 / [ « {¡ ��´rû ¡³ó ô HLK ¡ û ·
î ] �� « ²C¡ ú�¤^«QK ¡ û�^`��¥ õ« ó ´µK{õ�K ° HLK ¡ ñ�{¡�² H K{´ öJ¡ øX« ó I ¡ ¤ «R´ ²�¡o� H�«;Ms´r¥S¶LKª¥S¶(Ms© ¡¡göS¡ ¶JMsKªMs¥ {¡ ¬ ¡ K ¡ ¶JMYMs© ¡ M « ²g¡ K ´µ¶(Ms© ¡¯ó «R¶2IJH�«QI ¡ ñ ´ ·m¡S· §2¶L¥ ¡£¢ ¬ ó ´ ² ´ M ]AKAM�«;M ¡ ^[ø ·/ �FM ¡ ¶ {¡ � ¡g{ ¡ ûM�¥ «RKKG D{B � 3u[\[ D � YJ3�L£D 8U[ ·M BU��� E :_T � 8 / TF:�Y . 3ä E 3£: / Tx8�� G D{B � 3å[[³3å[ ñ ¨ ±�i ø ´µK,«�� ¡�óµó ú�¦p¶L¥Z���¼¥ õ�« ó ´µK õ ´r¶Ms©L´rK ² «;M ¡ IS¥ ô ·
îON ¡ ��´ óró KNMsHLû9ô °P ñ HL¶�Ms´rõ ¡ û «R¶Lû(Ms´µõ ¡ û7ø+«RH9Ms¥Sõ«�Ma« � õ�¥[û ¡�ó ´r¶2I�§p«R¶�« ó ô2K{´rKg§2K{H2¬ ¡gAö ´µK{¥ ô² ¥R¶�M ¥ óÕ�
P ñ HL¶�Ms´rõ ¡ û «R¶Lû(Ms´µõ ¡ û7ø iÇ¡ M ´<¶ ¡ MsK � õ�¥pû ¡³ó ´µ¶2I�§9«Q¶�« ó ô9K{´rKg§2K{¥Sõ ¡ ² ¥S¶JM ¥ ó.�P Ms´rõ ¡ û ¡CöJ¡ ¶�MYI «Q¬�©LKg§L« KA¬ ¡³² ´r« óIJ «QK ¡ ¥���M�´µõ ¡ û iÇ¡ M ´<¶ ¡ M�K � «R¶�« ó ô2K{´µK HLK{´r¶2IQ m3RTS�U�»V@Uscm¼».n�t�W¼våmZ�
(&�*) �����ð�º5"���L��� æ �ÄëÇ� è é��EDX<Ë�7�¼5 � è éF�Z5 � Y³(�����J��é�����é ¶��gá$�*) ����� � «Q¶2IJH�«QI ¡V² ¥Rõþ¬ 󵡣¢ ´ M ô ¥ ²³ó «RK{Kª¥�� ó «R¶2ISH�«QI ¡ KXMs©�«;MY« ñ -^¶L´ M ¡ øõ�¥[û ¡�ó<² «R¶ {¡ ¬ ¡ K ¡ ¶JM ·å è D7�*������éF� 3 ��� ç �R� ç ���7� }L¥ õ« ó ¥Q¬ ¡g «�M�´µ¥S¶LK Ms©�«;MY¬ ¡g õþ´ M M�¥Í¤�HL´ ó û ² ¥Sõþ¬ ó ¡C¢
KNô2KNM ¡ õþK ¤[ô ´µ¶�M ¡g ² ¥S¶L¶ ¡³² M�´µ¶2IÍK{´rõþ¬ ó ¡ KNô2KNM ¡ õþKY«R¶Lû(Ms©�«;M,« óró ¥Z�#Ms¥]{õ«R¶L´ ¬�H ó «;M ¡ ^�«Íõ�¥pû ¡³ó ��¥ «R¶�« ó ô9K ´µKY«R¶Lû�KAô9¶JM�© ¡ K{´rK ¬�H ¬�¥SK ¡ K ·
� N ¡ ´ óró HLKNM «;M ¡ Ms© ¡ «Q¤0¥ öJ¡ õ�¥pû ¡³ó ´µ¶2I`��¥ õ« ó ´µK{õ�Kê��¥ Ms© ¡ñ �¼«Rõþ´ ó ´r« ø ¡£¢ «Rõ ¬ 󵡥���M�© ¡ ûL´µ¶L´r¶2Iج�©L´ ó ¥RK ¥Q¬�© ¡³ K ·
]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& `°�
Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~
å ç �ê�õ5 �9�ê�7� 5"�ÄëÇ� è � �7�Y�\) � �Ç�Çé è �7�³���Ç������� K[Z ®QF Z O L ����ëW�u)ð�����^��\?� K®y ®QFy O L
P1 P2
F1 F2
1E
1f2
1f2 1f1
1f
2I12f1 2f2
2f2 2f1
1f1,2f1
1f,2f
1f2,2f2
1f,2f
1f1
1I2
1I1
1U 2U
2I2
2E2f
1A
1T 2T
2A
]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& `Ö�
Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~
� �õ5U�ý�7��éi�êé��7���7�Y�ê������� ç �� ç �ê�õ5 �9�ê�Ä� Z ®�]^] Z O ]^] y ®�]�] y O
2f22f
1f
1f2
1f1
1f2
1f2
2f2
1f1
2f1
1f1
(1I2,2I1,1U,2U)
(1I1,2I2,1U,2U)
(1T,2E,1U,2U)
2f1
2f2
2f1(1E,2T,1U,2U)
(1T,2T,1A,2A)
_3`�a bdcfe[gihij�k&l�mAa b[noh/gpl)q0rsnprteuk�v�wxj�yuj�noh{zd|[|[| }�~
���A� _��[��}�m ��� bd��hol)g�} }d`s}dv���k�hogie���j���hirteuk�hoe,��rsnp��gil)hol � q[l�k�h�_0��nohol���n
���*�3�����?�*�O�6�������p ¡�x¢£�x�?�¥¤�¦��p�i�x §��¤�¦?�¨�ª©/�?�«��¬�®¢��{��¯� °©/�?�«��¬�¤�¦��p�p�{ 3�x¤�¦?�¨�� °©/�?�±��¬�®¢��{��¯�
fork 2 available
fork 1 available
eating
philosopher 1 philosopher 2
(b)
(a)
if1 if2
if
if2 if1
1f1 1f2
1f
1f2 1f1
2f12f2
2f
2f22f1
holding fork 2
thinking
holding fork 1
fork 2 available
fork 1 available
_3`�a bdcfe[gihij�k&l�mAa b[noh/gpl)q0rsnprteuk�v�wxj�yuj�noh{zd|[|[| zd|
���A� _��[��}�m ��� bd��hol)g�} }d`s}dv���k�hogie���j���hirteuk�hoe,��rsnp��gil)hol � q[l�k�h�_0��nohol���n
²O�¨³¨´?�� ��oµx�¥�¨¶�´?©A���i�x�·�=�������¸�{¢¹��¬��®¤�¦��º�i�{ 3�x¤�¦?���� ¡©/�?�±��¬�®¢��x��¯�
»½¼ ¾ ¿[¼�À�¼ÂÁ ¼3À�ÃÄÁ ÅƼOÇ�¼�À�ÃÄÁ ¼�À�¼£Á ÅƼ�ÈÅƼ ¾ ¿[¼�ÀÉÁ »Ê¼�È»Äà ¾ ¿)Ã*À�¼ÂÁ ÃËÀ�ÃÄÁ Å�ÃÌÇ�Ã*À�ÃÄÁ Ã*À�¼£Á Å�Ã*ÈÅ�à ¾ ¿)Ã*ÀÉÁ »FÃ*ÈÍ¡¼ ¾ ¿[¼�À�¼ÂÁ ¼3ÀÎÁ ͽ¼ªÇ�Ã*À�¼ÂÁ Ã*ÀÉÁ ͽ¼�ÈÍÏà ¾ ¿[¼�À�ÃÄÁ ¼3ÀÎÁ ÍÄÃÐÇ�Ã*À�ÃÄÁ Ã*ÀÉÁ ÍÄÃ*È
Ñ,Ò½Ñ�Ó ÅÔ ¾ »Ê¼�Ç^Çs»FÃ{Ç�ÇtÍ¡¼¨Ç�ÇsÍÄÃÕ�ÖÉ×*اÖ�اÙ�ÚËÛÝÜ�Þ�Ø2×ËØ�ßÂÚ½à[Ø�ßÂáËâãØ3ä�å/Ú ß�æ�á*ÖTà¸áËâãß�ç�ØFâpáËÙCèÌé
ê ¾ À,¿ºêëÈÒ ¾ ì�¿pêíÈ
ÞÂç�Ø�ÙuØ2ê æ^àîÚÊï*Ø3ð&ß�áËÙ¹áËâãñTÙ�á�ð�Ø3àuà[Ø3à£Ú�ÖTòóÀóèÊåTàdߣð§áËÖ¨ß0ÚËæ^ÖÌÁõô
_3`�a bdcfe[gihij�k&l�mAa b[noh/gpl)q0rsnprteuk�v�wxj�yuj�noh{zd|[|[| z�}
öø÷pù£úóû üþý±ÿ��������=ý±û�� ü ý� ����� ¥ÿ�� û��� ÿ�� ��� üþý±ÿ����
���A� _��[��}�m ��� bd��hol)g�} }d` z0v�� kChogie���j���hirseuk�hoeø_�j&��l)giq�rsnoe[gi� � eukChogie��
������� �"!$#�%'&)(+*-,.#�/0&)!�#)&213*)4�53%768/:9;&)%=<?>@&8!$#�%'&8AB ¦?�DC?�¨�¨�-E?©T³�¯GF ���x¤±�{¢IH ´�¤J����µ �i 3�{�KJML��x�������x� B ¦?�¨�{�KJ
DES
Events Controlactions(disabledevents)
Controller
NPO á�ò=QÉá�âãÞ¹á�ÙSRTRAÖTá�ÞÂÖÎÚ�àIU�V;WYX[Z]\_^a`cbdZ]eDfgbdh.iaZSbkjml'noXSbdZ]eN æ�ÖTæ ß�æ�Ú ßCØ3ò O Qqp£ÚËèÆÚËò�×*ØIr s=áËÖTç/ÚËè ¿Ýè°æ�ò Nutkv=w à0ÈN ð3ÚËÖÎÚËÛ�àuá O ØÏæ�Ö�ßCاÙuñTÙuØ�ßCاòOâpÙCá*è ÚËÖ æ�Ö�ñ/åAß N á*åAßCñ/åA߸ï�æ Ø�Þ£ñ�á*æ�Ö�ß
_3`�a bdcfe[gihij�k&l�mAa b[noh/gpl)q0rsnprteuk�v�wxj�yuj�noh{zd|[|[| z"x
���A� _��[��}�m ��� bd��hol)g�} }d` z0v�� kChogie���j���hirseuk�hoeø_�j&��l)giq�rsnoe[gi� � eukChogie��
H ´�¤ø�¨��µ �i 3�{�KJ�L��x�������x� B ¦?�¨�{�KJyÌÚËæ�Ö{z1á�ß�æ^á*ÖTà�é|�} h�~�bdh�i�ZSbkj�j�X��Kà"QAàdßCØ3è O اç/Ú3ï�æ^áËÙ§é�j��dh=�dVY�K��X¸áËÙîà[Ø�ßîáËâ��dßCÙ�ÚËð�اà��ÊáËâ?Ø�ï�Ø3Ö�ß�à��èÆá�ò�Ø3Û Ø3ò ÚËà£ÚËÖÉÚËåAß�á*èOÚ ß�á*Ö|D� X[`�^�Z�X��2áËÙ��'X��7�kj O اç/Ú�ïAæ�á�Ù3é�àuå O Û ÚËÖ�×*å/Ú�×*Ø2áËâ?à"QAàdßCØ3è Û ÚËÖ�×*å/Ú�×*Ø��AèÆá�ò�Ø3Û Ø3ò ÚËàÚËÖÌÚËåAß�á*èÆÚ ß�á*Ö�ô
|G� bK�kjféøاÛ�æ�è°æ�Ö/Ú ßCØ1åTÖTò�Ø3àuæ^Ù�Ú O Û Ø2àdß0Ú ßCØ3àîÚ�ÖTòÎåTÖTò�Ø3àuæ Ù0Ú O Û^Ø2àuå O ßCÙ�ÚËð�اà O Q ð§á*Ö�ßCÙCá*Û|�} h�~�bdh�i�ZSbkj�j�����j�X¸ÚËÖTò } h�b��[`�X[Z�\�����j�X(Ø�ï*Ø3Ö�ß�à| ��� اàdß��°ÚËð0çTæ^Ø�ï�Ú O Û^Ø O Ø3ç/Ú3ïAæ�áËÙ�åTÖTò�ا٣ð�á*Ö�ßCÙ�áËÛ�é��uÛ Ú�Ùu×*اàdß�� àCå O à[Ø�ßÂáËâãß�ç�ØÄÛ^Ø�רÚËÛÛ ÚËÖ�×*å/Ú�×*Ø�ß�ç/Ú ß£ð§ÚËÖ O ØÚËð�çTæ^Ø�ï�اò9×*æ ï�اÖ9ß�ç�Ø2ñ{Ú�Ù[ß�æ ÚËÛ�ð§á*Ö�ßCÙCá*Û�Û�Ú O æ�Û^æ ß�Q°ÚËÖTòªß�ç�Øñ{Ú�Ù[ß�æ ÚËÛ�á O àuØ�Ù[ï�Ú O æ�Û^æ ßuQ|q� á*Ö�ß�ÙCá*Û^Û^Ø�Ù æ�àîð§ÚËÛ�Û Ø3òÉÚ�`�V�WYX[Z�\K^�`�bdZ
yÌÚËæ�Ö{p¹Ø3àuåTÛ ß�à�é| p¹Ø3àuåTÛ ß�àîá*Öªß�ç�Ø�XS�d^�`ci�X[h�~�X¸á�â�àCå�ñxاÙ[ïAæ�àuáËÙCà| p¹Ø3àuåTÛ ß�à�ß�ç/Ú ß¹ð�ç/Ú�Ù�ÚËð&ß�Ø�ÙCæ���Ø�ß�ç�Øq� O اàdß��°ÚËð0çTæ^Ø�ï�Ú O Û^Ø O Ø3ç/Ú3ïAæ�áËÙ|q� á*è°ñ/åAß0Ú ß�æ�áËÖ/ÚËÛ{ÙuاàuåTÛ ß�à¹á*Öªß0ç�ØÄà�QAÖ¨ß�ç�اàCæ^à¹áËâ��[áËñ�ß�æ�èOÚËÛ���àuå�ñ�Ø�Ù[ï�æ^àCá�Ù�à| p¹Ø3àuåTÛ ß�àîá*Ö èÆá�òTåTÛ Ú�Ù§ÜAò�اð�اÖ�ß�Ù�ÚËÛ^æ���Ø3ò�ÜAÚËÖTòÎçTæ^Ø�Ù�Ú�ÙCð�çTæ�ð§ÚËÛxð§á*Ö�ßCÙCá*Û
_3`�a bdcfe[gihij�k&l�mAa b[noh/gpl)q0rsnprteuk�v�wxj�yuj�noh{zd|[|[| z��
���A� _��[��}�m ��� bd��hol)g�} }d` z0v�� kChogie���j���hirseuk�hoeø_�j&��l)giq�rsnoe[gi� � eukChogie��
¢¡TÚËè°ñ/Û Ø3à áËâ�à[ñ�اð§æ�£{ð3Ú�ß0æ^á*ÖTà¸âpáËÙ�¤?Ø3Û Ø§ñ/çTá*Ö�Ø�¥�QAàdßCØ3èÌé
¤?اÙCèÆæ^Ö/Ú ß�æ�Ö�× � ÚËÛ^Û$¥�ð�ÙuØ�Ø3ÖTæ^Ö�צ¥�ñxØ3ð�æ�£{ð§Ú ß�æ�áËÖ6¿ v àCð�ÙuااÖTà1Ã*È
Σ TCS\ 2 = Σ o,0
INIT
Σ o,0 \ { con20, fwd201, fwd202 }
� ÚËÛ�Û�§TáËÙ[Þ¹Ú�ÙCòTæ�Ö�×T¥�ñxØ3ð�æ�£{ð§Ú ß�æ�á*Öí¿ v âpáËÙ[Þ¹Ú�ÙCòTà(ß�áμ�ÈA
req10
req20req00
Σο
Σο
Σο
Σο1
2
0
u
A
A
A0
u
2
1
REQ_BY_0 INIT REQ_BY_2
REQ_BY_1
fwd101
fwd001 fwd201
A = \ { req00, req10, req20 } \ { fwd001, fwd002, fwd101, fwd102, fwd201, fwd202}
A = \ { nocon00, fwd001, fwd002}
A = \ { con10, nocon10, fwd101, fwd102}
A = \ { con20, nocon20, fwd201, fwd202}
_3`�a bdcfe[gihij�k&l�mAa b[noh/gpl)q0rsnprteuk�v�wxj�yuj�noh{zd|[|[| z"¨