Time Supervision of Concurrent Systems using Symbolic Unfoldings of Time Petri Nets Thomas Chatain, Claude Jard To cite this version: Thomas Chatain, Claude Jard. Time Supervision of Concurrent Systems using Symbolic Unfoldings of Time Petri Nets. [Research Report] RR-5706, INRIA. 2005, pp.19. <inria- 00070310> HAL Id: inria-00070310 https://hal.inria.fr/inria-00070310 Submitted on 19 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´ ee au d´ epˆ ot et ` a la diffusion de documents scientifiques de niveau recherche, publi´ es ou non, ´ emanant des ´ etablissements d’enseignement et de recherche fran¸cais ou ´ etrangers, des laboratoires publics ou priv´ es.
23
Embed
Time Supervision of Concurrent Systems using Symbolic ... · Time Supervision of Concurrent Systems using Symbolic Unfoldings of Time Petri Nets Thomas Chatain, Claude Jard ... Time
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Time Supervision of Concurrent Systems using Symbolic
Unfoldings of Time Petri Nets
Thomas Chatain, Claude Jard
To cite this version:
Thomas Chatain, Claude Jard. Time Supervision of Concurrent Systems using SymbolicUnfoldings of Time Petri Nets. [Research Report] RR-5706, INRIA. 2005, pp.19. <inria-00070310>
HAL Id: inria-00070310
https://hal.inria.fr/inria-00070310
Submitted on 19 May 2006
HAL is a multi-disciplinary open accessarchive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come fromteaching and research institutions in France orabroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, estdestinee au depot et a la diffusion de documentsscientifiques de niveau recherche, publies ou non,emanant des etablissements d’enseignement et derecherche francais ou etrangers, des laboratoirespublics ou prives.
¾�oqfg u g�b v o[mng�be` § g v g±oqmtb v ja�alpi�gZ�"oqm�K���� L £H #[�����^\5��#[���D���# ª²¾ u �z¬Poq`!r�b�lp~n��gVU KXW�Y-Z4[7Z:\^]4_@Z:\J`badceZb_�feg�Zih feg&j § �ng v g Y rkmp� [ r v g�¶pmno�b�g
`�g�b�`�jk¨ ��kl�/ ���� rkmp� #R�4���$����#R�����$�(v gZ` ~Bghi�b�o ® g��q^k¯ \�]4_ rkmp� \J`badc f�rs~�ghrki���b v rsmp`�o�beo�j�m/1.m [ bej�o�be` ��"�X���X#jk¨Õb�ghm<�ag�mnjkb�gZ�ond1/p:q;rK�\�]4_sM 1�OSt YuM ne1>vKxw Orkmp�¹o�be` �$�(��#[���X# js¨Õb�ghm<�ag�mpjsb�gZ�014nyp:q;rK�\�`zadciM 1�O{t YS|_}feg+~�[��&� T rsmI� h feg�~�[���� T��������%r�`�`�jai�o{r3begb��ng �Q���dk ���X��#��������s� TV�ikl��& _�feg�M 1�Ozrsmp� kl��#W����#�%�����@� T/�ekl��& h feg�M 1�O § o�b��Oghrki��¡b v rsmp`�o�beo�j�mE1\£`H ¾ u � o{` v gh~ v gh`�g�mtb�gZ�Ârk`±r"� v rk~n� § o�b��¡b § jêbc^_~Bgh`jk¨�mnja�agZ`�µ_~n�{rki�gh`±ª²i�o v i��qgh`�¬Prkmp��b v rkmp` o�b�oqjkmI`zª²|pr v `e¬�£t¾��pg±i���jt` gZ�êoqm�beg ve® rs�P� _}feg�M 1�O Zih feg�M 1�O:�[oq` § v o�b�b�ghmmpghr v ghr�i��¹b v rsmp`�o�beo�j�m[£ fnj v b��ng ~nl v ~Bj�`�gêjs¨�`�ln~Bg ve® o{`�o�j�m[¯ § g�i�jkmp`�oq�ng v�k������ek�kj� T #[������\5�X#R���]���#��
W U Z9=IZ*>�j § �ng v g = oq`!r�`�g�b!js¨�g ® ghm�bÃbc^_~IgZ`zª²j v rs�{r v f`�¬\¯trsmp� > be�ngzbc^t~po�mn�%js¨(b v rkmp` o�b�oqjkmI`�ª�' Z * Z )oqm f�o���l v g� ¬\£
H ~ v jai�gZ`�`Ãjs¨:rG¾ u � ` ber v b�`!o�m¼rsm ���$��#R���zk`��#:��#W� W1?UT Z g `�@�T Z9A�T j ¯ § �poqi�� oq`���o ® g�m�|t^be�ng ���$��#R���zk�y���9B����@� ? T rsmp�%b��pg#o�mno�b�o{rs�n�pr3b�g A T £3¤¥mno�beoqrk���q^k¯�rs�q�_b��ng�bejk¢kghmp`³i�r v�v ^±b��ng*�pr3b�g A T rk`³�pr3b�g�jk¨B|no v b��[µV C m ? T g `�@ T MWC O p6q;rKGA T £¾��ng�b v rkmp`�o�beo�j�m 1!i�rsm ¶ v gr3b*�nrsb�g A�XZY[A ¨ v j�f ` ber3beg W1? Z g `�@@Z9A j ¯no�¨cµ
\ 1Ão{`�g�mprk|n�qgh�(µ&ni1 t ?�|\ b��ngfoqmno�f%lnf �ng��{r ^êoq` v ghr�i��ngh�[µ A�XZY g�` _sM 1�O&] _�feg�M 1�O |\ b��ngghmprs|n�qgh�"b v rsmI` o�b�oqjkmp`#�njGmpjsb*j ® g v b�rs¢�g*b��pg±f�rs·_oqf�lpf �agh�qr ^a`hµV 1 X m [ ne1 X t ? K_^ A�X D g�` _sM 1 X O&] h feg�M 1 X O�£¾��ng�¶ v oqmn�±js¨^1)r3bw�nrsb�g A�X �qghr��n`�b�j±be�ng*`cb�r3beg W4M1?`R nd1�Oz� 14n Z g�`"@ X Z9A�X;j ¯ § �ng v g g `�@ X MWC O p6q;rK g�`"@sM,C O
o�¨ C m ?SR nd1�rsmI� g `�@ X M,C O p6q;rKGA�X o�¨ C m>14ns£
îÃî¿ì9k���l��nm
� ��Y���#��������������"T
f�oqmprs�q��^ § g�rk`e` lnfg�be�pr3b#beo�fg T����(���}� ��� µ § �ng�mÂoqma¶pmno�b�gh��^ f�rsm_^êb v rkmp`�o�beo�j�mp`!¶ v gk¯nbeo�fg�mpghi�gZ`c�`er v oq��^ê�ao ® g v ��gh`Ãb�joqma¶pmno�bc^k£¤¥mÂbe�ng�oqmno�b�o{rs��`cb�r3b�g%js¨:b��pg�mng�bzjs¨�f�oq�kl v gê�k¯ C 3 rsmp� C 5 r v gf�r v ¢kgZ� rkmp�¼be�ng�o v �nrsb�g�jk¨w|no v be�
o{`*�p£�143�rsmI� 165�r v g�g�mprk|n��gZ�Ârsmp��be�ng�o v �nrsb�gjk¨:ghmprs|p��oqmn��o{`�b��ng�o�mno�b�o{rs���nr3beg��n£�165�i�rsm¼¶ v goqm¼b��ngoqmno�b�o{rs�!`cb�r3b�g�r3bGrkm_^¡b�oqfg"|Bg�b § g�ghm¸�"rsmp�<�n£ -Ã�nj_jt` g�beo�fg �k£DH*¨Õb�g v b��poq`�¶ v o�mn� C 3rkmp� C 9 r v gf�r v ¢�gh�(¯z143!o{`³be�ng*j�mn��^%g�mprk|n�qgh�Gb v rsmI` o�b�oqjkm�rsmI�%o�bÃ�Irk`wrk� v ghr��a^ § rso�b�gh� �#beo�fg*lpmno�bZ£�143�ihrsm¶ v g*r3brkm_^b�oqfg A ¯k~ v j ® o{�agh�%o�bÃoq`³� v gZr3beg v b��Irsm¼�k£ -Ãj�mp`�oq�ag v 143P¶ v gh`wrsb³b�oqfg + £ C 8 rsmI� C 9 r v g#f�r v ¢kgh�%oqmbe�ng±mng § ` bersb�g�¯_rkmp��b v rkmp`�o�beo�j�mp` 1 8 rsmI�{1 9 r v g�ghmprs|n�qgh�[¯_rkmp�be�ng�o v �nr3begzjk¨�g�mprk|n�qo�mn�Go{` + |IgZi�rklp` gbe�ng�^��pr ® g!xclp` b�|Bg�ghmÂg�mprk|n��gZ� |t^"b��ng�¶ v oqmn��jk¨�1 3 £I¾)j¶ v g�¯�168 § jkln�{���pr ® g�bej § rko�bz�%beo�fg�lnmpo�b�`�£c!labPb v rsmp`�o�beo�j�mS1:9zi�rkmnmnjkb § rko�bÃrsbÃrs�q�«£t]_j/1:9 § o��q�pmngZi�gZ`�`er v o��q^¶ v g�ªLr3bwbeo�fg + ¬\¯trsmp� 168�ihrsmnmpjsb³¶ v gk£
\ W �� C� Z � M Z#A�T Od� j m �<¯ § �ng v g� p:q;rK M}w�Z�� O v g�~ v gh`�g�mtbe`%be�ng¡oqmno�beoqrk�*g ® g�mtbh£ ��jsbeoqi�g¼b��prsbêb��ngo�mno�b�o{rs�Bg ® g�mtbP�aj_gh`Pmnjsb�rki�b�lprk���q^ v g�~ v gZ` ghm�b³be�ng#¶ v oqmn��js¨�rb v rsmp`�o�beo�j�m[¯ § �no{i��êg�·_~p�qrko�mp`³b��ngzlp` gjs¨wbe�ng�` ~Bghi�oqrk� ® rk��lng ���m [ £`fnj v be�ng�`�rkfGg v gZrk`�jkm[¯Ib��pg`�g�b�js¨�i�j�mp�ao�b�oqjkmp`zb��Ir3br v gGi v gZr3b�gZ�|t^� o{`*�ag�¶Imngh� oqm¼r`�~IgZi�o{rs� § r ^Xµ� /n p:q;rK � M Z C O � C m ? T ��£
\ fnj v rs�q�*~ v j_i�gh`e` W �yZ��/j m ����gZrk�aoqmn�¹bej¦`cb�r3beg W1? Z g `�@ Z#A@j ¯Po�¨�r¹b v rsmI` o�b�oqjkm�1�i�rsmD¶ v g¡r3b�nr3beg A"X�Y A ¨ v j�f&`cb�r3beg W(? Z g `�@ Z#A j ¯Xb��nghm W � ��� � � Z�� �0� M �@Z#A�X OQ� j m �<¯ § �ng v g%b��pgGg ® ghm�b� p:q;rKNM " h���� _ D 3F �� ��� M ne1�O Z 1�O v gh~ v gh`�g�mtbe`Ãb��poq`�¶ v oqmn�js¨P1\£´OgÂ�ag�¶pmpg"be�ng v g��{r3beo�j�m � jkm¦b��ng g ® g�mtbe`Grk`hµ �I� ��X o�» � n P n ��X vK w £³¾��ng v g�Àpg�·_o ® g"b v rsma�
# KNM � M Z Y 3 OQ� Z 1 3 O �SM # O Y �SM (O$ KNM � M Z Y 5 OQ� Z 165 O # D �SM $ O � �SM (O D $% KNM � M # Z4Y 8 O Z M $ Z4Y 9 Od� Z 1 9 O �SM % O K FIH�J � �SM # O Z��SM $ OQ�& KNM � M % Z4Y 3eOQ� Z 143iO �SM & O K �SM % O' KNM � M % Z4Y 5 OQ� Z 165 O �SM ' O K �SM % O&] $( KNM � M & Z4Y 8 OQ� Z 1 8 O �SM ( O K �SM & O&] $
���*) � � ��!�" Ë � � �k�,+ Ë � �<��0 #)� Ë �0 Ç � � Ç �h� � "�!-Ãj�mp`�oq�ag v rGmng�b7U&fja�ag��qo�mp�Gr`�^_` b�ghf5rsmp��rsm jk|p`�g ve® r3beo�j�m.- jk¨�b��poq`#`�^a`cbeg�f¼¯ § �noqi��¼rk`e`�j_i�oqrsb�gZ`rG¶Imno�beg%`�g�!tlnghmpi�g�jk¨³jk|p`�g ve® gZ��rk�qr v f�` M(>0/21 3 Z!3�3!3eZ�>0/41 5�6 O § o�be�Âghrki��Â`�g�mp`�j v87 £B¾��ng�`�g�b±js¨w` ghmp`�j v `o{`#�aghmnjsbegh��9�£ fnj v ghr�i�� `�g�mp`�j v:7 ¯ =;/ oqmp�ao{i�rsb�gZ` § �noqi��¼rs�{r v f�`Ãb��ng�`�g�mp`�j v j�|p`�g ve® gh`h£¾)j�i�jkf~nlnb�g�rG�noqrk�kmnjt` o{`�¯ § gz~ v jk~Bj�`�gzb�jG|nlnoq�q�¼r%mng�b;< M U Z -/O § �pj�`�gz~ v jai�gZ`�`�gh`!i�j v�v gh`�~Ij�mp�
\ ��\�]4_ X M 1 /21 O K�\�]4_ X M 1 /21 O p:q;rK � C /41 D 3 Z 7 � 6&% ' �t¯ \�`zaQc X M 1 /21 O p6q;rK � C /21 Z �7 � rsmI�_�feg X M 1 /21 O K h feg X M 1 /21 OPp6q;rK(� £
f�oq�kl v g%�`��nj § `�b��pg�mng�b±js¨>f�o���l v g"��i�jkmI`cb v rko�mngZ� |t^�b��pg�jk|p`�g ve® r3beo�j�m>'�)^'�)W¨ v jkf `�g�mp`�j v Hrkmp� *�*¹¨ v j�f `�g�mp`�j v c±£´Og�ihrs�q� T����i�V��(����� �;� � ���������b��#[����� - ��� ���# U rkmt^ `�g�b,js¨¿`�^tf%|Ij���o{i ~ v js�
W �{Z��/j D W � X Z�� X j o�» � t � X � � K%� X F �+-, æ±âhܥܥã�óæ±åcÚ_â�å#åcÚtæ±ì�æeå*ìtæ � æeà�àcæ\â�í�Ú�æ�Ü�âGçkæ%�Zæ�ì�æeà â�åcæ�ç�ÜRå â�åcæ/.1032547678�2:97;ÃÞwÚtæ�àcæâ%Þ:æ�âhás÷ é�æeì_âhè�÷Ýæ\çå¥à âhì�Ü¥Û åcÛ�ßhì=<:ÚtâhÜwß@� æeà¥å â�á æ�ìGÛ åcÜwó�â��kÛÝó±ã�ó?>�àcÛ�ì���ç�â�åcæA@B9DCE476GFIHKJL<NMPO3Q RS4JL<NM:T
îÃî¿ì9k���l��nm
�Z� ��Y���#��������������"T
���;� " È � � Ë 0 � ����"�+ Ë 0²Ì � "�!I� Ë + Ç�� � Ç ")Ì Ç Ì +L� Ç_Ç ��� Ë � � Ç � � � Ç>=�Ç ��� � " Ç �Z�H�m ��*/#W�X�UTV��T5���"���Z Y$���� �� beo�fg u g�b v o(mpg�b*o{`*r%b�oqfGg u g�b v o[mng�b*`�lpi�� b��prsbhµ
�� � � ���VK(� � � ��� Q��C�i�zk�k &P ekJ����� T��@�@Z�� X m � � vK%��X �Ln � P n ��X vK w � � ��� ������ �� �#��� � ���
V � m � R � C� h \�] _ g�M �@Z�� O � ��k�k�# Y �Z�X�����$#[�]�"�X�R� �� �#1# Y �.�������s�NT/�ekl��&(���� Y$�X� �
h \^]4_Qg�M �@Z�� O p:q;rK���� ����SM � O Y FIH�J�� MLN � �SM n �eO � 1 ��� ��#R�"���@��k &N�X�^���ikJ��T � Y$�X� � �%�"�X����SM � O Y g�`�� _�M 1�O&] _}feg�M 1�O � #�Y$� �Q���dk ���X��#��������@� TV�ikl��& �����"�Q�V �Y ��T��V 1 X m [ ni1 X&K ni1 K&^ �SM�� O D g `�� _�M 1 X O&] h feg�M 1 X O� # Y �Ckl��#W����#^�������s�NTV�ikl��&(� ���"� �"�X�R� �� �#)��T��
� ��# Y 1Pp:q;rK ��M � O ���T�X���C�zk�k 1 X m [ ��$ �YP# Y���# ne1 X�K nd1� g `�� _sM 1 X O p6q;rKGFIH�J � M"!$#&%�'�(*),+- N�. � O ' � �SM n �eO �< � Ç_Ë � Ç � ����/ ���C�zk�k � p:q;rK M Z 1�O m �! �gza M � O � [
� m �=� � �� � " h����Q_sM O K nd1@B Z B X m � ��� B�vK B X � n B P n B X vK w0 �X~ � ���2�&� T V B m � ���ER �� C� h \^]4_Qg�M B Z�� O
H �J����#R���zk`��#:��#W� �%�����@� o{`#r�b v oq~n�qg M 9 Z 1 Z9A�X O § �ng v g 9+p6q;rK W Z g�`"@ � Z#A � j oq`#r%~pr v b�o{rs�[` bersb�g�¯@1Ãoq`#rb v rkmp`�o�beo�j�m `�lpi���b��prsbVnd1 t ¯prsmp� A�X&Y A � o{`#r�nr3begk£� ùLë[Þ�æ�ç�ß�ìtß�å�ásìtß\Þ6âhì3é�Ü¥ãtí Úêä_â�à¥åcÛÝåcÛÝßhìIôpâ�Ü¥ßZ÷Ýã�åcÛÝßZì"ÛÝÜ!åcß�æ �såcæ�ì_çåcÚ�æzÜRå¥àcã�íeåcã�àcæ�ßhë�åcÚtæ�ìtæeåÃÞwÛ åcÚ�ßhìtæí�ßhóät÷Ýæ�óæ�ì3å â�à¥éät÷�âhí�æëqßhà�æ\âhí Ú¼ä�÷�â�í�æßhë³åcÚ�æ�ìtæ�å�âhì_çêåcß�âZç�ç"åcÚ�æ�Ü¥æìtæeÞ ä�÷�â�í�æ�Ü*ÛÝì åcÚtæ±ä�àcæ�Ü¥æeå @Õè�ã�åìtß�åwÛÝì%åcÚtæÃÞ:æ\â�á%äkàcæ�Ü¥æeå�T:âhìtç%ÛÝì%åcÚ�æ�äaßZÜRåcÜ¥æ�åÃß�ëXåcÚtæÃå¥à âhìtÜ¥Û åcÛÝßZì�ÜwÜ¥ãtí Ú%åcÚ_â�åwÛÝìâhì3é�àcæ\â�í�Útâhèt÷Ýæ#ó�â�àcákÛÝì��æ\â�í�Ú"ät÷�âhíeæ������ ÛÝÜ#ó�â�àcá æ\çÛ��ÂÛ åcÜ#í�ßZóä�÷Ýæ�óæ�ì3å â�à¥éGät÷�âhí�æ±Û�Ü!ìtßhå/pÙ:Ú�ÛÝÜ#ßZäaæeà â�åcÛ�ßhì¼çkß3æ�Ü#ìtß�å#í�Útâhì��ZæåcÚtæ�èaæ�Útâ@�sÛÝßZãkàßhëÃåcÚtæ�åcÛÝóæGòXæeå¥àcÛwì�æeå��[Ü¥ÛÝìtí�æ�åcÚtæ%Þ�æ\âháÂäkàcæ�Ü¥æeåcÜçkß�ì�ßhåí Ú_â�ì��hæZô(åcÚtæ�åcßZá æ�ì�ܱÛÝì¡åcÚtæí�ßhóät÷Ýæ�óæ�ì3å â�à¥é�ät÷�âhí�æeÜ!çkß�ìtß�åwä_â�à¥åcÛÝí�ÛÝätâ�åcæ#ÛÝìGåcÚtæ�ç�æ >tìtÛ åcÛÝßZìß�ëXåcÚtæ#ç�â�åcæ#ß�ë(æ�ì_â�èt÷ÝÛÝì��*
fpj v rs�q�¼g�·_b�ghmp�agh� g ® g�mtb��� p:q;rK M Z 1�O\¯êlp`�g�b��ng mnjkber3beo�j�mp` ��M �� O p:q;rK 1\¯ n�� p:q;rK " h����Q_ D 3F ' M ni1�O\¯��� p6q;rK " h���� _ D 3F '>M �d1�O�¯��� p:q;rK R n � rkmp���� n p:q;rK � M ��@Z C O)� C m 14nz��£[´Og"�ag�¶pmngbe�ng v g��{r3b�oqjkmI` � rsmp�� |Bg�b § g�ghm�g�·_b�g�mI�agh� g ® g�mtbe`#r�`�µ
¨ v g�gi��nj�oqi�g±b�oqfGg u g�b v o(mng�b�`�£< � Ç_Ë � Ç � ���� ��# �� t � !���� ���{�P�U���U�X�7�#R&V�%�$��#W�*���X#7����� */#)���T/��T �X���X�'#��S���T ��~ ������ T�����X�� �����#W� � �������s� T ��#W� � ��# Y �Q�V �Yh��*/#W�X�UTV��T ���(���$#5�;� �� � W ��yZ��/j ���C��� ��*/#W�X�UTV��T]�U�"�n ��X��� � � ������� ������ ����VK �� � �� ��� Q��C�i�zk�k & ekj�(����T��@�� Z ���X m �� �� vK ���X �Ln�� P n���X vK w � �� ��� ���� �1�� �#U���"��� �
@�� T Z �� 3 Z!3�3!3 Z �� 5 m �� �� T �� 3 � � � �� 5 �� T � ���C�V �&V ek �� ���� �� �
V ���Z ���X m �� �� ���XyK&^ �SM �� OED �SM ���X O � � ��� ���^�J��#R���ikJ� � ��#�Y �V �� m �� R � C� "���� M ��� � M n�� � �� O Z���M �� O Z��SM �� O�O � �� ������"�X�R� ���T(��#W��� ������#[����kd��#���#)� �������s���
@�B Z �B X m � ��!� �B vK �B X �Ln �B P n �B X vK�w M # O
@�� T Z �� 3 Z!3�3!3 Z �� 5 m � ���� ���T �� 3 � � � � �� 5 �� T M $ O
0 �X~ � ���2�^� T � V �B Z �B X m � ���� �B �B XyK&^ �SM �B�OED �SM �B X OV �BEm � ����ER �� C� "���� $ ��� � M n �B � �B O Z���M �B�O Z��SM �B�O ( M % O
îÃî¿ì9k���l��nm
�ni ��Y���#��������������"T
\ �"�n��� � � g�b �� m � !��!� £)¾��ng v g�g�·_o{` be` W ��yZ���X�j m �� !��!� `�lpi��Ob��prsb �� m �� £ W ��yZ���X�j `er3beoq` ¶pgZ`�b��ngi�jkmp�no�beo�j�mp`*oqmÂb��pg%i�l v �q^¼| v r�i�gjk¨P¾��ng�j v ghf + £'H�` � �� � t �� ¯ � ���� rs�{`�jê`�rsb�o{`c¶pgZ`#be�ng�f¼£(¾��ng�m½ªc�Z¬rkmp�OªL�k¬!�pjk�{�(£ fnj v ª + ¬�rG~Bj�`e` oq|n�qg � o{` � X F�� ���� £
�9��T�!�T ���U X&�� ,±o ® g�m r<~ v gZ�ao{i�r3beg "����1jkm¸~pr v beoqrk�z` bersb�g¡¶ v oqmn��`�rsmp� rÁ~ v j_i�gh`e` W��yZ��/j m �Á¯be�ng v g"f�r ^¹g�·ao{`cb ���X���X� �zk g�·tbeg�mp�ngh�Á~ v jai�gZ`�`�gh` W ��{Z���X�j m �� !���� `�lpi��Ábe�pr3b W # M �� O Z���X R # D 3F �� jSKW��yZ��/j £³¾��noq`%o{`%ihrs�q��gZ� �"��T�!�UT����U X& £:¤¥m<~Ir v b�o{i�ln�{r v ¯�o�¨�"����Äi�jkmtb�rsoqmp`b § jW~pr v beoqrk�Ã` bersb�gê¶ v oqmn��`M4W Z g�`"@ Z#A jeZ 1 Z#A"X O�rkmp� M�W6X Z g�`"@ X Z9A jdZ 1 Z#A�X O § �ng v g �X
( rkmp� g�`�@ X K g `�@ F � ' ¯[b��nghm¹rk���wb��ngg�·_�
beg�mp�ngh� ~ v j_i�gh`e` gZ`!o�m ® j�� ® oqmn� M�W Z g `�@ Z#A jeZ 1 Z9A�X O�r v g v gh�alpmp�nrsmtbZ£
� #R�����n����kd Y$���� ����X��� "���� � Y!�� Y TV�����]���#�U�"�X�X�������2���'&� ����U X!��� �X�U X&�� H¸b v o ® oqrk�Bi�jkf~n�qg�beg�~ v gh�_�o{i�rsb�g "�����oq`*b��ng�~ v gZ�aoqihr3beg�b��prsb±�aghfrkmp�n`�be�pr3b�b��ng�` bersb�g�9Do{`*r�����j�|prs�[` bersb�g�¯IrsmI� b��nghm¡i��nghi�¢be�pr3b/1�i�rkmW¶ v g�r3b��nrsb�g A�X ¨ v jkf 9�£(¤¥mÁrk�n�ao�b�oqjkm�¯Xb��no{`�i��nj�oqi�gG��o ® gh`±�qo�b�b��qg v gZ�alnmp�nrkmpi�^�£dc!labb��ngg�·_b�g�mI�agh��g ® ghm�b�`Pjk¨(b��ng±g�·_beg�mp�agZ�ê~ v jai�gZ`�`�gh`:be�pr3b § g�jk|nbersoqmêoqmêbe�noq`!i�r�` g±r v g#b�jkberk���q^j v �ag v gh�|_^ihrslp`ers�qo�bc^k£s¤¥mêjkb��ng v § j v �n`h¯sb��pgh`�g*~ v j_i�gh`e` gZ`P�aj�mnjsb!g�·a�noq|no�b�rsm_^i�jkmIi�l vev ghmpi�^Gr3bÃrk���«£CH#i\b�lIrs�q��^ § g��g�b § �prsb § gi�rk���X¶ v oqmn��` g !tlng�mpi�gh`�oqm¼o�mtb�g v �qghr ® oqmn�%`�g�f�rkm�beoqih`�£
\ 1Ão{`�g�mprk|n�qgh�(µ&ni1 t 7|\ b��ngfoqmno�f%lnf �ng��{r ^êoq` v ghr�i��ngh�[µ A X Y g�` _sM 1�O&] _�feg�M 1�O |\ b��ng�b v rkmp` o�b�oqjkmI`Pbe�pr3b#f�r ^"i�jkmp`�lnfg±b�jk¢�g�mp`!jk¨ r v g�aoq`ers|p��gZ�"j v �njGmpjsb#j ® g v b�rs¢kg�b��ngf�rs·t�o�f%lnf �agh�qr ^a`hµ
V 1 X m [ ne1 X P vK w K_^� 0 C mEne1 X �C P vK w� A X D FIH�JK�M � O ' � � g `�@sM,C O_] h feg�M 1 X O
��j § § g��ag�¶pmpg&"�����|t^�g��qo�foqmpr3beo�mp�`�jkfg v gh�alnmI�nrsmpi�^êoqm "���� X µ"���� M�W 7Zbg�`�@ Z9A jdZ 1 Z#A�X O o�» "���� X M�W 7Zbg�`�@ Z9A jdZ 1 Z#A�X O rsmp�2b��pg v g°g�·aoq` be` mnj 6X
( `�lpi��2be�pr3b
"���� X M�W X Z g�`"@ F � ' Z#A@jdZ 1 Z9A X O\£¤Rb!oq`Po�f~Bj v bersmtbwbe�pr3bÃb��ng±i�j�mp`cb v rko�mtb�`*ª²`�g�g�¾��pg�j v g�f�` + rsmp��i_¬³i�rkm�|Ig±` j�� ® gh�rslnb�jkf�rsb�o{i�rs�q�q^Bµ
V 1 m [ n 1.t ? K_^ A D g `�� _sM 1�O&] h feg�M 1�O 3 ªc�Z¬
�n£5fnj v rk��� W ��{Z��/j m �� !��!� ¯Xbe�ng v gGg�·aoq` be` W �� X Z���X�j m �� !���� § �no{i��¹`�rsb�o{`c¶pgZ`ªc�Z¬zrsmI� `�lpi��¡be�pr3bW ��yZ��/j D W �� X}Z���X�j £-Ãjkmp`�g�!tlnghm�be��^ W # M �� O Z�� R # D 3F �� j D W # M �� X O Z���X R # D 3F �� ' j m ��¦£
` lpi��¼be�pr3b �� �B�£X¾��nghm¡�ag�mnjkb�g W1? X}Z g�`"@ X Z9A�X�j b��pg��k�qjk|prk�)` bersb�g v ghr�i��ngh�¼r3¨Õbeg v W �� R � �� � Z��/jrsmp�%��g�b 1.m [ `�lpi��%b��prsb.ne1 t ? X £3¤R¨�nd1�PVn ��M �� O K w ¯Zbe�ng�m g�`�� _ X M 1�O K�g�`�� _�M 1�O Y[A��>h feg�M 1�O YA�X���h feg�M 1�O\£ ��be�ng v § o{` g��qg�b p:q;rK n�� � �� £$H�`�"���� M ��� �7M O Z���M �� O Z��SM �� O4O��nj��q�n`h¯_b��pg�m
� 0 C m ne1 �C P vK w� A D FIH�JK�M � O � � g�`"@ X MWC O&] h feg�M 1�O
H�`End1�t ? X ¯!b��nghm@C mxnd1"`�lpi��¸be�pr3b �C P vK w�| b��_lp` A D FIH�JK�M � O � � g `�@ X M,C O ] h feg�M 1�O\£
�n£ � g�b W ��yZ��/j m �� !���� £a¤R¨ W ���Z��/j `er3b�o�¶pgZ`ªc�Z¬�¯ab��pg�m W �� X Z���X�j p6q;rK W ���Z��/j ¶nb�`�£��b��ng v § o{` g�¯!i��pjtjt` g�1 m [ ` lIi��9b��Ir3b+nd1ot ? � A � g�`�� _sM 1�O ] h feg�M 1�O rsmI��`�lpi��9be�pr3b1�fGoqmnoqfoJIhgh` A O p:q;rK g `�� _sM 1�O ] h feg�M 1�O\£ � g�b �� p6q;rK � �BEm �� � �SM �B�OED A O �t£ W �� Z�� F �
�j m �� !���� £
y�ghmnjsbeg W1? X Z g `�@ X Z9A�X�j b��ng"�k�qjk|prk�w`cb�r3b�g v ghr�i��ngh�Or3¨Õbeg v W �� Z�� F ��j £�"���� X M�W(? X�Zbg�`"@ X Z9A�X�jeZ 1 Z9A O O
�njk�{�n`h£Ã¾��_lp`"b��ng v g g�·aoq` be` t ? X `�lpi��¸b��Ir3b#"���� M�W 7Zbg�`�@ X F � Z9A�X�jeZ 1 Z9A O O"�njk�{�n`h£ � g�b �� p:q;rKM " h����Q_ D 3F �4 �
� � M O Z 1�O�£)´Og § oq����`��nj § be�pr3b W�� ��� �� � Z�� �o� M �� Z#A�O OQ� j m �� !��!� £ � �o� M �� Z#A�O OQ��oq`
i�jkf~prsb�oq|n�qg § o�b�� 9µao�¨³rsm g�·_b�ghmp�agZ�"g ® g�mtb �BEm �� oq`#`�lpi��"b��prsb �B P n �� vK w ¯_be�ng�m �SM �B�OED A Orsmp� o�¨ n �B P �� vK w ¯Xbe�ng�m �SM �B�O � A�O £[¾��ng�` b v oqi�b�oqmng !�lIrs�qo�bc^¡oqm b��ngê`�ghi�jkmp� i�rk`�g�rs�{` j �klIr v �rsmtb�ghgh`�b��prsb o{`Gr�i�^ai��qo{iêjkm �� �o� �� ��£ H�`r v gZ` ln��bh¯ § g��pr ® g"|nlpo���brkm¦g�·tbeg�mp�ngh�<~ v jai�gZ`�`W �� � � �� � Z�� � � M ���Z9A O OQ� j m �� !���� |_^"r��n�aoqmn�Gb��ngg ® ghm�b�bej W ��yZ��/j £¤Rb�g v r3beo�mp�¼b��no{`�lnmtbeo�� W ��yZ��/j `er3beoq` ¶pgh`"ªc�Z¬�b�g v fo�mIr3b�gZ`�o�¨ § g"r�`�`�lnfgb��Ir3b�beo�fg��no ® g v �kgh`hµ[r3bghrki��%`cbeg�~ W �� Z�� F �
�j `�rsb�o{`c¶Igh`!ªc�Z¬�¯s` j W # M �� O Z�� R # D 3F �
�j m � | fj v g�j ® g v be�no{`)~ v jai�gZ`�`��pr�`)` b v o{i\b��q^
fGj v g�g ® g�mtb�`!rsb*ghr�i�� ` b�gh~ rkmp��b��ng��nrsb�gZ` v ghfrko�m |Bg��qj § A ¯ § �poqi��¼�aj_gh`#mpjsb#o�mIi v ghrk`�gk£
¾��poq`�ghmp�n`�be�ng�~ v jtjk¨Ãjk¨Ãbe�ng ® rs�qoq�ao�bc^¡jk¨ "����%£��*j § § g��Ir ® g%b�jÂ~ v j ® g%b��prsb "����5oq`�i�jkf~n�qg�begk£� g�b W��yZ��/j m � ��gZrk�aoqmn� b�j¼be�ngê����j�|prs�w` bersb�g W1? Zbg�`�@@Z9A j ¯)��g�b21Cm [ |Bgêr b v rsmI` o�b�oqjkm b��prsb�i�rkm¶ v gWrsb��nrsb�g A"XIY A ¨ v jkf W(? Z g�`"@ Z#A j ¯!rkmp�¸rk`e` lpfGg¡b��prsb"b��pg v g¡g�·ao{`cb�`"rsm¸g�·_b�g�mI�agh�¸~ v jai�gZ`�`W ��yZ���X�j m �� !���� `�lpi��<be�pr3b W # M �� O Z���X R # D 3F �� j{K W �yZ��/j £)"���� X M�W(? Z g�`"@@Z#A jeZ 1 Z9A�X O��pjk�{�n`�£³¾��_lp`be�ng v g"g�·aoq` be` t ? `�lpi��¹b��Ir3b "���� M4W7Zbg�`"@ F � Z9A jdZ 1 Z#A�X O��njk�{�n`h£�yzg�¶pmpg �� p:q;rK M " h����Q_ D 3F � �� M O Z 1�O\£W �� � � �� � Z���X �E� M ��@Z#A"X Od� j m �� !��!� rkmp�<be�ng¡g ® g�mtb # M �� Oi�ja�agZ`Gb��ng¶ v oqmn�¹js¨(1%rsb"�nr3beg A�X r3¨Õbeg vW��yZ��/j £
V �� "���� M ��� � M n�� � �� O Z���M �� O Z��SM �� O4O
�SM (O D �SM � # O�SM (O D �SM � $ O�SM�� # O D �SM � % O�SM�� $ O D �SM � % O�SM�� % O D �SM � & O�SM�� % O D �SM � ( O�SM�� & O D �SM � ( O�SM�� % O D �SM � ' O�SM�� ( O D �SM � ' O
� ��������������������������
V ���Z �� X �� �� X K_^ �SM �� O D �SM �� X O 3��jsbeoqi�gzbe�pr3b � ( � ' £
¾��pgh`�g�i�jkmp` b v rsoqmtbe`�i�rkm�|Bg�`�o�f~n�qo�¶Igh� o�mtbejpµ
�������� ��������SM (O D �SM � # O# D �SM�� $ O � �SM (O D $�SM � % O K FIH�J � �SM�� # O Z��SM � $ Od��SM � & O K%�SM � % O�SM � ( O K%�SM � & O&] $�SM � ' O K%�SM � % O&] $
Unité de recherche INRIA Lorraine, Technopôle de Nancy-Brabois, Campus scientifique,615 rue du Jardin Botanique, BP 101, 54600 VILLERS LÈS NANCY
Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES CedexUnité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST MARTIN
Unité de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY CedexUnité de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex
ÉditeurINRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France)��������� ���� ���������� ��� ���