HAL Id: inria-00072761
https://hal.inria.fr/inria-00072761
Submitted on 24 May 2006
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.
Synchronous Modeling and Asynchronous deployment of Mobile Processes
Jean-Pierre Talpin
To cite this version:
Jean-Pierre Talpin. Synchronous Modeling and Asynchronous deployment of Mobile Processes. [Re- search Report] RR-3893, INRIA. 2000. �inria-00072761�
ISSN 0249-6399 ISRN INRIA/RR--3893--FR+ENG
a p p o r t
d e r e c h e r c h e
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
!#"$%#&'(
%)*+ ", -./01
Jean-Pierre Talpin
N˚3893
March 2000
THÈME 1
#/0120
3547658!9;:=<>41?@?A4CB 65DFE<F8
GIH2JAKMLON P QRASTL@UWV1XYL;Z[ST\1STZ]JAKMLAS
^_]`baTLcZd*e1fhg Z_
QUie2e0`W_TZj2Lk_]L;lmH2LA_TlmH2LonqpsrstsusrvP wCUW_]lmHCxWysyWyqP zWyOe2UW{sLAS
|~}c W Lq.nZ]_]`1j2V2l;LZ]H2Lqe2_T`s{s_]UWKKMn7{MKM`1j2LA!lA`Wn2S].STZ.n2{M`W*e2_]Lfh`s_Tj2LA_TLAjCZ]_UWn7S].Z]`sn
ST\1STZ]LAKMSh5! >`W_KM`j7LA.n2{ST\1n2lmH7_]`sn2`WV2S=UWn2jCUWST\1n2lmH7_]`sn2`WV2S lA`Wn2lAV2_T_]L;nZST\1STZ]LAKMS.nZH7L
e2_]L;S]L;n2lAL`WK`s7Zh\UWn2jY`Wj\n2UWK.lAZh\s
GIH7LKM`j7LA`W5!e2_T`.j2LASUWn `seLA_]UiZ.`snUWUin2j¡U¢j2L;n2`WZmUbZ`WnUWSTLAKUWnZl;S=Z`UWn£LXf
e2_]L;S]ST.sL¢lAUWl;V2V2Sq`W[K`s7Le2_]`1lAL;S]STLASA¤dn2l;`j7n2{sS`i_TLAUiZL;j¥UiST\1n2lmH2_T`sn2`sV2S;¦§S¨\n7lmH2_]`sn7`sV2S
UWn2j©>V2n2lcZ.`snUW'lAUWl;V2hª«¬*¦'-®«¬¡UWn2j¯IUW_]L=e2_T`.j2LAj°
GIH7L±jUiZUbfhS¨Z_]V7l;ZV7_]L±`WI5!.SSTH2`²n³Z]`~HU@sLOUl@UWn2`Wn2lAUW¦H2L;_UW_TlmH2li¦0_TLAe2_TLASTLAnZmUiZ]`sn°
GIH2S_]L;e2_]L;S]LAnZUiZ.`snSZH2L-UWS].S>`s_!ZH2L§j2LAl;S].`sn2S`W5´WLc\±e2_T`se0L;_TZ]LAS>`s_UlA`s_T_]LAlcZj2L;e2`\1KL;nZ
`WST\1n2lmH2_T`sn2`sV2S[ST\1S¨ZLAKSTe0L;lA.µ2l@UiZ]`sn2SI`WnCUWS¨\1n2lmH2_]`Wn2`sV2SUW_]lmH7.ZL;l;Z]V2_]Li
GIH7L©e2_]`seLA_¨Zh\¡`iO¶c·¸1¹ºm»1¼¹b·½¾F¿LiZ]H2L~LAÀV2iUWL;n2lAL~L;Zh²-LAL;n(Z]H2L~S¨\n7lmH2_]`sn7`sV2S¾.nZ]LA_TnUW
UWn2jYUWS¨\n7lmH2_]`sn7`sV2Sq¾LcX1Z]LA_]n2UW-`W2S]L;_TiUiZ.`sn¢`WUST\1STZ]LAKÁIj7L;ZL;_]KMn2L;S ²H2lmH¢l;`sKe`sn2L;nZS`WU
ST\1STZ]LAKÂlAUWnLklA`sKMe2.LAjÁS]LAe2UW_UiZ]LA\¢UWn2jYLcXLAl;V7ZL;jvUWVZ`sn2`WK`sV7S].\Ã
GIH7LÄe2_]`seLA_¨Zh\Å`WMÆǹºm»1¼¹b·½+>ÈLW*ZH2LÄL;ÀV2.iUW.LAn2l;LÄ0LcZh²§L;LAn"ZH2LÄS¨\n7lmH2_]`sn7`sV2SYUWn2jUWS¨\n1f
lmH2_]`Wn2`sV2SlA`sKMe0`WS].Z]`sn7S[`iLAn2j7`lmH2_T`sn2`sV7S lA`sKMe`sn2LAnZ]Sm[j7L;ZL;_]KMn2L;S[²H7lmHvl;`sKe`sn2L;nZS`i*U
ST\1STZ]LAKÂlAUWnLkj2S¨Z_T2V7Z]LAj¢`sL;_Un2LcZh²§`W_]´©².Z]H2`sV7Z.`sS]SI`Wn>`s_]KUiZ.`sn'
ÉÊË°ÌTͱΠbÏi lA`sn7lAV2_T_]LAn7l;\s¦ST\1n2lmH7_]`sn\UWn2jYUWS¨\n7lmH2_]`sn\W¦0KM`s2.Le7_]`1lALASTS]L;S
Ð$ÑÒhÓhÔÕIÒ*Ö×ÓhؾÙ;Ú
Unité de recherche INRIA Rennes
IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Téléphone : 02 99 84 71 00 - International : +33 2 99 84 71 00
Télécopie : 02 99 84 71 71 - International : +33 2 99 84 71 71
,-.0
`sV2S¢e2_]`We0`sST`sn2S©V2nKM`j2J;Lvj7LÄe2_]`s{W_UWKMKÁUbZ`Wn¥>`sn2j7R STV2_© U n7`WZ.`sn j2L
S¨\S¨ZJ;KLj2L±Z]_UWn7S].Z]`sn7Se2_TRcf `s_]j2`Wn2n2RUiµ2nÄj2L±j2R;lA_]._]L±j7LAS=ST\1S¨ZJAKMLAS=l;`sn2l;V2_]_TLAnZS;¦/ST\1n2lmH2_T`sn2LAS
LcZUiST\1n2lmH2_T`sn2LAS;¦0L;ne7_]RASTLAn2l;Lqj2LkKM`s2..Z]RLcZ[j2Lkj7\1nUWKMlAZRi
!L K`1j2J;Lke2_]`We0`sSTR l;`sKMe2_]L;n2j2SUSTRAKUWnZÀV2L`seRA_]UiZ.`sn2LA!LcZUS]R;KÁUinZ]ÀV2Lj2RAn7`WZmUiZ]`sn1f
n2L;.LIj¿V7nÁl@UilAV7j2Le2_]`1lAL;S]S]V7S§LcXe2_TLASTS].'jUWn2S*L;ÀV2LA5j2L;S-lAUWl;V2S*UWe7eUW_]L;nZRASh ®«¬¦7ª«¬¦
¯ e0L;V7sL;nZ;Z]_]LkLcXe2_TKMRAS;
U±S¨Z_TV2l;Z]V2_]Lkj2L=j2`Wn2n2RAL=STV2_IUiÀ1V7LA.L_TLAe`sS]L=l;L=K`1j2JA.Le`sS]STJAj2LkV2n7L >`s_]KML l@Uin2`sn2.À1V7L ÀV2
eLA_TKLcZj¿LX7e7_]KMLA_I.LASIe2_T`se2_TR;Z]RASLASTS]L;nZ]L;L;Sj2Lkj2RAS¨\n7lmH2_]`sn7SUbZ`Wn
U e2_T`se2_].R;Z]Rj¶c·¸1¹ºm»1¼m¹b·Æ¶>lW7¿j°@ÈRAÀV2WUiLAn7lALL;nZ]_]L*L;S/`s2STLA_TiUiZ]`sn7S/ST\1n2lmH2_T`sn2LASL;ZUWS¨\1nf
lmH2_T`sn2L;S jÈV2n ST\1STZ]JAKML eLA_]KML;Zkj7Lj2R;Z]LA_]KMn7LA_=L;S=lA`sKMe`sSUWnZ]S=j¿V7n£S¨\S¨ZJ;KLOe`sV7iUWnZ;Z]_]L
l;`sKe7R;SIS]R;eUW_]R;KL;nZ@
U e2_T`se2_].R;Z]RIj.Æǹºm»1¼¹b·Æ¶ ¾li¿j'WÈRAÀV2.iUW.LAn2l;LILAnZ_TLLASl;`sKMe0`sST.Z]`sn2SST\1n2lmH2_T`sn2L;S§L;Z-UWS¨\1nf
lmH2_T`sn2L;S[j7L lA`sKMe`sSUWnZ]Sm-eLA_TKLcZIj2L j2RcZL;_]KMn2L;_ L;S lA`sKMe`sSUWnZ]S jÈV2n©ST\1STZ]JAKMLke0`sVWUinZ;Z]_]L
j2R;e2`WRASISTV2_[V2n¢_]RASTL@UWVCUWST\1n2lmH7_]`sn2Li
Î Ì Z]H2RA`W_]LÁj2L©UCl;`sn2l;V2_]_TLAn2l;LW¦ K`1j2JA.LAS±S¨\1n2lmH2_]`Wn2LASML;ZOUiST\1n2lmH2_T`sn2LAS;¦§e2_T`l;LASTS]V2S
KM`s2.LAS
!" #$%&!'()*+,-$ ./01/
2WLAUWnfh^*.LA_T_]L=GUWe2.n
3]¬4!«658793:4!«;5 ¦7l@UWKMe2V2Sj2L=<§LAUWV2.LAV'¦>f r@?iyBAxqQLAn2n7LAS
L .nZ]_]`1j2V2l;L¡ZH2L¡e2_]`s{W_UWKMK.n2{(K`1j2LAlA`Wn2S].STZ.n2{ `WOe2_TLcf `s_]j2L;_]L;j Z_Uin2S]Z`Wn ST\1STZ]LAKMS
5!>`s_~KM`j2L;.n2{£S¨\1n2lmH2_]`Wn2`sV2SUWn2j"UWS¨\1n2lmH2_]`Wn2`sV2S¢lA`Wn2lAV2_T_]L;nZYS¨\S¨ZL;KS¢n¥ZH2LÄe2_TLAS f
LAn2l;L±`WKM`s2.Zh\¢UWn2jv`ij7\1nUWKMl;.Zh\s[GIH2L±KM`1j2LA`W 5!±e2_T`.j2LAS UWnv`seLA_]UiZ.`snUW!UWn7jÄU
j2LAn7`WZmUiZ]`sn2UW°STLAKUWnZl;S Z`MUWn¢LcXe2_TLASTS].WLqlAUWl;V2V2S§`WKM`s2.Le2_]`1lAL;S]S]L;SA-dn2lA`1j2n7{sS`W_]LAUiZTf
LAjÁUWST\1n2lmH2_T`sn2`sV7SA¦ST\1n2lmH7_]`sn2`WV2SIUWn2j>V2n2l;Z]`sn2UWl@UW.lAV2.hª«¬¦-®«¬ÄUWn7j¢¯0*UW_TLe2_T`1.j2LAj'
GIH2L jUbZmUbf STZ_TV2l;Z]V2_]L-`W/5! SS]H7`²nZ]` HU@sLIUl@UWn2`Wn2lAUW¦bH2L;_UW_TlmH2li¦W_TLAe2_TLAS]L;nZmUiZ]`sn'GIH2L
H2L;_UW_TlmH2l=n7`s_]KUW0>`W_]K `iU©5! Ui`²S§Z]`OnZV2ZsLA\ÁLXe2_]L;S]S
C
Z]H2Le2_T`seLA_TZh\M`W-¶c·¸1¹ºm»1¼m¹b·½ >ÈLWZH2LLAÀV2WUiLAn7lAL[0LcZh²§L;LAn©ZH2LST\1n2lmH2_T`sn2`sV7Sk¾.nZ]LA_TnUW
UWn7j¡UWS¨\1n2lmH2_]`Wn2`sV2S~¾LcX1Z]LA_]n2UW `s2STLA_¨WUbZ`Wn£`W§U¢ST\1STZ]LAKÁ=Z]`Yj7L;ZL;_]KMn2L²H2.lmH£l;`sKMe0`if
n2L;nZS[`WUOST\1S¨ZLAKÂlAUWnY0LklA`WKe2.L;j~S]L;eUW_UbZLA\¢UWn2jYLcXL;lAV7Z]LAjÄUWVZ`sn2`WK`sV7S].\Ã
C
Z]H2Le2_]`We0L;_TZh\`W[Æǹºm»1¼m¹b·½Á¾F¿Li0Z]H2L±LAÀV2iUWL;n2lAL±L;Zh²-LAL;n Z]H2L±S¨\n7lmH2_]`sn7`sV2S UWn2j³UWS¨\n1f
lmH2_T`sn2`sV7Sl;`sKe`sST.Z.`sn2S `WL;n2j2`1lmH2_]`Wn2`sV2SMlA`sKMe`sn2LAnZ]SmqZ`³j2LcZLA_TK.n2L~²H2.lmH(l;`sKMe0`if
n2L;nZS[`WUOST\1S¨ZLAKÂlAUWnY0Lkj2.STZ_T2VZLAj¢`sL;_[UMn2LcZh²§`W_]´~².Z]H2`sV7Z.`sS]SI`i.n7>`s_]KUiZ]`sn'
GIH2L j2L;lA.S]`Wn`WZH2L;S]LI´iL;\e2_T`seLA_TZ]L;S{sVUW_]UWnZh\±U l;`s_]_TLAlcZj2LAe7`\1KL;nZ`WST\1n2lmH2_T`sn2`sV2S*S¨\S¨ZL;K
S]eLAl;.µlAUiZ.`sn2SI`snYUWS¨\n7lmH2_]`sn7`sV2Sn7L;Zh²-`s_]´¢UW_TlmH2.Z]LAlcZV2_TLW
DE#FHG Î Ï W;I Î G
J
\n7lmH2_]`sn7`sV2Ske2_]`W{s_UWKMKMn2{K¿x¦L?1¦.Nx1MHUWS0L;LAnÄe2_T`se0`WS]LAj UWS UWnÄLHNMlA.LAnZkUWe7e2_]`UilmHv>`s_ZH7L
j2LAST{sn¡`W_]LAUWl;Z].sL~UWn2j+_]LAUWfZ.KLS¨\S¨ZL;KS;PO Z±HUWS±LAL;n ²j2L;.\ e2V22.l;QAL;j'¦V2STn2{ZH2L~.j2Lcf
UWRQAL;j£e2.l;Z]V2_]L`WTSUQ;LA_]`YZ.KLWVMlA`sKMe2V7ZUiZ.`sn¡Uin2j n7STZmUinZUWn2L;`sV2Sq7_]`UWj7l@UWS¨Z±lA`WKK±V7n2lAUiZ.`sn'
XS¨Z_T2V7Z]LAj¤UW_TlmH2.Z]LAlcZV2_TLASOj2`³n2`WZA¦ H7`²-L;WLA_;¦ `sL;\¡Z]H2L©j7L@UWYSZQAL;_]`ÄZ.KLWVÁKM`1j2LA-`W[e0L;_T>LAlcZ
ST\1n2lmH2_T`sn\s
J
KMUi_].Z]L;SUWn2j>`s_]KUW.n2´S*0LcZh²§L;LAn¢ST\1n2lmH2_T`sn\©UWn7j©UWST\1n2lmH7_]`sn\~H2UWLn2`Wn2L;Z]H2LA.LAS]S§0L;LAn
j2STlAV2STS]L;jn Z]H2L§..Z]LA_UbZV2_TL-Ui_]LAUWj7\W¦iZHV2SÀV2LAS¨Z`Wn2n2{ZH2L-`WLA_TS]KMe2..µL;j1ST`sn `W&SZQALA_T`Z.KLWV
lA`sKMe2V7ZUiZ.`snUWn7jn2S¨ZmUWnZmUin2LA`sV7S2_]`Uij2l@UWS¨Z*lA`sKMK±V2n7l@UbZ`Wn'd Ui_].\ eUWeLA_[KÈr\M.n7>`s_TKÁUW..\=j7S¨f
lAV2STS]L;j³Z]H2L±.n2´©L;Zh²-LAL;n£eLA_¨>LAl;Z ST\1n2lmH2_T`sn\³UWn2jCZ]`s´WL;nfh2UWS]L;j£UiST\1n2lmH2_T`sn2`sV2SkjUbZmUbf^]`² n2L;Z¨f
²§`W_]´SA³GIH2LÁµ2_]STZq>`s_]KUW*STZ]V2j7\ `ij2LAS¨\n7lmH2_]`sn7Q@UbZ`Wn'¦*n_K,`aMF¦LAS¨ZmUW2.STH2LAS±e7_]LAl;STL~_]L;UiZ]`sn2S
0LcZh²§L;LAn£S]`if l@UW.LAjv²-LA.f lA`1lm´WL;j³ST\1n2lmH2_T`sn2`sV2Sk>V2n2lcZ.`snUWe7_]`s{s_]UWKMSkUWn2jÄZH2LOSTV22S]LcZq`icbkUWHf
n n2LcZh²§`W_]´S©UWKMLAnUi2L©Z`dS 2V&e°L;_¨fh.LASTSfVYL;iUW.VUiZ]`sn' J n7lAL¢ZH2L;n'¦ ZH2LYSTS]V2L`W=S¨\n7lmH2_]`sn7`sV2S
e2_]`W{s_UWKgS j2L;ST\1n2lmH2_T`sn2RQ@UiZ]`sn&V HUWSLALAnYnWLASTZ]{UbZLAjY\©S]LcsL;_UWUWV7Z]H2`s_TSA¦LWÈ{2KhABMF
GUW´n7{ÄUWj7iUWnZmUi{sLÁ`WIZ]H2L~_TlmH Uilm´1{W_]`sV2n7j+`WIZH2LÁST\1n2lmH2_T`sn2`sV2Se7_]`s{s_]UWKMK.n2{YZ]LAlmH2n7`s`if
`WkÇc½b·°ºm»1¼m¹b·°¹Ç¼¹W¼ Æ·~UWn2j ¸1¶mÇc½b·°ºm»1¼¹b·Æ Fƹb·³n Z]H2L¢UW{sL©`iKM`s2..Zh\ Uin2j¤e2_]L;S]LAnZ
UÄKM`j2L;¦l;`sn2STSTZ]n2{C`W[e2_]Lfh`s_Tj2LA_±Z]_UWn2ST.Z]`sn£ST\1STZ]LAKMSA¦*²H2lmH¤e2_T`1.j2LASS¨\KMKML;Z_TlÁZ]H2LA`W_]L;S
`WST\1n2lmH2_T`sn2`sV7S~UWn2j¥UWS¨\n7lmH2_]`sn7`sV2SÁl;`sKMK±V2n2.l@UiZ]`sn2S;¦_]L;UiZ]LAj¤\+ZH2L©>`s_TKÁUW§e2_]`seLA_¨Z.LAS`W
¶c·¸1¹ºm»1¼¹b·½=UWn7j Æǹºm»1¼¹b·½b¦2n©Z]H2Lke2_]L;S]LAn7lALq`iKM`s2..Zh\MUin2jj\n2UWK.lAZh\s
GIH2LÁe2_T`seLA_TZh\ `W LAn2j2`1lmH2_T`sn\Å>S]L;LW¦Li¿{2¦LX7UWKe7LYN0A Sj2L;µ2n2LAj \³ZH7LÁLAÀV2iUWL;n2lALM0Lf
Zh²-LAL;n¤Z]H2LÁS¨\1n2lmH2_]`Wn2`sV2SY>nZL;_]nUWUin2j+UWS¨\n7lmH2_]`sn7`sV2S¢>LcX1ZL;_]nUW `s7S]LA_¨iUiZ.`sn¡`WIUCST\1STZ]LAKY
GIH2LOl;`sKe`sn2L;nZS=`W-U~ST\1S¨ZLAK ²H7lmH³SUiZ]S¨\CZH7Le2_]`seLA_¨Zh\v`W L;n2j2`1lmH2_]`sn\³Ui_]L_]`W2V2STZ=Z]`¢UWn
UWS¨\1n2lmH2_]`Wn2`sV2S©L;n1._]`sn2KMLAnZľLWÈ{2-U¡STZ]_]LAUWK `Wkn2e7V7ZiUW.V2LASUWn7j l@Uin H2LAn2l;LvLClA`WKe2.L;j
STLAeUW_]UiZL;.\¢Uin2jLXLAlAVZLAjvUWV7Z`Wn2`sKM`sV2S]\s
GIH2L e2_T`se0L;_TZh\M`W/.S]`1lmH2_]`Wn\C>S]LALi¦2LWÈ{2¦LX7UWKe7LNzS j2L;µn7LAj¢\MZ]H2LL;ÀV2.iUW.LAn2l;LL;Zh²-LALAn
Z]H2LS¨\1n2lmH2_]`Wn2`sV2SqUWn2j UWST\1n2lmH7_]`sn2`WV2Sql;`sKe`sST.Z.`sn2S `i§L;n2j2`1lmH2_]`sn7`sV2SlA`sKMe0`Wn2LAnZS; >5`W_ Zh²§`
L;n2j2`1lmH2_]`sn7`sV2S l;`sKe`sn2L;nZS `WUST\1S¨ZLAKY¦°Z]H2Lqe2_T`seLA_TZh\Y`W*.S]`1lmH2_]`Wn\YKML@UWn7S[Z]HUiZZ]H2LA._l;`sKf
e`sS]Z.`sn³l@UWn£0LMS]eLAl;.µL;j¡ST\1n2lmH7_]`sn2`WV2S]\ÅZ`YL@UWSTLWLA_]µl@UbZ`Wn£Uin2j¡l;`sKe7UbZ`Wn5UWn7j Z]H2LAn
S]Ui>LA\³j2LAe2.`\sLAj¡`sn¡Uin UWS¨\n7lmH2_]`sn7`sV2Sqn7L;Zh²-`s_]´³n>_UWS¨Z_]V7l;ZV7_]LO².ZH7`sV7Z UWn\³e0`WS]S].2LO.`sS]Sk`W
.n7>`s_]KUiZ]`sn'
gS©U¡_TLASTV2.ZA¦ 5!vV2n2j2L;_].LASÁU KLcZH2`1j2`s.`s{W\ >`s_lA`s_T_]L;l;Z\(j2LAe2.`\.n2{ `WkS¨\1n2lmH2_]`Wn2`sV2S
S¨\S¨ZL;K j7LAS].{sn2S`snYUWS¨\n7lmH2_]`sn7`sV2S Ui_]lmH2ZLAlcZV2_TLAS;
Ê
D Ï Ê Ë G
! Î G I71I Î
G
»¶@¹ ! ¹"Æ·O&52$#&%('5 41"Æ! ! 0Ç)*¹b¼)+,W¼-I¹.q¹¼
¸WÆǺ)ÇmÇcƹb·¹b·/>»¶¢ÆÇmÇ)¶mÇC¹.¢¸1¶mÇc½i·°ºm»1¼¹b·Æ ¾Æ¹b·/»1¼¹0b»¹1>»¶2,)¶c¼4365-ºm¹b·7ÇcÆÇ)ÇC¹.7@¹¼
Çc½b·°ºm»1¼¹b·°¹Ç8 ¹9 :*;<W·=W¼?>AÆ! ¶c¼A@7B"§¹Äºm¹·Ch¶c¼ÇEDFÁ¹A¸ G ¹IHW·¸8JKLW·¸MW· ¹NOF3
Ȧ
Æ· OÁ¶mÇmÇ41¶QPSRUTVXWZY%ºm¹9W·¸bÇE>»¶YÇ)F h¶[¾¼W·7ÇcÆ!Fƹb·7Ç£¹.L»¶]\^:_0TV.`^.3baÁ»¶c·c>»¶<\^:_0TV.`^
ÆÇvÆ·¶cÆ!»¶c¼£¹.M»¶M^ed*f¥Ç): ¶g@8>»¶LhiGj,d*ki ¹9 : ºm¹1·Cl>»¶£¹ºmº)¼¼¶c·°ºm¶mÇ ¹.M»¶ÄÆ· O
Á¶mÇmÇ41¶(VATmWnZ@oW·¸p@¹b¼-"qW¼T¸7»¶r)*¼m¹g¼ÆB h¶$i,dV ºm¹1·Csh¹t>»¶oiGdVgu*dVv Gh¹9 ¹b·O3
»¶-¸WÆBW¼
DT¹b·w»¶v¼Æb»xK+¸1¶mǺc¼ÆB>c¶mÇy»¶l¼m¹W¼¶mÇmÇcƹb·%¹.L£Ç¶z45¶c·C¾ÆB {DFÇc½i·°ºm»1¼¹b·°¹ÇSK+¶|¶mº)G¾Æ¹b· ¹.y>»¶
5!52$#&%('5 41}DF>»¶~¾Æºg@8W¶c¼)¾Æº @<>4 1ºg $Æ·°¶SK 3£¶mÇmÇ41¶mÇDF>»¶v¼¶]¸@»¹b¼Æb¹b·C: $Æ·°¶mÇSK=W¼¶
¶c¼!@¶mº)B $½OǺm»¶]¸ ¶]¸¢¹b·°¶2-h¶c¼1>»¶¹»¶c¼?3
tick switch out
modulo2 modulo4
out := 4out2
out := 2
out1
out := 4out2
start2
stop2 start1
start2 stop1
stop2 arbiter
sleep
sleep
out1 / out := 2
out2 / out := 4
sleep1
run1
sleep2
run2
run1 run2
switch/stop1 switch/start2
switch/start1 switch/ stop2
stop1
start1 tick / out1
tick stop2
start2
tick tick
tick tick/out2
»¶~·°¶|0k&52$#&%('5 41=¹ÇcÆ!¾Æ¹b·7ÇQ»¶ ¼¹ >4 ¶) ¹.©¸1¶mÇc½i·°ºm»1¼¹b·Æ ¾Æ¹b·>A½ ¸1¶Sƺ)¾Æ·*¼Ç)@
W·QbÇc½b·°ºm»1¼¹b·°¹Ç§·°¶)B"§¹b¼g 3q5c·9»1ÆÇ 5!52$#&%(' 54p@O"§¶-», W¶ x¶]¸{h¹1¶)»¶c¼ >»¶ \^:_0TV.`^W·¸1»¶
¶)Æ!eh¶c¼ h¹ @¹b¼- ÇcÆ· ¶g@'Çc½i·°ºm»1¼¹b·°¹Çg@ºm¹¹b·°¶c·C!@oW·¸{"§¶-», W¶[¸1¶SO ¹b½¶]¸{»¶h7i,j,d*ki©ºm¹1·
¶c¼Ç¹W¶c¼lW·bÇc½b·°ºm»1¼¹b·°¹Ç±·°¶)e"§¹b¼A 3Ǽ1ºm¶Áºm¹b·¸WÆ!¾Æ¹b·7Ǽ¶)WÆ! Æ· Ç)ºm» W·¥¶c·CƼ¹b·CÁ¶c·C!@
"§¶±¹ >cǶc¼-W¶kÆ·M»¶W¼¶c½Q>c¹?|¶mÇ ¹.1>»¶{Á¶mÇmÇ41¶Ç¶z45¶c·°ºm¶±ºm»,W¼-tDT¹b·[»¶k¼Æb»NK8W·vÆ·Ch¶c¼- ¶ Æ·
>c¶)e"§¶m¶c·C¹ºmº)1¼¼¶c·°ºm¶mǹ.7»¶Á¶mÇmÇ41¶mÇ VATmWnIW·¸ P.V.i,uC3 »¶Ç¶z4¶c·°ºm¶¹B $Æ·°¶mÇ qÇc½O ¹9 ¾Æº
ºm¹b·7Ƕz45¶c·°ºm¶O¹.>»1ÆDZƷC ¶c¼- ¶ Æ·*;2Á¶mÇmÇ41¶i,dV ¹ºmº)1¼mÇl>c¶@¹b¼¶ i,dV G@tbǹg*¹Ç¶]¸]h¹©Æ!Ç
Ƕz45¶c·C¾ÆB ¶|¶mº)¾Æ¹b·*>c¹W¶43=a~»¶c·°ºm¶ >»¶l ¹Çmǹ.qǶc¼ÆB Ƕ)9W·C¾ÆºmÇ43 »¶~º Ƕ¹.»1ÆÇ »¶
·°¹Á¶c·°¹b·(ºW· ¶bÇcÆ! $½L>c¶9F¼1ºm¶]¸2¼¹ »¶Ç¶z45¶c·°ºm¶Á¸WÆBW¼ 9;I»¶c¼¶ÁÆÇM·°¹Äº Ç4 -ºm¹b··°¶mº)¾Æ¹b·
>c¶)e"§¶m¶c·»¶©¶)W¶c·CÇ2VATmWn[W·¸<PSRUTVXWZYG3Ç<£ºm¹b·7Ƕz4¶c·°ºm¶g@7>»¶81º)¾Æ! Fƹb·/W·¸YÇ)ÇS¶c·7Çcƹb·¥¹.
>»¶ ºm¹·Ch¶c¼Ç h7i,j,d*kiLW·¸lhiGj,d*kiLW¼¶=·°¹ ºm¹¹b¼T¸WÆ·O ¶]¸*3 Ç2M¼m¶mÇ) x!@ >»¶ Á¶mÇmÇ41¶mÇ i,dV
W·¸2i,dV ºW··°¹r>c¶ ¼¹g¶c¼) $½Çºm»¶]¸ ¶]¸*3
modulo2 modulo4
tick switch out
modulo2 modulo4
arbiter
out := 2
out2
out := 4
out1
start2
stop2 start1
stop1 start2
stop2 arbiter
sleep
sleep
out1 / out := 2
out2 / out := 4
run1 run2
sleep2
run2
sleep1
run1
switch / stop1 switch / start2
switch / start1 switch / stop2
start1
tick / out1
tick stop2
start2
tick/out2 tick
tick tick stop1
»1ÆÇQ1·¸1¶mÇcƼ*>4 ¶C¶ ¶mº)qºW·>c¶Cºm¹b¼¼¶mº) ¶]¸ >A½l- ! $½£¸WÆÇ)F¼ÆB>4FÆ·~>»¶Çc½i·°ºm»1¼¹b·°¹ÇÁǶ)9W·C¾Æº
Çg@ bÇ¢Æ! ! xÇ)¾¼ ¶]¸/DFÁ¶mÇmÇ41¶ÁǶz4¶c·°ºm¶g@{ ¶-NK ; »¶~Ç)h¶S"ÆÇE>A¼¹4¸1ºbÇ){W·¸£ÆÇ]Ƕ]¸ h¹ 1º)FÆ! h¶
¶1ºm»©ºm¹·Æº ¾Æ·q5!52$#&%(' 54 3I½¸1¹bÆ· >»1ÆÇ"§¶¼¶mÇ) ¹b¼¶7>»¶[Ƕ)9W·C¾ÆºmÇg@ ¶)W¶c·I ¹ >g ! $½ 3
¹"§¶)W¶c¼A@¶1ºm»Ç)h¶S+ÆÇl>4 ¹ºgbÆ·*3
»1ÆÇÆǹ.- ¶c· ·O1ºmºm¶SO:*>4 ¶bÇl]Á¹A¸1¶Á¹.¶|¶mº)¾Æ¹b·O3·¸
Æ! B¼·7ÇC¹ », >»1ÆÇÁÆÇQ1··°¶mºm¶mÇmÇ4W¼½~bÇÁÆÇÇm»¹"·(·°¶|01W·¸ ¸1¶Sƺ) ¶]¸vÆ· »¶8 bÇ) Á¶mÇmÇ41¶
Ƕz45¶c·°ºm¶D.>c¶) ¹"@*¼Æb»NK9"»¶c¼¶ h7iGj,d*kiYÆÇk·°¹b·
>4 ¹ºgbÆ·*3
out := 2 out := 4
out := 4 start2
stop2 start1 out1
stop1 start2
stop2
out2 out2
out := 2
arbiter
out := 4
out2 stop2
start2
modulo2 modulo4
»¶¶| O ¶qÆ·¸Wƺ h¶mÇ>»¶ ¹¹ ·°¶m¶]¸1¶]¸]h¹<9¶¸1¶mÇc½b·°ºm»1¼m¹b·Æ ¾Æ¹b·vÇc½Ç)h¶)9 ¾Æº9W·¸@1·C $ƶ
»¶7 bÇ)5!52$#&%('5 41p@ºm¹¹ÇcÆ!¾Æ¹b·O (DFÁ¶mÇmÇ41¶-Ƕz45¶c·°ºm¶g@¼Æb»xK 3
¹ >»1ÆÇ=¶c·¸@p"§¶Æ·C¾¼¹A¸ 5ºm¶
»¶ ·°¹¾Æ¹b·©¹.H2.LA_]UW_]lmH2.l*n2`s_]KUWs>`s_TK@¹b¼*Çc½i·°ºm»1¼¹b·°¹Ç ÇS¶mºcÆ º ¾Æ¹b·7Ç7DFǶmº)¾Æ¹b·O34K 3
¹ ¼¹W¶
»¶ ºm¹b¼¼¶mº)¾·°¶mÇmǹ.k¹1¼ )*¼¹41ºm»*@p"§¶ Æ·C¾¼¹A¸ 5ºm¶ qǶ)9W·CFƺ ¼ Á¶)"§¹b¼A Æ·E"»1ƺm»Çc½b·°ºm»1¼¹b·½
W·¸<bÇc½b·°ºm»1¼¹b·½©ºW·[>c¶@¹bÆ·Ce $½»,W·¸, ¶]¸8W·¸I»¶¼¶mǶc¼- Fƹb·£¹. Ƕ)9W·C¾ÆºmÇqºW· >c¶r¼m¹W¶]¸*3
DE DE
~Ê >7 Ê Ï Î
d Ui_].\£eUWeLA_TSK¿r\M§n7>`W_]KUW\³j2STlAV2STS]LAj¤ZH7L©n7´£L;Zh²-LAL;n eLA_T>L;l;ZOS¨\n7lmH2_]`sn\¥UWn2j+Z]`s´WL;nf
UiS]LAjÅUWST\1n2lmH2_T`sn2`sV7S~jUiZUbf]`²Ân7L;Zh²-`s_]´SA"gµ_]S¨ZÁ>`s_TKÁUi STZ]V2j7\ K`1ML;STZUW2.S]H2L;jÅU³e2_]L;lA.S]L
_TLAUbZ`Wn£L;Zh²-LAL;n ²§L;f lA.`lm´iLAj ST\1n2lmH2_T`sn2`sV2S±>V7n2l;Z]`snUie2_]`s{W_UWKMSUWn2j£Z]H2LÁSTV22STL;Z±`i[bkUWH2n
n2LcZh²§`W_]´SUWKMLAnUi2LZ`Y2Ve0LA_ fh.LAS]S L;iUW.VUiZ.`sn' J n7lALOZH2L;n'¦Z]H2L.S]STV2L`i¸1¶mÇc½i·°ºm»1¼¹b·Æ ¾Æ¹b·
HUiS LAL;n.nsLAS¨Z.{UiZL;jO\±S]L;WLA_]UWUWV7ZH7`s_]S; OhnK%ABMF¦UWnOLcX1Z]LAn2ST.sLUWnUi.\1S].S`WZH2L.n2´SL;Zh²-LALAn
S¨\n7lmH2_]`sn\UWn2jYUWS¨\1n2lmH2_]`Wn\©²§UWSe2_T`1.j2LAj'GIH7Le7_]`se`sS]L;j©.S].`sn©`WUWST\1n2lmH2_T`sn\¢LAn2l;`sKMeUWS]S f
L;Sj2.STZ]_]7V7ZL;j¥S¨\S¨ZL;KS;¦ n+²H2.lmH n2` {s`WUW§S¨\1n2lmH2_]`Wn2QAUiZ.`sn¥S¨ZmUiZ]L.SMUiUW.UW7L~Uin2j¥l;`sKf
K±V7n2lAUiZ.`sn2S Ui_]L±n2`iZ=n2S¨ZmUWnZUWn2LA`WV2SAkGIH2.S=LcX1ZL;n2S].`sn³UW.`²SZ`©H2UWn2j2.L±n2l;`sKMe2LcZLj2LAST{sn2S;¦
STe0L;lA.µ2l@UiZ]`sn2S;¦e2_]`We0L;_TZ.LAS;¦Ui_]lmH2ZLAlcZV2_TLAS;¦Uin2jOLcXLAl;V7ZmUW7Le2_]`W{s_UWKMSA¦WnOU=V2n2µLAj>_UiKLc²§`s_T´5¦
>`s_k`WZH³S¨\n7lmH2_]`sn7`sV2S±Uin2j¡UiST\1n2lmH2_T`sn2`sV2SS]L;KÁUinZ]l;SA LOSTHUW_]LZ]H2L.S].`sn³e2_]`se`sSTLAj nK%A\M
UW_T`sV2n2j¢ZH7Le7_]n7lAe7LAS§`W.S]`1lmH2_]`Wn\©UWn2jYe2_]`se`sSTLj7LAlA.S].`sn¢e2_]`1lAL;j2V2_]L;S[Z]`OKMe2L;KL;nZ-ZH2L;K
n¤`sn7L©HUWn2j'¦-UWn2j+>_T`sK UvZH7LA`s_TL;Z.l@UW§e0L;_]S]eLAlcZsLW¦ lA`W_]_]L;S]e`sn2j2L;n2lAL;SÁL;Zh²-LAL;n¥ZH7L©ST\1nf
lmH2_T`sn2`sV7SqUWn7j£UiST\1n2lmH2_T`sn2`sV2SkZH7LA`s_TLAS=`i§l;`sn2lAV7_]_]L;n2l;\³H2UWLO0L;LAn STZV7j2L;j .nÄZH2Ll;`snZLcX1Z`W
Z]H2LCZH7LA`s_¨\ `W%/ KNz\MF¦I`W=ZH2L£4°% UWn7j±4°% .nZ]LA_]UWl;Z]`sn¥l@UiZ]LA{s`s_TL;S KN"M¦I`ikST\1nf
lmH2_T`sn2`sV7SS¨Z_TV2l;Z]V2_]L;S#K¿xN"MF
nÄZ]H2L`WZH7LA_ HUin2j'¦/nV2KMLA_]`WV2S=K`1j2L;S=UWn7jÄlA`sn2l;LAe7Z]SkHU@sLO0L;LAn
e2_T`se`sS]L;jÅZ`¡_TL@UWST`snÅ`sn l@UW.lAV2.I`W=KM`s2.L¢e2_]`1lAL;S]S]L;SA n2LSOZH2Ln2`WZ]`sn¥`WkUWlcZ`Wn STZ]_]V2lf
Z]V2_]L KN1`1M¦²H2lmH e7_]`1j2L;S±UlAUiZL;{s`s_¨\fZH2L;`s_]LcZ.lKM`j7LA>`s_=ZH2L°fhlAUWl;V2V7SA©gn7`WZH2L;_q.SZ]H2L
{sL;n2LA_]UW!lA`sn7lALAeZ`WlA`Wn2lAV2_T_]L;nZlA`sn7STZ_]UWnZ]S K¿xsx¦x/?aMF¦7²H2.lmHCl;`sn2S].STZ]S`WUOUWS].lk`s{s.l@UW5>_UiKLf
²-`s_]´³ZH2UiZqµn7j2SUWjf H2`1lÁn7STZmUin2lAL;S±n£S]eLAlAµl~j2`WKÁUW.n2Sk`WIZH7LZH7LA`s_¨\¡`Wl;`sn2l;V2_]_TLAn2lc\"¾Li¿{7
_TL@UWlcZ.WL S¨\1STZL;KS=K¿x/?aMF¦K`W2.L UWS¨\n7lmH2_]`sn7`sV2SS¨\1STZL;KS=K¿xsxaMc
DEE Î G
aI¾} /1I
Î G
LnZ_T`j7V2lAL US¨Z_]V7l;ZV7_]Lq`ie2_TLcfh`W_]j2L;_[Z]_UWn2ST.Z]`sn¢ST\1S¨ZLAKMSh5!I²H7lmHCe7_]`1j2L;S UOVf
n2µLAj~1.L;²`W!`WZH©S¨\n7lmH2_]`sn7`sV2S[UWn2j¢UWS¨\1n2lmH2_]`Wn2`sV2SIKM`j7LAS-`W!lA`Wn2lAV2_T_]L;n2l;\©.nÁZH7L e2_]L;S]L;n2lAL
`WKM`s2..Zh\C¾STLAlcZ`WnCxWc 5!=>`s_]K UMSTLAKUWnZlAUW0>_]UWKML;²-`s_]´~.n~²H2lmHYLAn7lA`1j2n2{WS[`iUWS¨\1nf
lmH2_T`sn2`sV7S lAUWl;V2>LWÈ{2ª«¬ UWn7j+ ®«¬ lAUWl;V2 UWS=²-LA UWSkS¨\n7lmH2_]`sn7`sV2SqUWn2{sV2UW{sLASM>LWÈ{2¦
S¨\n7lmH2_]`sn7`sV2SS¨Z_TL@UWK >V7n2l;Z]`sn2SIUW_]L=LX7e7_]LASTS]L;j(¾S]L;l;Z]`snYr
5!OL;STZUW2.S]H2L;S >`s_]KUWlA`sn7n2LAlcZ`Wn2S L;Zh²-LALAn£ST\1n2lmH2_T`sn2`sV7S Uin2j UWST\1n2lmH2_T`sn2`sV7SKM`1j2LA.S
`WlA`Wn2lAV2_T_]L;n2l;\¤.n¤Z]H2L©e2_TLAS]L;n2lALY`WK`W2..Zh\¥¾STLAlcZ`Wn A\ e2_]`1j2.n2{³j2LAl;ST`sn+e2_T`l;LAj2V7_]L
>`s_MZH2Le2_]`We0L;_TZ.LAS`WÁ¶c·¸1¹ºm»1¼¹b·½YUWn2j Æǹºm»1¼¹b·½ ¾STLAlcZ`Wn A2¿rO1U³ZH2LlA`sn7STZ_TV2l;Z]`sn `WkU
lAUWn2`sn2.l@UWF¦0»1ƶc¼W¼ºm»1ƺ 1_TLAe2_TLASTLAnZmUiZ]`snY`WZ_]UWn2S]Z.`sn©ST\1STZ]LAKMS±>S]L;l;Z.`snA2xs
gSU©_]LASTV2.ZA¦5!Me7_]`1j2LMU©V2n2µLAjÄ>`s_TKÁUW.STK>`W_kUWn³nZL;{s_UiZ]LAj³j2LcsLA.`se2KMLAnZ`W-j2S f
Z]_]7V7ZL;j Uin2j _]LAUWl;Z].sLÄS¨\1STZL;KS;¦ STZUW_TZ]n2{£>_]`sK L@UW_T.\¥_]LAÀV2._]L;KL;nZ¢STe0L;lAµl@UiZ]`sn7S~j2`²n Z`
UW_TlmH2.Z]LAlcZV2_TLj2L;e2`\1KMLAnZ@¦nÄZH7Le2_TLASTLAn2l;LÁ`W§0`WZ]H£S¨\1n2lmH2_]`Wn2`sV2S~¾`1l@UiUWn7j¡UWS¨\1n2lmH2_]`Wn2`sV2S
>_]LAKM`WZ]L§lA`WKK±V7n2lAUiZ.`sn2SA¦n©ZH7Le7_]LASTLAn2l;L `iKM`s2..Zh\UWn7j`Wj7\1nUWKMl;.Zh\W
Ê
ÊÌ]Î bÏ Ê @b
G
0I1IÎ G Ë c Ê
»¶q·°¹¾Æ¹b· ¹. 5!vºW· Æ· @¹b¼-9 ! $½Q>c¶
¼¶mǶc·Ch¶]¸8>A½~ºm¹b·7Çcƾ¸1¶c¼Æ·Á¹b¼¶? Æ! $ÆBW¼p@¹b¼-9 $ÆÇ)qÇÇ)ºm»ybÇ1 Gh¹9 :*3¶) Ç @¹b¼ Æ·7Ç):W·°ºm¶
ºm¹b·7Çcƾ¸1¶c¼1>»¶¸1¶*·Æ!Fƹb·¡¹. W·y\ `fV2>», -Ç)"Æ!hºm»¶mÇ >c¶)e"§¶m¶c·~»¶kÇ)F h¶mÇ \ZP-k`4`u[W·¸Q_*dZPE¹b·
¼¶mºm¶cÆOI¹.1»¶±¶)W¶c·CÇtPXV.iGuEW·¸2PXVX\^ VA@ W·¸I», ¶)Æ!Ç{>»¶¶)W¶c·C+Ri ^enQ"»¶c·L_*dZPG3
-¼¶
¹b¼T¸1¶c¼ ¾¼W·7ÇcÆ!¾Æ¹b·MÇc½Ç)h¶)qǼ¶) $½q¹b·8Á¶mÇmÇ41¶mÇg@º Ç4 $Æ!¾½¼¶) ¾Æ¹b·7ÇtW·¸±ºm»¹bƺm¶ h¹ ¸1¶mǺc¼ÆB>c¶
>»¶>c¶m», ƹ1¼ ¹.Çc½Ç)h¶)93
»¶5!Á¹.U»¶ \0`fVkºm¹b·7ÇcÆÇ)Ç=¹.7¸1¶mǺc¼ÆOFƹb·C¹.Æ!Ç ¹ÇmÇcÆB>4 ¶
¼¶1º)Fƹb·7Çr ¹ Æ· OG¶)W¶c·CÇUW·¸kÆ·Æ!FÆB 5ºm¹b·¸WÆ!Fƹb·7Ç43¶1º)¾Æ¹b·7Ç1DLWÈ{2 K1W¼m¶UbÇmǶ)9>4 ¶]¸2>A½ »¶
ºm»¹bƺm¶±¹g¶c¼ ¹b¼b ¹U@¹b¼-}»¶1·Æ¹b·¡¹.kÆ!ǹÇmÇcÆB>4 ¶2>c¶m», ƹ¼Ç43 1ºm»Y¼¶1º)Fƹb·¡ºm¹b·7ÇcÆÇ)DZ¹.
Ç)F h¶{¾¼W·7ÇcÆ!¾Æ¹b·7ÇIDLWÈ{2¼m¹ !"$#%&(' ¹)$*,+".-,'eK<W·¸©¹.O¹b¼T¸1¶c¼¶]¸¢¶)W¶c·CÇIDLWÈ{2»¶
Æ· OG ¶)W¶c·CsP.VX\^Vqº ǶmÇDT¹b¼ÆÇ[Ǻm»¶]¸ G ¶]¸¹b¼Ç¶c¼cÆB $Æb¶]¸l>c¶@¹b¼¶SK2>»¶¶)W¶c·C/$*,+".-,'eK 310 ¹h¶
>», Æ· OvÁ¶mÇmÇ41¶mÇ1W¼m¶ >»¶{Æ·Æ!9¢¹. >»¶¼¶) ¾Æ¹b·32B354:3763 ǹM·°¹h¶1>», !@ Æ·[»¶¶| O ¶mÇg@
"§¶1"Æ! ! ¹.-h¶c·["¼Æ! ¶98(Æ·IO 1ºm¶q¹.98 '@¹b¼2W·£¶)W¶c·C7DÈLWp8Á¶mÇmÇ41¶ "Æ!>»Y·°¹IW¼e Á¶c·C>ÇSK 3
asleep busy
agent
?start
!work
?stop start
stop work
:;!<=!>@? ACB D! !"$#%&('FEE!"..GHI'IJ5K.*,+"-,'ML N
O *,+".-('IJPRQTS,G!U9EE7$.*,+"- 'V' L
D!
.*,+"- 'FEE!".SW&('J5$!"$#%&' L
gS[.ZI²./n2`² L j7LAe2.l;ZL;j'¦5nUO²§U@\UW´n¢Z`Z]H2Lj2L;µn7.Z.`sn¢`WZ]H2L °fhlAUWl;V2V2S=KNt\M!S¨ZmUW_¨Zn7{
>_]`sK %/#KNz\MF¦2²§Ln2`² S]LAUWKMLASTS]\~2_Tn2{ZH7LKM`1j2LA/`We2_TLcfh`W_]j2L;_Z]_UWn7S].Z]`sn©S¨\1STZL;KS[n¢ZH7L
lA`snZ]LcX1Z[`WKM`s2.L l;`sKMe2V7Z.n2{2
ÊDX
Î }I I> Ë
¹9»1ÆÇM¶c·¸@v"§¶·°¹" ºm¹b·7Çcƾ¸1¶c¼1>»¶ Æ·C¾¼¹A¸ 5º)h¹b¼½Y¶| O ¶¹.YZ[\A@
"»1ƺm»³¸1¶mǺc¼ÆB>c¶mÇ>»¶±Æ·C ¶c¼1º)¾Æ¹b·>c¶)B"§¶m¶c·]Á¹ >AÆ! ¶7»¹b·°¶qÆ·CºW¼lW·¸¢Æ!>Çl>gbǶ43 »¶^]¹"
W¼)»©¹.^YZ[\¸1¶Sƺ)Ç W4\^ ºm¹b··°¶mº)h¶]¸2h¹_\ZPX`43
»¶vW)`fVg^ `MÆÇ ¶c¼-h¶]¸¹b·y»¶7Á¹W¶=¹.t>»¶rW4\^
"Æ!>»1Æ·L>»¶W¼¶¢¹. _\ZP`KlW·¸M»,W·¸, ¶mÇ »¶)*¼¹g¼ÆB ¶UPSRUTVXWZYEh¹99WÆ·C:WÆ·M>»¶ºm¹b··°¶mº)¾Æ¹b·O3
base 1 car
car centre base 2
alert 1
give 1 give 2
alert 2 switch
talk
system
5c·Å5p@ >»¶QW4\^Ædz¶cÆ!>»¶c¼©ÇcÆ! ¶c·CQDF¾¼W·7ÇcÆ!Fƹb· B K@ F bÆ· DT¶)W¶c·CUVX\ kn)K¤¹b¼©Ç)"Æ! ºm»1Æ·8¼¹
¹b·°¶9>gbǶlh¹EW·°¹»¶c¼]DFÁ¶mÇmÇ41¶ PSRUTVXWZY K 3
»¶¼¶mºm¶cÆO ¹.»¶lÁ¶mÇmÇ41¶ VX\*knYÆDZǶc¼ÆB $Æb¶]¸y"Æ!»
y¾¼W·7ÇcÆ!Fƹb·¥¹.`_aGDF ¶c¼-b.,#cUNJd_aGe.(#fUNg"Q1h_i 'eK 3kj¹b¼l ! &¹b¼->Çmln W·¸o%n@>»¶O¼¶mºm¶cÆO ¹. »¶
Á¶mÇmÇ41¶PSRUTVXWYy"Æ!»pPlnHgq%nr'qº ǶmÇ28¾¼W·7ÇcÆ!Fƹb·¼¹s_%G.Plqgq' ¹t_%G.PlnHgq%nr'-3
:uP;7vwAyx .,#cUg"Q1h_i zB @_%G! e.(#fUNg"Q1h_i('FEE!.(#fU'J5_%G.P.,#cUg"Q1h_i,'
x ln{gq%n{zH@_%G e.(#fUNg"Q1h_i('FEE7"Q1h_iWPln{gIan5''J5_%G.Pln{gq%nr'
»¶W?`fVg^`~Ç)"Æ! ºm»¶mÇ>c¶)e"§¶m¶c·~»¶_\ZPX`W·¸<»¶2_\PX`%8>A½~¼¶mºm¶cÆ!Æ·Q>»¶(#Gr.| ¶)W¶c·CÇ W·¸E>A½
@¹b¼-"qW¼]¸WÆ·l>»¶Æ·Ch¶c¼!?1ºm¶tP.,#cU%}~g"Qh_i}' h¹9>»¶q¸WÆǺm¹b··°¶mº)h¶]¸8>gbǶDA DFÁ¶mÇmÇ41¶GTZ`-K 3
:ue=!>!?Hv=ACB P_%IG{ ellI'FEE,#GH%'J@PWh
P.,#cUKg"Q1h_i%'FEE!_%IG{( :~: ''
P_%IG{
:~:
'FEE,#GHI'J@PWh
P.,#cUa%g"Q1h_i$'FEE7_%IGH,PllI''
1ºm»[>gbǶkÇ)"Æ!hºm»¶mÇ{ ¹<1º)¾Æ!W¶Á¹A¸1¶8DFÇ): ¶*"V$|PllI':KQ>A½~¼¶mºm¶cÆ!Æ·Q>»¶ ¶c¼- Á¶mÇmÇ41¶43LaÁ»¶c·
1º)FÆ!W¶g@Æ!§ºW·yF ¹ >»¶ ºW¼ DFÁ¶mÇmÇ41¶vVX\ kn)K 3o ¹b·Y¼m¶mºm¶cÆO§¹.7»¶tWÆ!W¶Á¶mÇmÇ41¶g@Æ! @¹b¼-"qW¼T¸bÇ
·°¶)"w¸¸W¼¶mÇmǶmÇ ÆB8»¶ Ç)"Æ!hºm»yÁ¶mÇmÇ41¶{W·¸1¹¶mÇkƾ¸, ¶43
:N7;!5=!f,RAB .*"V$|
:~: 'FEE,#GH|!'Je*".K|ellI'
*".K|
Pll'IJPP.,#cUK|EE*"V%|7Pllq'V'
x l ngq n zr.*"V
PllI'FEE7Wh el ngq n'V'IJP@"Q1h_i|7Pl ngI n'FEE*"V$| :~: ''
»¶ ¶) ¶S»¹b·°¶Ç)"Æ!hºm»1Æ·±Çc½Ç) ¶)
7d?d=
ÆÇ Á¹A¸ W¼- $½ ÇS¶mºcÆ ¶]¸9bÇ »¶Çc½b·°ºm»1¼¹b·°¹Çkºm¹¹ÇcÆ
¾Æ¹b·¡¹.2 Gh¹b·°¹Á¹Ç ¼¹ºm¶mÇmǶmÇ uP;7vg ue=!>!?Hv= g ;@r= ¹"·Æ·QMÇ): ¶W·¸Q<>c¶m», ƹ1¼?3
u@;!v A _%GzH ,S :uP;7v hc _%GP.,#cUa%g"Q1h_i$'V'
ue=!>!?Hv=MA
_KIG{,zr,S :ue=7>@?Hv=
h _%IGH,PllI''
A g-HWg 7;!r= A *"V%}5zr,S :7;!r= hc*".a}5 A ''
!5?d= A @(#GH.}dgWha}g"Q1h_i}5g.,#cU%}c'
|
zH uP;7v EE ue=!>@?Hv= EE
|
7;!5= '
aM¶1"Æ! ! 0·°¹"WÆ!W¶ >»¶ ·°¶mºm¶mÇmÇ4W¼c½ @¹b¼-9 '¸1¶*·Æ!Fƹb·7ÇÆ·£¹b¼T¸1¶c¼ h¹~¹ >cǶc¼-W¶g@ bÇkÆ·oYZ[\A@»¹"/>»¶
¼¹ºm¶mÇmÇ 7d?d= Ç)"Æ!hºm»¶mÇ ¼¹ _\ZPX`2 ¹9_\ZP`KlZ¹b· QÁ¹W¶¹.{>»¶OºW¼2W·¸Q>»¶kÇcÆ! xFW·°¶m¹Ç
ºm»¹bƺm¶±¹.2Á¼¶1º)¾Æ¹b·£¹. »¶ºm¶c·CF¼¶W·¸I»¶>gbǶmÇ43
E Ë G ! Î G Î 9 ÊÌ]Î bÏ Ê Á G 0I1IÎ G Ë ; Ê ¡
>{sV7_]L±Nj2L;µ2n2LASZH2Lkj2`WKÁUW.n2S V2n7j2LA_lA`Wn2S].j2LA_]UiZ.`sn'¦7l;`sKMe2_].S]n7{e0`s_¨ZnUWKMLAS8v¦2WUi_]f
UW7LAS ¾F¿Li*À1V2UWnZ.µ2LA_]SUWn7j lA`Wn2STZUWnZS"!#$ L²_T.ZL&%(' >`s_ÁU³nUWKMLUWn2j
)
%*,+.-0/2143657'
1
>`W_ UÁZV7e2L `W nUWKMLASA
Lq²_T.ZL989:>`s_ZH2L±j7`sKÁUinC`iWUiV2L;S `W-UÁnUWKML;%
UWn7j~UWSTS]V2KMLLcsLA_¨\%~Z`0LUWS]ST`l;UiZ]LAjMZ` U {ssLAnjUiZUbf Zh\1eLW L²_T.ZL=<>?¥>`s_ UkUWLAF¦ÈLW¦
UOe0`W_TZnUWKML8!¦5U±iUW_]UW2L`s_US]`sV2_TlAL 8 ¤>ÈLWU_TL;>LA_TLAn2l;LZ]`ZH2Lke2_TL;1`sV7SiUW.V2L=`W 80c
8@A e`s_¨Z
B* iUW_TUW7L
!CD$DEGFDHAI l;`sn2S¨ZmUWnZ
J
AK
1MLN-
$
19O
$ >V7n2l;Z]`sn
%P' A $BHG HA n2UWKL;S
<>*? A HGpQH, UWLA
>.{sV2_TLNs UWKMLASTeUWl;LAS>`s_IST\1n2lmH2_T`sn2`sV7Se2_TLcf `s_]j2L;_IZ_Uin2S]Z`Wn©ST\1STZ]LAKMS
EDE W ! Ê
GIH2L*e2_].KZ.WLS¨Z_]V7l;ZV7_]L `WUS¨\1n2lmH2_]`Wn2`sV2Se2_]Lfh`s_Tj2LA_'Z]_UWn2ST.Z]`sn=S¨\S¨ZL;K>µ2{sV2_]L xW°lA`sn2STS¨ZS
`W[KMLASTSUW{sL;SR<% 'UWn2j+`i_TLH]LX.sL¢Uin2j+Z_Uin2S]Z.WLÁ`s_Tj2LA_Tn2{7 g ZLA_TK ©SqLA.Z]H2LA_ ZH2L©STL;nZ
Z]_UWn2ST.Z]`sn
B
¦U±KL;S]S]UW{sLS<% '*S;ÈZAT%89U`s_IU±_]L;UiZ]`sn ,Jr n ¦²H2lmH¢S]eLAl;.µL;S ZHUbZ.SIU±l@UWV7S]L
`W
n
¾lAUWV2S]UWZh\2 `s_IZ]HUiZqe2_]L;lALAL;j2S n
¾S]L;ÀV2LAn2l;L[GIH7L ZL;_]K V'§S[UWnCUWS]STLA_]Z.`sn{WVUW_]j7LAj
\MZH2L[LcXe2_TLAS]STnV>j2L;ZUW.S STLAlcZ`Wn©x`sc L[²_].Z]L9EE%n7>`W_*Z]H2LS¨\1n2lmH2_]`Wn2`sV2SIl;`sKe`sST.Z.`sn`W
Z]H2L e2_TLcfh`W_]j2L;_]S9 Uin2j n¦j2L;µn7LAj©\OZH2LV2n2`Wn W+k n `WFkUin2j n e%
A % n >`s_§Ui <% 'gX<% n'V'
`W!gq n'mGL;_]KMS UW_]L S]V21aTL;l;Z=Z]`ÁZH2LqLAÀV2.iUW.LAn2l;L±_]L; UiZ]`sn7Sj2LcZmUW.L;jCnYZH2L µ{sV2_TL(A³¾_TV2L;S
ZY6[('§UWn2j !4V]\'¨
EE_^ Î 1IÎ G
L*²_]ZL`<% '`a -ZH2L KMLAK±LA_TS]H2.e`iUKMLASTSUW{WL< %/'Z]` Ue2_]Lfh`s_Tj2LA_ =>µ2{sV2_]L r L*²_].Z]L
bced Vz~'m¦ bcef Vz~'m¦ bcTg Vz~'>`s_ZH2LS]LcZ§`i°>_]L;L[iUW_TUW7LAS;¦`1l@UiZ]`sn7SA¦se`s_TZ]S*`W/U=ZL;_]K >µ2{sV2_]LxWzsc L
V L5LA % E J )V' ¾{WVUW_]j
L5L
A B
EN< %/' EW V' EWJr n EW9EE n ¾e7_]Lcf `s_]j7LA_m
L5L
A EW n E4 EE EN,S
:
h E
8Fz ¾e7_]`1lALASTSm
: L5LA E : : n E : EE : n E x wz: E 8Fz: >¾UiK..\7
>{WV2_]Lkx1 J \1nZUbX¢>`s_IS¨\n7lmH2_]`sn7`sV2Se7_]Lcf `s_]j7LA_ Z_]UWn2ST.Z.`sn©ST\1S¨ZLAKMS
²_]ZL;+"Uin2j >`s_ZH2L V2n2.`snvUWn7jvnZL;_]STLAl;Z]`sn`We2_TLcf `s_]j2L;_]S\lA`Wn2S].j2LA_Tn2{ÁUWnC.S]`sKM`s_]e7H2l
e2_]L;S]L;nZUiZ.`sn `We7_]Lcf `s_]j7LA_]S ¢UiSqeUW._]S lA`sn2STS¨Zn7{C`W[UCSTL;Z`iKL;S]SUi{sLAS a ?P' UWn7j+U
_]L;UiZ]`sn J a
LO²_]ZL
U:
~Uin2j]U:@>`s_=ZH7LSTL;Z±`i KMKMLAj2UiZL±e7_]LAj7LAlAL;S]ST`s_]S
UWn2j¢e2_TLAj2L;lALASTS]`s_TS `W><% ' nYUe2_]Lfh`s_Tj2LA_s Lk²_T.Z]L ` UWn2j!"$#k>`s_ ZH2LkKMn2.KÁUi0Uin2j
KÁUX7.KÁUi0L;LAKMLAnZ]S[`iUe2_TLcfh`W_]j2L;_
<. % '`a <. % ' <% '`a 1EE n'&% < %/'`a Jr n'(' <% 'a '&) < %/'a n'
*+ A , <. % '`a 1E-
U:
A/.10
"$# A , <. % '`a 1E-1]U:P A2.10
1
U:
A , <n % n'a 9E <n % n'IJ<% '`a 0435, <% ' 0
U:! A , <n
%
n
'a 9E <. % 'IJ<
n
%
n
'`a 0435, <% ' 0
>{WV2_]L=r `WZUiZ.`sn2S >`s_IS¨\n7lmH2_]`sn7`sV2S[e2_]Lfh`s_Tj2LA_IZ_]UWn2ST.Z.`sn©ST\1S¨ZLAKMS
E X E Î
G76 Ê G
;I Î G
< \l;`sn2S¨Z_]V7l;Z.`sn'¦1e2_]Lfh`s_Tj2LA_TSS]UiZ.ST\OZH7L[²-LA.f >`W_]KMLAj2n2L;S]S lA_T.ZL;_].`sn*8 b 7'²H2lmH_]L;À1V7_]L;S
ZHUbZ@¦>`s_UW2<h¦iZ]H2LA_TL§LX7.STZ]SUV2n2ÀV2L%89USAZ@4<% 'a sQ[UiZ]H2LA_!ZHUinqj2._]LAlcZ\kKÁUWn7e2V2UiZ.n2{
e2_]Lfh`s_Tj2LA_TSA¦²§LÄKMLA_TLA\¥l;`sn2STj2L;_~ZH2LvS¨Z_TV2l;Z]V2_]L³`Wkj2._]L;l;ZL;j"{s_UWe7H2SÁ²H2.lmH{WLAn2L;_UiZ]LCZH2L;K
9L;n2lALi¦I_]LH]2LcX.WLvlA.`sS]V2_TLASÁUW_]LYKMe2.lAZ¢¾liÈ *µ{sV7_]LA2¦ _]V7LASp7 V]\'¨OUWn2j Z]_UWn7S].Z].WLYl;`sSTV2_]L;S
LcXe2.lAZ-UWS9;:-²H2L;_]LcsLA_I_TLAÀV2._]LAj >LWÈ{2µ{sV2_TL=xN Ohn~eUi_TZ.lAV2UW_A¦H2.j2n7{qUqKMLASTSUW{WL <% '>_]`sK
Ue2_]Lfh`s_Tj2LA_s¦7²_T.Z]Z]LAn 3 <. % 'm¦2l;`sn2S].STZ]S[`i_TLAKM`1.n2{R<% '*>_]`sK qUWn2j¢_TLAe2UWlA.n2{OUW0_]L;UiZ]`sn2S
<% 'IJ<n % n'-UWn2j <n % n'IJ<% ' np\< n % n'IJ<nn % nn'
E=<E
Î Ê
@
Ê
g e2_]`1lAL;S]S (>µ2{sV2_]Lxs[.S LAZH2L;_ U~e2_TLcfh`W_]j2L;_ ²H2lmHÄj7LAS]l;_].0L;SkUÁSTZUiZL@c¦/U~S¨\n7lmH2_]`sn7`sV2S
lA`sKMe`sS]Z`Wn EE nb`s_UIj2L;µ2n2.Z]`snS,S : h `W7.n2.Z]UWbSTZUiZL UWn2j`W1Z_Uin2S]Z`Wn2S : <-\=n7j2V2l;Z].WL
LcX1ZL;n2S].`snM`W°Z]H2LKL;K±0L;_]STH2eOn2`WZUiZ.`sn±Z`e2_T`l;LAS]STLAS;¦²-L[²_T.ZL < %/'a ,S : h 'Re&<% '`a '
g ¾UWKM\ : .S UÁn7`snfhL;KeZh\STL;Z=`ie2_]Lfh`s_Tj2LA_TS ¤>ÈLW B*>: g : [UWS]STLAK±7LAj².ZHZH2L±lmH7`sl;L
`seLA_UbZ`s_ µ{sV2_TL A2¦_]V2.LASO@? [,'¨GIH7L~lmH2`s.lAL~`WIUC_]LAUWl;Z]`sn@¡n : ¦Sk²_]Z]ZL;n@ > : Re
: ng : A : n
Ê < I Ë !¶)UÇM¼¶mºm¹b·7Çcƾ¸1¶c¼ »¶{\^e_0TV.`^k¸1¶*·°¶]¸YÆ·£Ç¶mº)¾Æ¹b· ZMW·¸³¹ >cǶc¼-W¶ >»¶
ºm¹b¼¼¶mÇS¹b·¸1¶c·°ºm¶{>c¶)B"§¶m¶c·~ ¹9 :<W·¸1¼¶
¹b¼T¸1¶c¼mÇ43
arbiter
sleep
sleep sleep
sleep
run1 run2
switch/stop1
switch/start1
switch/start2
switch/stop2
sleep
run1 run1-
sleep-
run2-
sleep sleep-
run2
switch/start1
switch/stop1 switch/start2
switch/stop2 1 2 3
4
5·[>»¶7\^e_0TV.`^e@O@¹¼=Ç): ¶
¾¼W·7ÇcÆ!Fƹb·7Ç2W¼¶=ÇS¶mºcÆ ¶]¸Æ·Ä¼¶1º)¾Æ¹b·[ ¹9»¶ Æ· OGqÁ¶mÇmÇ41¶UPSRUTVXWYG3
1ºm»Ä¹.1»¶)ÂÆ·°º)¼ÇOÇ): ¶
¾¼W·7ÇcÆ!Fƹb·6D¼¹ I^ed*f]Á¹A¸1¶1 ¹8P-k`?`uEÁ¹A¸1¶SKIW·¸I»¶¹ºmº)¼
¼¶c·°ºm¶¹.{W·¡¹NOqÁ¶mÇmÇ41¶9D.2P.VX\^V¹b¼2PXV.iGuvºm¹9W·¸9h¹9>»¶1h7i,j,d*ki ºm¹1·C ¶c¼ÇSK 3
:;7vc }?d=!v A B !G@*hG
P"$#%& 'FEE"Qh_i,'IJPP"..GrEEG!*hG.G!+, 'V'
!G@*hG
G!+, ' EE"Qh_i,'IJPP".S & EEG!*hG.P"$#%& B 'V'
!G@*hG
P"$#%& B 'FEE"Qh_i,'IJPP"..Gr B EEG!*hG.G!+, B 'V'
!G@*hG
G!+, B ' EE"Qh_i,'IJPP".S & B EEG!*hG.P"$#%&W'V'
L
L a
L a
L
¼¶
¹b¼]¸1¶c¼[¾¼W·7ÇcÆ!Fƹb·Çc½Ç)h¶) ¼¶S¼m¶mǶc·CÇ[»1ÆÇÄÇ)¾¼)º)B¼¶>A½ ¸1¶mºm¹¹ÇcÆ·(Æ!OÆ·C ¹ h¹Æº
¼¶1º)¾Æ¹b·7Ç @8W·¸6>A½¡¼¶c·¸1¶c¼Æ·>»¶M>c¶m», ƹ1¼³¹.y»¶Çc½Ç)h¶) bÇ[¥ºm»¹bƺm¶Ä¹.[ ¼¶1º)¾Æ¹b·
"Æ!»1Æ·CǶ) : @ ¸1¶S¶c·¸WÆ· ¹b·=»¶ÁÇ): ¶MDF>»¶ G!*hG
K[W·¸[>»¶ÁÆ· OGÇ43 j¹b¼Æ·7Ç)FW·°ºm¶g@ >»¶
¾¼W·7ÇcÆ!Fƹb·¼¹ P)k`4`uc ¹^:d*f"Ç): h¶³¼¶z4Ƽ¶mÇ[»¶³Æ· O1P.RUTVXWZYcW·¸[¼¹A¸ ºm¶mÇ[»¶ ¹NO
P.V.i,uC3
»¶{h¶c¼- B Ç):W·¸bÇ @¹b¼1>»¶=ÇcÆ! ¶c·C ¾¼W·7ÇcÆ!¾Æ¹b·O3
EE Ë G
! Î G Î M Î Î 0I>;IÎ G
J \1n2lmH2_]`Wn2`sV2S l;`sKMe0`sST.Z]`snLXZ]LAn2j7S-Z`¾UWKM.LAS\Ml;`sn2S].j2LA_Tn2{ST\1n2lmH7_]`sn2`WV2S]\l;`sKMe0`sS]UW2.L
e2_TLcf `s_]j2L;_]S; LqS]U@\YZ]HUiZ > : UWn2jB n > : n UW_TL¢ºm¹¹Ç4*>4 ¶c¦2²_T.Z]Z]LAn S n¦Re UW./ UWLA.SC<
`WZH7L=nZL;_T¾UWl;L bcTf : '7 bcTf : n' 0LcZh²§L;LAn : Uin2j : n
UW_]L=STK±V7.ZmUin2LA`sV7S].\e2_TLAS]L;nZ.n ¾_TLAS]e°`s_
UW7S]LAnZ[>_]`sKÁ-`WZHYUWn2j n ².Z]HYZ]H2LkSUWKML iUWV7LW
> :
g n > : ngC n ' <>
bcTf
: '&
bcef
: n'gX<% '`a ' <% '`aA n
GIH2L©S¨\1n2lmH2_]`Wn2`sV2SOlA`WKe`sS]Z.`sn¡`WIZh²-`Äe2_T`l;LAS]STLASS¤UWn2jP
n
0L;`sn7{sn2{YZ`CZ]H2LÁ¾UWKM.L;S
:
EE : n
_TLAÀV2_TLASUK±V7ZV2UW!UW{s_TLALAKMLAnZ`C n`sn¢ZH2Lke2_TLASTLAn2l;Lq`We0`W_TZS98C0L;`sn2{Wn2{±Z]`OZ]H2LknZL;_T¾UWl;L
bc f : ' bc f :
n5' Lv²_].Z]L UWn2j >`s_~L;n1V7KL;_UiZ]LAj"lmH2`s.lALASYUWn7j lA`sKMe0`WS].Z]`sn7SľLi¿{7
1
|
|/>`s_ wI zazaz$Q 1sc
:
EE
: n A B
! "#$%'&(
)
*!
EE n'