A ! S
A ! S
A ! S
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Sémantique du BDMP<br />
Initialisation : modes et états des Pi<br />
Quand un des Pi change d'état, toutes les fonctions sont recalculées<br />
et pour chaque Pi dont la fonction de sélection de processus<br />
change et dont le Yi vaut 1, la fonction de transfert associée est<br />
appliquée pour définir vers quels états le processus va<br />
(instantanément) et avec quelles probabilités. Cela peut<br />
déclencher d'autres changements de mode en cascade.<br />
Les Pi Yi=0 sont modifiés : leurs transitions "de défaillance" (cad<br />
faisant passer Si de 0 à 1) sont inhibées jusqu'à ce que leur Yi<br />
repasse à 1