Modelling by Petri Nets of an active product for the security management of hazardous products

(1)

HAL Id: hal-00347374

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

Submitted on 15 Dec 2008

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.

Modelling by Petri Nets of an active product for the security management of hazardous products

Ahmed Zouinkhi, Eddy Bajic, Raja Zidi, Mohamed Ben Gayed, Eric Rondeau, Naceur Abdelkrim

To cite this version:

Ahmed Zouinkhi, Eddy Bajic, Raja Zidi, Mohamed Ben Gayed, Eric Rondeau, et al.. Modelling by

Petri Nets of an active product for the security management of hazardous products. 9th International

conference on Sciences and Techniques of Automatic control & computer engineering, STA’2008, Dec

2008, Sousse, Tunisia. pp.CDROM. �hal-00347374�

(2)

′

B

45"7#DCE?32F;"G4H2IE$KJ%$'?LCE45)2.M! <*%<+7$ONP$O*/2Q"R;

ST<VUW<4L#E"7C%9F0145"7#DC%?X29

YZ[5\]X^`_badcfeg(Zhcjifkmlonqpr]]sutwvmxyc{z l|nq}wvmxyv~^`cf](cnq7_Zhv[5\ ]3tw\e~vsh\ ]in

p`ocfz}w_ed]\v a l nve]37_Zv[5\]X3vbz\a(`Ywh]\g(oc[ i

ym

~

y

j

f

jr

¡~¡

f¢

¡o£

¤¥

§¦~

¨©

y

yªb«

`¬y

¢

o® (¯¬¥

¢

j ª

b°

±

b

m

²`mo`

ª

¡³

f´

ª

µ¦~

³¤²

¦7 ¦²

~¶

·b¯

¸

ª

`

yh ~¹º·b¯ ³»¼q» ®~½r

yª¾m

¦~

¸

m

¥

¡

°¿¤ª

À

fÁ

om

°ªbÂ

°Ã

ÄwÅdÆjÇjÈ¥ÉbÊ¥ÇfËhÌbÍÎ ÏdÐÒÑ|Ð¤Ó¥ÔÐµÔoÓÏ¥ÓoÕÖÏ`ÑbÕ×`Ð¤ÔmØjÐ¤ØÏ¥ÓoÏÑÙÚØ ×Ó¥ÛÜ|Ý'ÞØbÛØ ßÔoÓ×wà`Ó¥ÖÔoÎáÓyÖÏØâ

ÑbÕ³Î ÕÕØãÑÖÎãÓÞØÕÞÓÐ¤Ö(ØâwÑÞ¥ÖÎãÓÐµÔoØ ×ß ÞÖÏä¤ÍÎÞyÍÑÔoÓ`ÓyåßbÎÐbÐ¤Óo×~ä§ÎÖÍ~Ñ§Ð¤ÛÑÖâØÔjÙ7Øâ

äÎÔoÓyÛÓoÏoÏVÏ¥ÓÕÏ¥Ø ÔOÕÓyÖäØÔjæyÏVÑÕ×çäÎÖÍGÑÕ7ÑbÙÜÎÓÕÖÞØ ÙÙÚß ÕÎÞ¥ÑbÖÎØ ÕèÎ ÕéØ Ôj×ÓyÔLÖØ

Î ÕÞyÔoÓoÑbÏ¥Ó`Ï¥ÓyÞßÔoÎÖÝêdÎÕÑ3ÞØÕÖÓjëbÖ(ØâÑbÙ`ÜÎÓÕÖÎÕÖÓ¥ÛÛÎìÓoÕÞÓØâ~Ñ×ÓÐµØÏ¥ÎÖ«âØbÔÞyÍÓÙÚÎÞyÑÛ

Ï¥ß ÜÏoÖÑbÕÞÓoÏ¥íFÌÍÓOÞØÕbÞÓÐµÖ~ØâWÑÞÖÎãÓ~ÐµÔjØ×ßbÞ¥ÖÏÏ¥ßjÐÐ¤ØÔjÖÓ×RÜoÝGÑRÙwØ×Ó¥Û~ÖÍbÑÖä§Ó

Ð¤ÔoØmÐ¤ØÏ¥ÓêuØââÓyÔjÏ7ÖÍÓ5Ð¤Ø ÏoÏ|Î ÜÎÛÎÖÝ=ÖØ%Ø ÜîÓyÞÖÏ7ÖØ%ÎÕÖÓ¥ÔjÑbÞÖuÜÓyÖäÓ¥ÓoÕïÖ ÍÓÙHÎ Õ%ÑbÕ

ÑßÖØÕØÙwØbßÏoêwÖÔjÑÕbÏÐÒÑÔoÓoÕÖÑÕ ×èÎÕÖÓyÛÛÎìÓoÕÖwä¤ÑoÝ(êäÎÖ ÍØbßÖÑÕ|ÝGÍßÙÑÕÍÓ¥ÛÐÒíÌbÍÓ

ØbÔìÑbÕÎðoÑÖÎØ ÕñØâEÞ¥Ø ÙrÙwß ÕÎÞyÑÖÎØÕEÏ|ÖÔoÓoÑbÙHÎ Ï7ÓoÏoÖÑbÜÛÎÏoÍÓo×EÜ|ÝòÑ%Ï¥ÓyÖóØâA×ÓâbÎÕÓ×

ÙwÓoÏoÏoÑìÓoÏ¥íô`ÓÍÑbãÎØßbÔ7ÓãØ ÛßÖÎØÕïØâñÓãÓyÔÝõÑÞÖÎ ãÓOÐ¤ÔoØ×ßbÞ¥Ö'ä¤ÑÏ7ÙwØ ×ÓyÛÛÓo×DÜ|Ý

ÍÎÓyÔjÑÔjÞyÍÎÞyÑÛ à§ÓyÖÔoÎáÓyÖÏoí

ö÷yøùwúÈû(ÆjË`üÚÞ¥ÖÎ ãÓóÐÒÔoØ×ßbÞ¥Ö êwýÎÏoÖÔjÎÜßbÖÓ×/ÏÝÏoÖÓoÙêOþ`ÿáê~à§ÓyÖÔoÎáÓoÖÏjê³ÿÓ¥ÞßÔoÎÖÝê

ÍÓoÙwÎÞyÑÛÏÐ¤ÔoØ×ßÞyÖí

Yzzcf]\ece5zZh\[cfzvÒceh]ba{s3Ò\zvb[5\~[5_o\vbeh][5_o\mo\qad\eµ]qad\_Zh\vo\ehz\_

v"!!(o_#!djcfv$\%ov"m\${sG[5\vjaho\[5\eeh_#vhs7cfe'&(__]()_ov*&\Lv ed]Zveh](ce+&,mcf\f]+-/.Z(c0

jax\z$v1{ovbz$\]2{Zh\~ce\o\*_#3o\$4h\ovbo\*o\ vozZ5!(o_oxy\z$6$7{Zhv$98³\['\ecf_e:m_ce{vehz\

{Zh\<; =~t>@?A!do_oxy\zCBD"EFG8Zhc{z Z7c03]\@4h\f_#!dcfe+&vLeh\$8Fv"!!(o_vbzZ,_Oaocfeh\*H!ho_z\*H¥\#

ce4h_I4hcfe+&%!(Zs+ocfzvbw\e{cJfc{\#C|adzZv2&(__](Xveh]K__0Xcfe\e\!(jc0o\O\e4hco_e(['\e6$-9.Zh\

ce\e{cf_ecLM_Vv!!(sWvb]*4hvbedz \*cfe eh\$18_jgd\],js(\ [NGm_V\ [3h\]Vac{eh\*Hf_&(cfz5cfeA{Zh\

!dZs+ocfzvb`\efcOfcf\*$-htrs [5\vbe~_#w\[h\]](cfe+&Lv5z _[5[a(ehcfzv$ce&Lf_&(cfzcfe%ocf[2!df\2!(Zs(c{z v

\e{cJcf\*){Zc0)!(o_ox¥\bz$ócf[:!(o_4h\]'Zh\eh\$18³_jgh\]Pjs\[N)_'ocehvfsAzo\v"\Rzb_(_#!h\ov"cI4h\

!dv {cfzf\*Kmo_[Q8³ZhcfzZïzv[5\ç_ba){Zh\7e(v [5\R;S=~tS>H?/T6;_ffvh_ovfc4h\Gtac{eh\*HA>0\[NVU@-

.Zh\*o\A!hvc{z {\#)83\o\c{ehz_!h_ov\ ]Ace_W4hvbocf_baOv"!!(fcfzvfcf_eAz_e\X6)!hv0cfza(fvjsAcfe

ceh]qafmcfv ja(04h\cfffvehz\5o\z_~_#w](vbe+&(\o_ba!ho_]adz-Y0_(nY{Zh\3o\*\vbozZVfvh_ov$_s _

(3)

(

′

^¤`~

{Zh\`vehzv\edcI4h\@cIs B D$Fz_ehz\cI4Ò\]dnce {Zh\Novb[5\O_x¥\bz$mcI4h\nz__#!d\ov"c4h\)!dv {cfzf\*

8cOZA!d\ oz\$!cf_be nve(vbs(c0vbed]Wz_[5[a(ehcfzv$cf_ezv"!(vzcJcf\*GfZhv$w_#!d\ov"\3(scfem_o[5v"{cf_e

oZhvjce+& !(mcedz cO!hf\-

tw\*ocf]\ yn_eh\28³_jgVf\](s Zh\3fvh_ov_bsN.\z"=ehc4h\ @ocJsvo0jja(Zh\3_#Ú \o[5vesOvbe(]

{Zh\W >6. B Fon~]c0!h{vs'Zh\z_ehz\$!_5cfe\ {fcJ&(\e ó_xy\zOcfe'Zh\[óv edv"&(\[5\ eó_#:Zh\

ce\&oc s _ 8ocJ1\e ](_zad[5\e 6PT µcf{\#¥nOeh_#\*¥n ](_zah[5\e6ynOo\$!d_6,U _ o\*!d\z

o\*{ocfz$\]%vbzz\#@o\# vbeh]Agh\\$!PfZh\,{ovbzgñ_#)Zh\7z Zdv e(&\*Vce%v !dZs+ocfzvbó_V\ {\ z$o_edcfz

](_zad[5\e-+.Zd\5;Y=:? BF !ho_ox¥\bz$rvb0o_Of\veh\]V_eK{Zh\v!!(m_vbzZWce\fc1&(\er_x\z$ m_

o\ zado\{Zh\~\X(zZve+&(\~_# fZh\cej_o[óv"{cf_ece2fZd\](c0fmca\]5«s(m\[N-

µcfe(vbshn7cfe v o\ zadoc s !ad!d_\ _bad 83_jg ce4h_I4\* ove(|_o['ce& !(o_]ahz$6 8cJZ

](v e(&\o_bae(v"fa(o\wce_3vz_['[3a(ehcfzv$ce(&X\ec svbff_8c{e+& {Zh\M«ah04h\cffvehz\~_#§cJ6zcfozf\_

vbzahvcevehz\* 8Zdcf\z_ff\z$ce(& {Zh\~cem_j[5v$cf_e jo_[ïcJ\e4hcj_eh[5\e-

>je {Zc0 !(v"!d\on~ve%ce\je(vb3[5_]\_#Lvbe%vbz$c4h\ !(o_]adzC8vV](\H4h\_#!d\ ] Z(o_ba+&Z {Zh\

&(jv"!(Z(cfzvb veh] [5v$fZh\[vcfzvW[5_](\ffce+& __Oz__bado\ ]µ\$focW3\$6¥nOveh] {Zh\e 8³v

4hvb{cf]v$\](s2Zh\ ocf[a(fv$cf_e o_#018vo\; .__LGB F@-

=~ad !(v"!d\c0_ &(vec\]'v j_{f_ 8Cv0\ fZd\cfe {o_]ahz$cf_ednfZ(\ y\zb_ed] !dv9!(o\*o\ e6 {Zh\

z_ehz\$!r_ 3Zh\3vbz$cI4h\2!(o_]adz m_{Zh\5o\zadocIsV['vehv*&\['\e-.Zh\2{Zco])!dv`ce{o_]qadz\#

{Zh\Xz_(_#!h\ovfcf_e5h\$18³\b\e !(o_]ahz$6$-¤cehvfsLvv !hv0`\"X!d_\ S{Zh\µ\${ocÒ3\$6S!(o_#!d_o\ ]

[5_]\_#9Zh\!(o_]ahz$veh]3cI6z__#!h\ovcf_e\e 4hcfo_beh[5\e-

<+! SM#"G%$ &'(

Yz$cI4h\<!ho_]adz3z_ehz\$!3zb_eoc06'ce ja!!dscfe(& !d\oz\!cf_e¥nÚ[5\[5_jcvcf_be n3{o\v$[5\e

veh]vzcf_e7z v!hvzcc{\#ce7vK!(Zs(c{z v~\ec s B*)F B+F$B-,FH- >1z_eoc06ce7z_em\ojce+&7_be fZh\

!do_]qadz$Ave:vbz$cI4h\ veh] !(vfc{z cO!hv$cI4h\ o_{\ cfe:]\zc0ocf_eDveh] cem_o['v$c{_be{o\ v[N

\e+&(\eh](\ o\] ce v !(o_]ahz$c{_e1_%v f_&(c0fcfz js\[On vbzz_o]ce+& _ {ov em_o[vcf_be n

[5_4Ò\[5\enu[5vce\ehvehz\n5_jv#&(\n2fove!h_najv*&\%ve]ïo\zshzfcfe+&ï_x\z$cI4\*-C.Zhc0

z_ehz\$!c0'oZh_#8e=cfeõ_badv!!(fc{z v$c{_eD(sòcfe\&ovce+&ïv \eo_@A!hv"j_o[ ceõ\@4h\ms

zZh\[5cfzv ïz_e{vbceh\ 8³cJfZ v Z(v.vo]_ba javehz\n fZd\o\$j_o\n a!(&jvb]ce+& cJ 8³cJfZ

ce\ovz{cf_e5zv$!hvz cIcf\*ce2{Zh\w[cf](]{\_#§cJ6vz$fcf_e5\e 4hco_e([5\ e -

>383_5!hvcfzf\*~vo\cfe<fZd\5v[5\2mcf\f]V_ z_['[a(ehc{z vfc{_ehnY{Z\sWz_['[adec{z v\h\$08\\ e

{Zh\[ fZ(o_ba+&Z5[5\*Hov#&(\*\e s5ovb](cf_2mo\qad\ehzs-?_(nhv!hvc{zf\zvbeLz _[5[a(e(cfzv"\G8³cJZ

{Zh\Avb][5cec0{jv"_Wveh] {Zh\A_#!d\jv"_Wce fZh\Pov[5\'8vsY-tw\ c{]\*¥nC!dvc{z {\#zve v gd\

vb]*4hvev&(\V_#C\04hcfz\#cfe,{Zh\V\e4hc{o_beh[5\ecJ3cIZv!!d\e2{Zh\osçz_[5\Veh\v 3v0/hjc{]&(\n

8ZdcfzZDce\mvbz\* Zh\,8cfo\f\*@ \e4hcfo_e([5\e :_çp {Zh\jeh\@215ce \meh\$eh\$18³_jgDv cO5c0

ceh]c{z v$\]2{Zh\ mc1&a(o\5D#-

354-6Ë7¥Ë b

{

(4)

354+6487:9;=<>?A@BC>/<EDF9$G

.`_ce|a(o\v &__]Njah04h\cf{vehz\G_2Zh\G!(o_]qadz$mn {Zo\\ ov"m\${s'f\ 4h\0S8³\ o\\*vh{c0Zd\ ] +TmGU

&(__]f\$4h\n(T«YUv$4h\ov*&\f\@4h\ n+TIH U]ve+&(\o_baf\@4h\-JH3\$\o[cece+&5o\zadjcOsf\$4h\0`o\#jadJ6

v"0\v!!(s(cfe+&5o_[5\o\zadocIsjah{\#$-

.Zh\*o\~fv _ed\#vo\~](cI4hcf](\]Xce_G{Zo\\z v\&_oc{\#

•

KLFM:LNOQPR$ST=U/V

.Zh\¥s'vo\«adf\* fZ(v"§\e+&v#&(\* fZh\G!(o_]adz§vf_eh\ce'cO6\e4hco_e[5\e «n.ZcL

!do_]qadz$¤[5\vja(o\* o_['\4hvad\#`]\jc{ehce(&XcJ vm\{sf\ 4Ò\ jahzZ5v \ [:!d\jv"{a(o\nqZ(ah[c{]cIshn

oZh_zgna([5ced_cJ s -ceD_o](\ _çgd\ \$!ñcJ6o\JLceDv vh{\ veh\ v"\nM{Zh\*o\A4hvad\#

oZh_bah{]e2W¤\X(z\ \]z\vcefc['cI6[5ce_1veh][5v#X+-

•

XQY[ZM]\^NO`_aR5SATUV

fZh\¥s vbo\jadf\*~o\fv$\]K_ {Zh\:!(o_]ahz$`(sWcJ\Jzb_eocf](\oce(&VcJ6 {v"\

\@4Ò_ac{_e {Z(o_ba+&Z:c[5\ - ¤_`\Xv[:!hf\M_[5\!ho_]ahz$µzb_badf]ed_#h\~v#0|\ z$\]5cJZd\ys5o\vbzZ

v3z \vce)\[:!d\ov$fa(o\GfZ(o\*Zd_f]3a Zh\Gmvbz$_ro\ vzZce+&5cJ o\@4h\ovbYc[5\*cfeOv!h\ocf_]5_

cf[5\wzveX(oce(& {Zh\ !(o_]qadz$µce3vbvo[ce(&:v$\-

•

bQc]\d\^R$ZNFLYe_%R5ST=U/V

\@4h\js:!do_]qadz$zve'Zdv$4h\z_[:!hvchcffcIs5zb_emvbce 6 8³cJfZL_#fZd\ r_beh\*

_](cJm\o\eedv{a(o\ -.ZhcLcehz_[ !(vchcfcJsLc0\*vhfcLZh\]5jo_[ {Zh\:o\zahocJ s<js[óÒ_Lvbed]

vbL_ mo_[ oc0jg ve]Wov"m\$sK!dZov \*vbzz_o]ce+& _ {Zh\Xp`a(o_#!d\ ve ]co\z$cI4h\*,5f1+ )g 1fppS;-

=e fZh\R_#fZh\5Z(v ed](nfZh\R[vehc!(advfcf_e%_#Lz\ vbce'!(o_]qadz$m\"adcfo\*Ov e%_#!d\ mv"_58cJ{Z

!h\zcJmcz mcJeh\*HAveh] v"!fcOfah](\7Oz_eo\qad\e{shnVv !(o_]ahz$7e(\\]+Av 83\f](\$\j[5ceh\]

_#!d\ ov_a(vbfcIsY-

h ji &' k:+ +$9

Y ~[5\efc{_eh\]Vvh_4\2Zh\vz$cI4h\2!do_]qadz$cL~\ ed]_#8³\ ]<8cOZK!d\oz\!cf_en¤]v"{v:!(o_z\#@ocfe+&

veh]3vbz$cf_e'zv!(vbzcJ{cf\*7(cI]_\*c{e \mvbz$cecJ6\e4hco_eh[5\e((s5o\ ed]ce&3[5\*Hov#&(\*-

l54+6nmpo$;q-r$st]90u`vw9$GGr5tJ9$G

;_[5[ua(edcfzvcf_be h\$183\\e !(o_]adz 83_jgsWac{e+&,o\@4h\ovb s!h\*_[5\*Hov#&(\* 8Zhc{z Z

vo\ o\eósïvçho_v]zv ce+&D[5_](\çveh]Dzfv@ocJmcf\]Dvbzz_o]ce& _ Zh\cfVo_f\ Zh\¥sDvbo\

ce\eh](\] _ !d\j_o[ïv ceh]cfzv"\#jc&qa(o\ -

l:4'3yxz90t]?IG"@">JrJ@?F{$s|v|90GGr5t]90G

.Zhc0 !(vµc0ce\ed]\]:_ve(eh_ba(ehz\GfZd\G!ho_]ahz$µce){Zh\z_['[a(e(cJs783\G!do_#!h_y\]:o_ fZhcL

!(ah0!h_o\2083_){s ! \#_w[5\#@ov#&(\# ;S.} Tjz _eo_ .c{['\N? v [:!L}w\qad\0Uw[5\#@ov#&(\ 8³ZhcfzZ

](\ zfvo\*K_ fZh\/vb][5cec0{jv"_ fZh\/ce{o_]qadz$cf_eï_# Zd\ !(o_]ahz$Lce {Zh\7eh\$18_jg v e(]

Yzg; .}/8ZhcfzZ c0v eRvbzg(eh_#8{\ ]&(\ [5\ew[5\*@v*&\No\ e`sAZh\5vb][5ce(c0fmv"_v0\G{Zh\

(5)

)

(

′

^¤`~

l:4'l54z{$s"?t0<[>JrJ@?{$swv|9$GGr:t$9$G

YG0\Wo\&(c0fmv"{cf_e {Zh\ !do_]qadz$5Zhv K_AZh_f]ñvAz _ejc&qadjvfcf_eñvbff_#8³cfe+&%cJ5_%ce\ovbz$

z_oo\zsQcfe fZh\ïz_[5[ahe(cJs 7<.Z(c0Az_emc1&qadjvfc{_e z_ehz\ me'fZh\ s!h\=_ !do_]qadz$

o\&vm]ce+&DcJè]ve+&(\zfv HocJmcfzv"{cf_e Tjv"m\${s ms[_0 UWveh]DcI6 v$cfzn]bs(ehv['c{zAv e(]

z_[5[uade(cJsAjah{\#Ov )8\f57G.Z(c0O](c0fmcacf_eAf\]ça)_ !(o_#!d_\AZho\\As !d\* _ó_#

;_emc1&a(o\ ]ó['\*@v*&\*\[cO1\]~(s2Zh\ !(o_]ahz$-

C;

:>0AZd\ !(o_]ahz$ ](_\* !_@y\*H7eh\cJ{Zh\cJ67z {v@cJmcfzv$cf_e=cej_o[5v$cf_e=eh_b7cI6

o\ zadocJsjadf\*-

C;SD > fZd\S!(o_]adzµ_e(s2!d_$\*@y\*cJ6`z {v@cJmcfzvcf_beócem_o[vcf_e9-

C; > fZd\S!(o_]adzµ_e(s2!d_$\*@y\*cJ63\zahocIsjadf\*z_emc1&badjv"{cf_e-

µo_[Q{Zh\çv][ócehcLfov$_Wc{]\n {ZcLWfv$1\ ve8\@O(s Zd\çv"!!(o_#!djcfv$\/z _ejc&qadov$cf_be

z_[5['veh]3[5\*Hov#&(\* 8Zhc{zZvo\wo\#!d\ z$c4h\ s

; H Dè\#@ov#&(\ja!!h_fce+&fZd\~z_emc1&a(jv"cf_be5_#9{Zh\!(o_]qadz$zfv@cOjc{z vcf_e-

; H 5è\#@ov#&(\ja!!h_fce+&fZd\o\ zadjcJ sja(f\*z_emc1&qadjvfc{_eY-

l:454s @"9>=sr]D G"<>59J?DFDr]sE;9dv|90GGr5tJ9$G

=ehz\G{Zh\G!(o_]qadz$µc0z _mo\zs'z_emc1&aho\]+7(cJh\z_[5\*Úz_[:!hf\$\s5zv"!dvhf\3_#3jah04h\shcfe+&

cJ6eh\c1&Zh_badjZd__]Y-

Yes \ e 4hcfo_e[5\e[5_](cJmcfzv"cf_eLho\v g(ce+&Vceh]c4hcf]qa(v_[aa(vbo\zahmcJsWjadf\*~[a`h\

](\\ z$\]dn](cfv#&eh_o\]veh]Zhv _ &(\ ed\jv\~\X\jedv dvbz$cf_evbf_#8³cfe+&2_o\z_*4h\ {Zh\~vzadvb

ov"m\$fs/f\$4\wsçvz$cf_e5_'](co\ z$\]/cem_o[vfc{_eA_#2{Zh\ v [3hcf\e3\e4hcfo_eh[5\e6- .Zh\*\

ce\ovz{cf_evo\w['v]\rs[5\ ve_# fZh\m_ff_8cfe+&3[5\*Hov#&(\*

}p >0c0v%&o\ \$ce+&7[5\*Hov#&(\Vzvbjs(cfe+& !h\zcJmcfz !do_]qadz$cfem_o[vfc{_e Tfehv[5\bnov"m\${s

js([X_0Uveh]Zhv v a({Zh\`o_f\zb_e{ocafce+&:_2{Zh\zvb{zadfv$c_e)!do_z\#@_Zh\](c0vehz\

o\!dvbmv"ce& 18³_Xvz$cI4h\!do_]ahz$6$-

}?> .Z(c0[5\*Hov#&(\z_evbce {Zh\4hvah\_Zh\G!d_#83\](cJ0j\o\ehz\ oc1&e(vb0->§c0\e9mo_[ v

!dv {cfzf\'8³ZhcfzZïZ(vWvo\vb]sïo\ z\cI4h\]ïvD}rp [5\*@v*&\-.Z(\'!hv{cfzf\Azvbfzadv\*AfZh\

](cJ0o\o\ehz\X_ oc1&e(vbh\$183\\e5_#Z5ho_vb](zvce(&Ove]Lo\z \cI4hc{e&5!hvcfzf\*wv ed]){Zh\e%o\ ed]

{Zh\wo\#jadJ+{Zo_ba(&ZX}?>H-

>«3Y .Z(c05['\*@v*&\ zvjocf\* {Zh\Vv[Xhc{\e 4hvbad\#5[5\ v |a(o\] jo_[ {Zh\<!(o_]qadz$C\eo_@

!dfv$1m_o[K-

;§2S{Zhc0O[5\*Hov#&(\z_evce){Zh\ !h\zcJmcfz7zb_emc1&adjv"{cf_e%ce Zh\vz$fcI4h\%!ho_]ahz$7cJóc0

\[5cJ1\]s2Z(c0v_eh\wv\ vev][5ce(c0fmv"_o\"ad\#-

?p} .Z(c0[5\#@ov#&(\~cehzah](\* {Zh\z _ejc&qa(ov$cf_e_# \zahocOsja(f\*-

Y p >0wc0:o\e cezvo\O_vf\79{Zhc0[5\*Hov#&(\Oo\$!d_6 _K{Z\Lvb]([5ce(c0fmv"_Xvh_ba{Zh\

](\|\zcI4Ò\M\zahocJ s5v\->e5_bah[5_](\ +83\M\$!dvbov"\ ] fZ(c0vf\YcJ{ahv$cf_e5ce_ {Zo\\z v \*$7

!do_]qadz$6cehz_[:!dvchcfcJs5vbf\ 8Z(cfzZ5c0o\$!(o\*\e\]X(s5Y p D~[5\*Hov#&(\nvbf\9&(\eh\mv"\]

v"0\veç}?>[5\*@v*&\Vvehvs(c05vbeh]7cI3c0Xo\$!(o\*\e\ ]Rs/Y p ['\*@v*&\Vveh] mce(vbfs

vb[3hcf\e(4hvbah\v {\ 08Z(cfzZc0o\$!(o\*\e\]sY p X[5\*Hov#&(\-

.Zh\Dv][ócehcL{jv_b !hvcfzcJ!(v"\*çce {Zh\Dz_[5[ahe(cfzv"{cf_e !hv0V(s !h\zcJmcfzïzb_[5[5v ed]

[5\*Hov#&(\*-

; H #.Zh\wvb]([cehc0{ov_¤o\qadco\#9Zh\wz_emc1&ahmv"{cf_e_#Zh\wvzcI4h\ !ho_]ahz$+Zo_ba(&Z fZ(c0

(6)

; H ) qY0o_ {Zh\~z_emc1&a(ov$cf_e o\ zadoc sjahf\*vo\~vjgd\ ] 4hcfvM;r H )Y-

; H +5 //c{Z'fZdc0'[5\*Hov#&(\A{Zh\v]([cedc0{jv_bLz_ff\z$6)fZd\K!do_]qadz$5!d\ zcJmcfzRvb[3hcf\e

cem_o['v$c{_eY-

6 /k

Y µ\$oced\ c0vhcO!hvc\5&ov!(ZWcehzad]ce+&<18³_%y_6_#~gdeh_#6Y!hvbz\*vbeh]<fmvecIcf_e

z_eheh\z$\]3sOvoz*-µfvbz\*zb_e{vbce)_bgh\e 8ZdcfzZ)!(v H mo_[ v!hfvz\G_2Zh\_#Zh\_eh\wds

mcfoce+&A{ov ejcJfc{_e2fZ(o_ba+&Z mcoce&Rjahf\*<BAfFH- .Zh\V]cL{cedzcI4h\VzbZ(vovbz$\oc0cfzV_#Zh\ µ\$oc

eh\$6cLcJ &jv!(Zcfzv!h\z$µvbf_#8c{e+&vocf[2!df\\H4h_ac{_e'_# Zh\['_](\0 8³Zhcff\wZhv 4hce+& _fc{]

[5v$fZh\[5v$cfzv¤hv \*:BFg F@->«e {Zh\5;_f_o\] µ\$foced\:BJEFon BD

Fmn B DDF|n BD F fZd\]\*ozocJ!cI4h\

v!d\ z$L_ Zh\ µ\{oceh\$5cLWcedzo\vo\ ]ésDv Hy_zcfvce+&Dz_f_bad@K_ _bgh\eon!hvbz\*Wveh]

{ov ecIcf_e-p 4h\s'j_bgd\eEZdvOv7z_f_bah58Zhc{z Z%vbf_#8 Zhc{[ f_7\](c0cfe+&badc0jZh\]'mo_[

_bgd\eOzvbjs(cfe+&A_#{Zh\Lz _{_bah@$-wYo\$_5zb__@Oc0Ov Ho_zcfv"{\]'8cJZE\@4h\js'!dfvbz\veh]

](\\ o[óceh\* fZh\G_bgh\eVz_f_@S{Z(v"zve5h\3]\$!d_cJ\ ]Lce {Zh\G!dvz\- µ_w\@4h\ ms)mvecOfcf_eLc0

v@o_z c{v"\] v<o\_GZd\'z__bad@M__%8ZhcfzZ o\$!(o\#o\e6GfZd\24hvjcf_ba['veed\@M_ jc{o\ Zh\

{ov ecIcf_eABD F ->e2c[5\ ] ¤\$mcheh\$6v]a(jv$c{_e'_# mcfoce(&Xc0`v@_zcfv\]2_fZh\!h{vbz\T1c[5\]

!dfvbz\ µ\$oched\H0UBD )F_b_ {Zh\fmv ecJ{cf_eNTJc['\]2{ovejcJ{cf_e2µ\{jcdeh\$0UBD+ F ->e2{Zh_o\~zvo\

{Zh\2_bgd\eWc0a(e(v$4hvcfvhf\]adjce+&Ovf9fZd\]\fvs !h\ocf_]7¤cO`c0o\*o\ 04h\]- `\$`a~eh_#\vb0o_(n

{Zhv$wceRz \{vbceWo\$m\o\ehz\#cJwcLM!d_Hochf\:_ zb_[3hcfeh\:cf[5\]<!hvbz\2µ\oceh\$6v e(]<c[5\]

{ov ecIcf_e µ\${jcheh\$+_X_vceóvc[5\ ] !(fvbz\{jveocIcf_be2µ\$foc(eh\$ BD ,F-

?(\@4Ò\ovb'8³_jgï_#!\ ] |_ fZh\µ\$ocçeh\$6ïvïvQ[5_](\ {fce& __Acfe m_ò\X(vb[:!df\

z_[5[uade(cfzv"{cf_e «s(\ [N7vbeh]ïf_&(c0fcfz%zZvce BD%fF<!(o_#!d_\] v%['_](\V_#,.3; 1%>

!"#%$'&($')

*+&($',

*+)

"-

*+.

/0

1!

*+2 34576 34578

-0 /1

354-6Ë:9Ë

´ ª

y

b

my¡7

<;

m

ª

Ò

«ªbm¾

j

(7)

,

(

′

^¤`~

(p,ds,mx) (p,ds,mx)

(p1,ds1,mx)

(p1,ds1,mx) (p1,ds1,mx)

w

(p1,ds1,mg)

(p,ds,mz) mh

(p,ds,mx)

(p,ds,mx) (p,ds,mx) (p,ds,mx) (p,ds,mx)

Message not for me [p<>"p1"]

[p1="g" orelse p1="tt"]

internal surveillance surveillance

Surveillance communication Surveillance communication

administrator gestion

Configuration Configuration

registration Inscription

message for me [p="p1" orelse p="tt"]

Adm receiv Message

produit

diagnosis UNIT

Adm_RECEIVED MESSAGES

produit 1`()

UNIT

produit

P_RECEIVED MESSAGES

produit P1 received

Message produit

NETWORK

produit

Product Initialised UNIT

product registred UNIT

power on 1`()

UNIT

Inscription

Configuration

gestion

Surveillance communication surveillance

broadcasting messages

msg for administ msg not for adm

P2 receiv Msg

#" `i &'

.Zh\_x\z$cI4\5_ _bad83_jg c0_Lo\$!ho\*o\ e fZh\³h\ Zdv$4hcf__#Zh\vbz$c4h\2!ho_]adzrveh] {Zh\

o\v [K_#L[5\*Hov#&(\* Z(o_ba(&Z%v 8³cfo\f\*HOeh\$18³_jg97 fZh\,__ ;' .`__0K8³vOao\] m_

ocf[ahv"\{Zh\[5_]\µsVz_f_o\] ¤\$oced\ceVZcf\ov ozZhcfzv fahz$fado\- µc1&a(o\o\$!(o\#o\e

veïce\je(vb[5_](\'_ Zh\çvzcI4h\ !do_]qadz$mnXce fZ(c0,fjadz$fa(o\ Zh\ {jveoccf_eVZh_f](Wv

](\#ozocJ!fcf_e5_#§vG«adehz${cf_ehce&2!(v_# Zh\!(o_]qadz$-#.Zd\!(fvz \w~p3./ =~} ñz _oo\*!h_ed]+ce

{Zh\ç[vJ\ V_#<mvz5_ {Zh\ 8³cfo\f\*HWz_[5[a(ec{z vcf_eDeh\$18_gïveh]%z _{f\zW[5\#@ov#&(\#

\[5cJ1\]õveh]ïo\z\cI4Ò\] [5\*Hov#&(\* mo_[-vbK{Zh\D\Xc0ce& !(m_]qadz$6$7Of\$ a7eh_#\ {Z(v"

[5\*Hov#&(\*Ovbo\ o\ece/ho_vb](z v {ce+&A[5_]\-.Z(c0OzZhvjvbz$\oc0cfzcLOz vjmcf\]A_ba³s Zh\

{ov ecIcf_eho_vb](zvce&O[5\*@v*&\* 8ZhcfzZ !(a6S_bgh\ewceVvffZh\!dfvbz\*z_jo\*!d_eh](ce(&

_ {Zh\ 4hvbmcf_baG!do_]qadz$6-hè\#@ov#&(\#ce\eh](\]Km_vN!h\zcJmcfz5vbz$cI4h\:!do_]qadz$ 8c{f mco\5cI6

_8e}rp;p3>~p Hõp ??Y3p ? :!(fvbz\- ;coza(fv$ce+&O[5\*@v*&\#G8c{f¤h\óo\!do\*\e\ ]5ds

z__baho\]2_bgd\eH-*.Zhc0¤Zhcf\ov ozZcfzv{jadz{a(o\cLv0_3v$!!dcf\]2_fZh\wv]['ce(c0{ov$_H-

354*6 Ë Ë

ºh

b

Ã

Ãj

ª

¡³

(8)

′

>je5fZdc0 !hv{Zh\!(o_]qadz$ve(eh_bahedz \*wce5fZh\ed\8_jg5(s%\eh](ce&L_#v](c0oz_#4\sO[5\# v*&\

](\\ z$\]ós Zh\3vb]([cehc0{ov$_H-dY cI`c0ceh](cfzv$\]Oce){Zh\jc&qa(m\ )Lv"0\ 8³cJzZce+&L_e){Zh\

!dv {cfzf\v_bgd\ eN; .}'8c{fhh\G!(a§ce:{Zh\~p . /'=~} !dfvz \ce(]cfzvce&:fZ(c0 8vs Zh\Gmvbz$

_C\eh](ce(&v,; .} ['\*@v*&\n {Zh\ {jveocJ{cf_e

;

K8³cffh\54hvfcf]7cJ3v _bgd\eçYzg; .}

oZh_#8 a!7ceA{Zh\'}pS;p >p HQ p ?Y?(Y3p ?A!(fvz\ - .Zh\5vo\bedz \L_#vzgdeh_#8³f\]&(\['\e

_bgd\e)8c{ff\vb]2_ fZh\4hvfcf]vfcf_eL_#fZd\ ; r$> G{jveocJ{cf_e5veh]2{Zh\ v[5\G!(o_z\*$ 8cff

h\o\$!d\ v\]ç_4\'v*&vce9- .Zh\<j\vfaho\ _#:Zdc0 !d\$fmc~eh\$65cejado\#5vWo\&(c0fmv"{cf_eA_#2Zh\

!do_]qadz$ce fZh\weh\$18³_jg9-

54A3$4 z{$s?tJ<>r0@"?{$s r5>/@

*;hvb$- ?hvbn *;hv$-J? n *;G-J?hv veh] #;G-O? {ov ejcJfc{_eQ](\mcfed\# fZh\ !ho_]adz

z_emc1&ahov$cf_e v$\7 fZd\ysFvbo\ mcfo\] cJ fZd\ !(o_]adzè]_\*Eeh_#RZ(v$4h\ï\cJZh\ &(\eh\mvb

z_emc1&ahov$cf_eõ_ jvm\{sïjah{\#z_emc1&ahmv"{cf_e-KYz z_o](ce& f_PZh\'s!h\A_ eh\z\#vs

z_emc1&ahov$cf_e:fZh\z_oo\#!d_eh]ce&2fmvecOfcf_e:8³cff(h\Gmcfo\]veh]ve5v!!(o_#!djcfv$\wC;'N_bgd\ e

&(_\#j_<Zh\5p . /'=~}' !dfvbz\->0GZh\N&__] ;r H _bgd\e7v"!!d\ v@XceAfZd\'}pS;p > p H

p ??Y3p ?2!dfvz \nveh_#{Zh\_bgh\e !dv@o\#_e:{Zh\ zb_ejc&qado\] !do_]qadz$G!dvz \_#Zh\8cL\

{Zh\2{ov ejcJfc{_e *; Hhv :8cffh\M4hvbfcf](v"\ ]Vve(]Vvwv'z_eo\qad\ehz\veh_#Zh\S_bgh\eVC;'

8c{f(h\o\ ev#&vce-#.Zd\ µ\$fmcheh\$+m_ {Z(c0 !(vcL jZh_#8e5ce2{Zh\ jc&qa(o\ +-

("g","p1",CTR)

("p1","g",AckCTR) y

y

y x x x x

Ack bar

Ack registration

produit

RECEIVED MESSAGES

In produit

sent CTR UNIT product power on

UNIT In UNIT

Out UNIT

Out In

In NETWORK Out Out

CTR sending

354-6Ë

°y²`

º(

b

(9)

g

(

′

^¤`~

YG0\ Zh\vzz _[:!dfc0jZhce+&:{Zh\z_emc1&qa(ov$c{_e)!(v9{Zh\G!(o_]ahz$cLÚed_#8ïo\vb]s)_5_#!\ov"\ce

{Zh\Wed\8_jg -wY _bgd\e'8cff!(v@)_/z _[5[a(ehcfzv$cf_eAveh]/]cv#&ed_c0)!dfvz \%_çvzcI4hv$\

o\*!d\z$cI4h\s2Zh\~z_[5[a(ec{z vfc{_eveh] {Zh\wce \mev|a(04h\cf{fvehz\S!dv-

54Al$487:<> 59?DDFr]sE;9dr$s-u ;{$v|v|<sE?;$rJ@?{$sr:>%@

.Zh\G!d\$oceh\$6|ad04h\cffv edz \veh]5z_['[a(e(cfzv"{cf_eOvz$6vbzz_o]ce+&:_2{Zh\G{s !d\X_r]cJ6m\ o\e

o\z\ c4h\ ]/[5\#@ov#&(\#$7w\$4\s m_bgh\eAo\$!(o\*\e{ce+&7v[5\#@ov#&(\K8³cffGmco\ cJ65z_jo\*!d_eh]ce+&

{ov ecIcf_evcJc0ceh]cfzv"\]3ce fZh\mc1&qa(o\weah[3h\ ,

P LA_%M$Z5U%NLNc$ZV

fZh\ !hvcfzf\](\ zcf](\*M8³Zh\$fZd\ {Zh\o\c0~veVcez_[:!hvchcf{cs%ocJfadv"c{_eW_

eh_#- .Z(c0 cLX\X !(o\*@\]V(sG\cJZh\G{ov ejcJfc{_e ;J{$v o\$j\omce+&<_ z_[ !dv"{chf\5!ho_]adz

veh]

sE;J{$v

o\$m\ooce&:_cehz_[ !dv"chf\G!(o_]ahz$veh]:8³ZhcfzZ5o\*!d\z$cI4h\s:4hvbfc{]u}M?>r_

Y p DSfmve[óc0Hocf_e-

PpKwLA_aMJZ:UaNLNc]Z V

{Zh\Vcej_o[5v$cf_e 8³ZhcfzZ/z vmjcf\*2fZd\O}?>X[5\*Hov#&(\ 8c{fh\Vvehvs \ ],m_

](\ zcf](\_e)8³Zh\$Zh\{Zh\]cLvehz\ \$!dv ov$ce+&2{Zh\z_jo\*!h_ed]ce& !(o_]qadz$6c0ce:{Zh\]ve+&\

](\"&(o\\7cO o_(nqveY p [5\*@v*&\8cffh\o\ e-

; HPfovejcJcf_be\@4h\ ms2ovejcJ{cf_e:!(o_z\*Ho\v !d\ zc1mcfz~z_[5['veh]-.coce&\vz Z5_eh\~_cJ 354*6 Ë Ë

Ã

ªm

ºh

b

w

("p1","g",CMD3) ("p1","g",CMD1)

1`("p1","g",CMD1) ++ 1`("p1","g",CMD3) ("g","p1",NCF0)

("g","p1",NCF1) ("g","p1",NCF2)

w w

z z z

y z z z

x

x x

x

y y

z z

z z y y

y

y y

y

CMD1 3 CMD 1

CMD 3

CMD1,3 bar CMD1 bar NCF0

send NCF1 CS

C.Sbar Cbar S Cbar.Sbar

Configuration

diagnosis

Out UNIT

RECEIVED MESSAGES

In produit

NETWORK Out

produit

configured product

UNIT

UNIT UNIT

UNIT

UNIT UNIT

UNIT Initialisation

UNIT In

UNIT

Out UNIT Out

In

Out

In

Out

send NCF2 CMD3

sent NCF2 sent NCF1 sent NCF0

configuration complete

(10)

("p1"," g",AckRSI)

("g","p1",ALE 2) x2

x2 x2 x2 x1

x1

x2 x2 x2 x2

(" p1","g",AckComp) ("g","p1",INA )

("g","p1",SE R) ("g","p1",C FG)

("g","p1",ALE1) (ds,"p1",RS I) (p,ds,mw)

t6 t6

t5

t6 t6 t6

t6 t6

t5 t5

(p,ds,ma) w

w w

f t4

t3 t2

t4 t4 t4 1`()

t3 t3 t3 1`()

t2 t2 t2 1`()

x1 1`()

(p,ds,ma) (p,ds,ma) (p,ds,ma) (p,ds,ma) (p,ds,GRE) (p,ds,RSI)

(p,ds,CMD2) (p,ds,CMD4) (p,ds,CMD5) case mw of GRE => (p,ds,GRE )

| RSI => (p,ds,RSI)

| CMD4 =>(p,ds,CMD4)

|CMD5 =>(p,ds,CMD5)

|CMD2 => (p,ds,CMD2) w

AckRSI send ALE2

Alarme

<limite

AckALE1 send ALE1 Ack

A LARME Incomp

send RSI comp

>limite send INA

send SE R send CFG

CMD2 CMD4 CMD5 RSI GRE

msg Reception configuration complete

S urveillance communication

ALE2 sent

UNIT alarme released

UNIT danger distance

UNIT safe

distance UNIT

REC EIVED MESSAGES

In produit

NE TWORK

Out produit

ALE1 sent UNIT Alarme released

UNIT RSI

sent UNIT

Pdt Incomp

UNIT

MESSAGE S PURGING

UNIT

Pdt comp

produit INA

sent UNIT SER

sent UNIT CFG

sent UNIT

receiv GRE

produit UNIT

UNIT UNIT UNIT

Msg produit product is active

UNIT

In UNIT

In

Out

In

receiv RSI receiv

CMD5 receiv

CMD2 receiv CMD4

54$4 s @90>=sr]D G"<>59J?DFDr]s;J9 r5>/@

>je'{Zhc0µ\${oceh\$\vbzZ o\e_58v Oo\!(o\*o\e\]7sAv,ovejcJ{cf_e 8Zhc{zZ &(\eh\mv"\*){Zh\

vb[3hcf\e34hvbad\*X[5\ v |ado\[5\e6-.Zh_o\54hvbad\*C8³cff`h\Vcfe\!(j\$\],8cJZ {Zh\L\#vhfc0oZh\]

ov"m\$fsFjah{\#$-<?v$cfz/ov"m\${sQjadf\* 8\o\ !d\o_o[5\]ïsFv jadehz${cf_e {Z(v"Rf_zv"\* {Zh\

[5\vja(o\ ] \eo_94hvad\~ce _3cJ6`z _oo\*!h_ed]ce+& vj\$s{\$4\ 6-/ç\ &v 4h\wh\ _8%vbe5\Xv[2!df\

_9Zh\ \[:!d\ov$fa(o\o\eo_ vcfzwja(f\

> \[:!h\jvfa(o\wc043 D

5

;ve(]76 )

5

;A{Zh\e2{Zh\!(o_]qadz${v"\wc0-H3ve+&\o_ba TIH U

> \[:!h\jvfa(o\wc043 D+

5

;ve(]76

5

;A{Zh\e2{Zh\!(o_]qadz${v"\wc0Y4h\ov#&(\T«YU

pr0\fZd\S!(o_]adz fv\wc0~__]5TmGU

H³sehv[cfz~jadf\* 8\o\~o\$!(o\*o\ e\]Xs:Zh\G!(a(!(f\G!dv_#{Zh\ µ\$foceh\@¤v cµc0ce](cfzv"\]ce

{Zh\:jc&qado\eah[3h\zf->w_#!d\jv\*(sWz_bahece&K{Zh\ead[Xh\_#c[5\'v !d\zcJmcfz 4hvbad\5_

\[:!h\mv"fa(o\G8³vo\vbzZh\]Y->0`cJµ]_\*\Xz\\ ]5v!ho\*o\$cI&(\eh\ov$\*v HP_bgd\e)8Z(cfzZo\$m\

_3v]ve+&\o_ba ov"m\${sf\@4Ò\-

µcfe(vbshnZd\

?srJDCG"@r0@9

%fmv ecJ{cf_e 8cf3v e(vbs b\Rvbfo\#jadJ0Oz_[5cfe+&A_ba o_[ \vbzZ

o\ e_veh] cJ6 vm\{s jahf\*vbeh]<{Zh\e](\z c{]\*GZh\:mcfev !(o_]ahz$ ov"|\{s f\$4\-9.Zdc0Mmvz

_#!d\ ov\*Xvj_{f_#8C ov"m\${sf\$4h\wc0Xz_eocf](\ o\] H3ve&\o_baXcIv"f\v ~_ed\<TIH U_bgd\ e

v"!!d\ v@Xce,fZd\ «adehz${cf_eXo\*jahI6¥n_#Zh\8³c0o\bnov"m\${sGf\@4\~c0Xz_eocf](\o\ ]7Y4h\ov#&(\OcO3v"

f\vcO`_eh\ T«YU9_bgd\eOv$!!h\v@ce:{Zh\Ga(ehz$cf_eo\*jahI6¥ncJ`eh_# ov"m\${s'f\ 4Ò\µc0z _ecf](\o\]

354*6 Ë 8 Ë

ªm¾

¥

¥¡~¡~ª

y

ºd

b

°

(11)

D

b(

′

br ¤' b ~

8cOZ fZd\eh\z \*@vsOcfem_o[5v"{cf_eLvh_baZh\3vb[3hcf\e 4hvad\# 8Z(cfzZOvo\ó}p'|_GTmGUveh]

T«YU{\H4h\0`v ed]XY p m_ TIH Uµf\@4h\ 6-

A6pk#6

Hadjce+&){Zhc0 8_jg nY8\2!do_#!h_o\]VvbeVvz{cI4h\2!do_]ahz$`[5_]\8Zhc{z Z 8³v~o\$!(o\*\e\]5sVv

Z(cf\jvozZhcfzvz _{_baho\] µ\$jceh\$6H-(.Zh\_x\z$cI4\_ ZhcL µ\$foceh\$6wc0_5fZh\3cem_o[v"{cf_e

o\v [ïveh]_3_\04h\~cO6cf[2!dvbz$_e fZh\wvzcI4h\!(o_]ahz$-

.`Zh\5Zhcf\ovozZsvff_8 m_ ]cL!dfvsAZh\L\$4h_acf_e7_3\@4Ò\ms v*&\V_#Zh\OvzcI4h\)!do_]qadz$

ahedzcf_ece+& v ed] {Zh\ cfemad\ehz\ _ Zh\ z_[5[ahe(cfzv"{cf_e eh\$18_jg v 83\f6-DYe

cf[:!(o_4h\[5\ ewv$ fZd\'ce\je(vbja(04h\cffv edz \:!dvb0wzv eh\'o\$|_o['\]LsAZh\5v"!!hcfzv"{cf_e_#

a s_&(cfzOjadf\*yn!hv{cfzahvoshnvfZh\L\$4hvahvfc{_eG_# Zh\5!ho_]ahz$Mo\ zadocJs\@4Ò\- .Z(c0

[5_]\zve &o_#8 ocfzZA(sDvb](](ce+&%v7Za([5veD_#!h\mv"_V[5_]\_V\ahcO!h[5\e [5_](\

m2 m2 m2

m3 m3 m3

m1 m1 m1

eC

v6

v5 v4

v w

v1 1`val_ambient() am

v2 1`val_ambient() am

v3 1`val_ambient() am

m

m1 m2 m3

1`D 1`M 1`B

etat_fin(eIR,eL,eT,eC) eval_state(v1)

eIR eL eT

eval_state(v2) eval_state(v3) am am

am

input (v5);

output (v4);

action (v5+1);

sensor T

@+5 sensor L

@+5 sensor IR

@+5

send ALE3 Send GRE send GRE

ambiente values

GRE sent

UNIT GRE

Sent UNIT ALE3

sent UNIT

etat counter 1`1 ambientval

ambientval

ambientval ambientval ambientval

produit

UNIT

UNIT Writing in

GRE UNIT Writing in

ALE3 UNIT

etat

etat etat etat

UNIT

UNIT UNIT

diagnosis

In UNIT

In

writing in GRE

if v6=5 then 1 else v6

if v6=5 then 1`D else 1`B if v3=32 then 1`1 else empty

final state

m2

m1 m3

NETWORK

Out Out

("tt","p1",GRE) ("tt","p1",GRE) ("g","p1",ALE3)

354*6Ë Ë

©

¥

«ªm¾

¥º(

b

(12)

" (!k

°h °

mb¤¬~°Ú

ªy¡=

°¬

ymj

ym

¾

Ãf

~Â ¸

my¡

;

À

Ãf

¡~

b

;w

²`

j

m ¡³

y¡3m¯~Â`¯¯q°

¡

b»

Àb

o

»£

h°°Ú

À

ym °¹`

°µy¡³¤

w

°ªo

{

¾

º(

y

woªb¡

b

m

©

ÚÂf

¼(

Àb

oy

¼q£

·q°w¾

ª(

o

;

¬ y

!

{

¾ oªb

V

f

y¡"m

Ã{ym

¥

¾

¥

©

Ãf¡

{

y¡ Ò

o

À

¡3

b£

)-¤Y:-^`_bahc{eg(Zc{n¤p-Òtwvmxyc{zbn¤ -tw\e7~vs\]\$R-Ò5-µYwh]\gdjc{[ 7_]$#f\5]\¤o_]adcJ6

Yz$cJO\$ ;Ú_[5[adecfzvcf_be%Y[3hcfve \A!h_bad5fv/~\*c{_be%]\{v'?$% zadocJ&%](\ µo_]ahcI6

H3ve+&(\o\a(X

-+?.`Y W

f(n

+$'

f 3_4h\[ho\

f(nq7_bedvfcon.a(edc0jcf\-

»q°$

¹²(Ú ¹ ©

G§*) ¡y

Ãfw

f

¾ª

¡

y¡

b

Ã+y

ª(

j

ª

-,

y¡~

¶

©

«bª

À

ªq

y

y¡~y®bÂ|bb

¶ °

®°

¹²w ¹ ©

O§)

f

¾bm

ª

¡

wÃf¤o¥¡

y

j¥oªb

¡³

y¡³

b

j

«¡³y

.o

¥

¥y

,

© b

¶

O

Ã

m

¥

©b

y

V

b

j

f

¡ª

ºho

oymhb°

¶

°¥²w°w¾

!

°

ªmÃ{y

¥ª/w

yª/

º(

0

y¡³jºho

o¯¯°

q°

²1

§2w¾

!

º(

w¾

Ò

©34

b

m

5

Ò

yª6/

º

(

(¨

/

¥hªb

¨

¥

~(¨

{

Ã

`Ã

{

`

/

¡

y

¾

{

¾ 879

m

³

¤m

;:<

m

³

©b

b¾

{

º

º(yªy

( °

¯q°`ªb

m

j

¤

ªbm

º(

¦~

O¹§

X

yy

o

V

º

{

y

¤

«

½

°`Ò¹§

X

yy

y°h w

my(~

j

{

¥

¡~ª

° b

¥jÂ

½¥

bh¥¯¯(°

y(°°=j

«

b

m

° ~¹`

`

¥y

o

Ò

¤

º(j

y

q

jb½

°

qq¹

w

¥y

y°

V

mybq

m

{

y

¡bª

y

° b

ymÂf½ry

¯b¯¼(°

b°°=j

«

b

j

ºd

q

°¹`

`

¥y

o

ÒV

¤

º

{

y

q

jb½

°·b

¹`

5

¥y

y°

V

mybqX

m

{

y

¡bª

y

° b

ymÂf½ry

¯b¯

¶ °

d°

°>

j

°¤b

j

b

°=j

«

°

Úºmy

{

y

¨

¬`ª

~

ªj

º(

y°

©b

y

oªb

jÃ

<;

ym

¤Ãf

m

jÃfo|¯ ¯q°

·°¥¦¥

ª(

`

¥

¥y

{

³

¤

{¢

¡³Òy¡o

´ ª

¤;?m

Ãf

{

b

y¡

¢ j

m

ó

«¨

ª

¾|

ª

ªqj

y

¾

Wo

f¨

ª

¾y|

ª

ªqj

©f©f©

/ºh¥ª

y

{

ym¦~¾y¡~m

¶ °

¼d°@y°

Ã{

À

oÒ

ª

ªy¡~(

y¡

o¡

`

«yª=/

º

y

y¡~

j*oªb

¸

¤

«ªb

²1º ¤º(y

¯

¶¶

°

»°h`°²`y¡³

°

Ã`

obm

ª(w

oªbm

b

y¡3

3f

¡

ºd

¤

y°º(

oyVmjª(

©

fª

`Ã

o

by¡b

(¯

¶

¼d°

y®(°

¥

¦

b

²

yª6/

o

ºhÂ

y¡m

¥

b

ª

f

¨y

ª

{¢

¡³

¾

¢y

y¡

jm

m

¢

j

(

¨

ª

¾oo

{`

¾

Oo|¯b¯

¶ °

¶

°

X¹

y¡³Ò¡

j

r

ª

y¡

y¡³

br¨

ª

óy¡~¡ª

¥

{

¤º$:

©º

¢

j

(

f¨

ª

¾ym

{

objÃ

¸

ª

oh ³¬m

~&|ª

»q°

°b¹

w¹²

w©

{

ó¨

ª

~objo

b{

³«ª

§

joª/

wº

o

h

¥ª

¦

¾yª3ªb

¡ª

o`

µ

¾

ªy

{¢

¡`y

b

BA

«yª

¢

«

m

¨

ª

¾y«

f1

ºh

¥

¦~

w©

2

¥y¡~b

¶ °

¯°

yq

¹

©

C:3:

;; ; °¥

jÂ{

°

(°

yq

¤º¦

C:3:

;wÀ

° ¡ °ªd°

À

:{

;:{

b

y°

;r À

(13)

′

^{! "#}

$&%(')+*'-,/.!,/%103254!6!78"9:*!;/%(<=<?>A@/BDCEGFH%(IJ0>K&%(IJLM*'N.!@O.!PIJ>RQ%

,/0(*!;/S/P(I-'*0TIJU/%WV%1P1S/0(>=IXEG9:.!@Y.!B!%[ZO%1@\IH*']^.`_a.!01;/*!SYLHFH0(*!;/S/P(IJL#)

bHc/degfhfic"jk"l\mn=e"jpo

bHc!qrc\dm!s-t/uwv"xzy`vx"{|v\}w~+~Y#u1~/{}\xyxzuOxA/y[uv\5y#y`v1yuT\}w{=xxA=yDy{?x

!\" dd!c"\ms \\`H+z1+Jwr+\! ^¡W£¢i¤!w¥zw¦z!1`\!

°

\z¢Y±!1²/\ JD³N¯(¯1\wT´5µM¶\·/¸¹ºJ»

s"tuv"x5yv/x\}yJ{¼xR½M¾\¿\x"}+[a¿!J}(Àw½

(}!{?x?Àw½T[u~\=y!xzyvy`1½¥Á-J{¼x5{|v\Âwu¬¿!=Ã}!vÃ^1u¿RÃ¾\y{|~/#u\Äwy!Ã{vix5{|y

ÅlNc"ÆÈÇ-lmc/ÉYe-Æ(nRÊ!l\m(n=e-jHo

Ë

¢\Ì+ªGrÌ!\z#¯1+

²\! ¥J!¡È\X !¥rÌ!!\zw¯[\

Í \!¯1! #Ì!!\5ª^\ z!¯rr¯[

² ¥J!¡Î\z +z!¯Ïr¯1

Ë

¢\Ì+ªi+z¯(#¯1+

bHc\Ð"n=c\ÑcYÆ3Ò!l"fÓnAÔ?n=l"Ænm#ÕOÑinmÖi×Ø-Ù!qcYdmÛÚlm#mrc"Æ

ÜÝaÞß£àAÝ[áÛà5â3à¼ãÝ¥ärâaå£æ=ç|è`Ý1å£ärÝÎé£â1êWã£ß¬ëÝ¥çåWé£âwê`ììÝërç|Ýí

Ë ¢\Ì

° ! +\X

î

!¡

ï[ðDmÖ-n=ðl"/c"ÆÈld!lYjk-n=k"l\mcOñ#eNÆTmÖcòÙ/c/ðm¥/l"cYÆTl\ÑlNÆkgó

ô

â(á#áçõçÞç|à¼é&â1æ

ô

ê1õÞç|äß£à?ç|â1åçåHörâ1ê`ìzåßwÞ!÷?á

ô

ÝwäçßwÞwçáá[ê£Ýø

ù !

ûú

(14)

4 !`®X

Ç-egfhfic"j/mrðñJegÆTmÖc

Ø/mÖ/egÆð

5 â1å1á[à?ìêwärà?çëÝ3äâ676Ý(åà¼á¥àAâWà?ã£Ý¥ß£êà¼ãâ1ì÷?áJøÛí"âwêwÞ|è õ£Ý¥ß

ôwô

ìÝ1äçß£àAÝ`è98

:<;>=?A@CBD@CEDF<@>FG>@>GH?EI?JBK?ELNMCFO=QPRTSUBVWBDXCESUEV9PGZY;>BD[BDF/\>GWM]?<@F%GC\IM2L^P?$_

`P]=?a=VbYOBLNPABdc=QPP%ceEgfC=QPA\Z=Y%Y%=LNM2cQP]PGhMCV>\>EDF?POBDVW\iE$jCBLNPOcRKP;CEkBl@>@>FGmBLD;

\>ENnZEoceGZ@CE\hf>RKP;WEkBNM>P;>G>F^?0_

p

YPOEDFqP;>ErPsbGhY=F$?Pt?EL$P=GZVC?u-sh;>=L;bBDF/Ek\>EI?LDF=@-P=n2Eu-P;>EvP;>=wF\U?ELNPO=G>V

\>EI?/LDF=ef2E9?tBkLG>SiShM2V>=LBNPO=GZVx@>FGIPGCLDG>c_yzGWMCc\hRWGWM{@CcEBI?EkEDj>@CcB=+V7sb=QPO;

SbG>FEk\>ENPOBD=c?qsb;WBNP<=?qP;>EK?PFB0POElXZR7M]?E\>u-sx;-Rb\>=\TRWGZM|LD;>GCGH?EvP;>=?

?PF/B0POEDX-RWuCBDV>\h@CGH?^?=f2c+RxXm=n2EK?GCSbEd@CEDFYGZFSbBVWLE-?t}FEI?MHcP?%~

:<;>Ed@>FG-fCcES{BNP%=eLc=V>CE\Ksb=QPO;KP;>EgM]?/EkGZYHP;WEg9?;WGWM2c\Kf2Ek\>ENnZEoceGZ@CE\

PG>G9BDFEvP;WEDFEK?/GZSbEkLGZVC?PFBD=V9P?t}fCG-MCV>\>E\xP=S{EumceG??tGZYHPFBlVm?SU=?$?=G>Vq~

sx;>=L;U?;WGWM2c\Kf2EgPOBDCEDVb=VIPOGbBLLGWMCV9P]=VKP;>EkBl@>@>FGmBLN;h@>F/GZ@WG?/E\>

p

?EL$P%=G>VbG>VbY=VCBc>FE-?M2cQP?tBV>\Ksx;>BNP]sTBI?qfWFGWMCX>;9P]f>RKP;WESbE$P;>GC\>GZcG>X>R

?%;WGWM2c\hfCEkB\>\>E\b=VKP;>EkY=VCBc>@2BD@CEDF$_