Uppaal
SBA
-
SBA -
SBA -
Bonjour,
Est ce que quelqu'un peut m'aider a trouve une bonne figure concernant le sujet suivant:
On suppose que notre systeme est compose de n instances et n variables.on nomme l'ensemble des instances P={p1,...pn} et l'ensemble des variables V={v1,...vn}.
chaque instance Pi doit fonctionner de la maniere suivante:
-l'instance Pi doit avoir l'acces aux deux variables vi et vj tel que j=i+1modn
-dans une duree de 11 unites de temps,chaque variable doit etre accede pour au moins 2 u.t. consecutifs
-si pendant plus de 11 u.t.,l'instance n'a pas eu l'acces aux deux variables,l'instance sera bloquee
-une instance ne peut pas garder l'acces a une variable de plus de 5 u.t.
Merci en avance
Est ce que quelqu'un peut m'aider a trouve une bonne figure concernant le sujet suivant:
On suppose que notre systeme est compose de n instances et n variables.on nomme l'ensemble des instances P={p1,...pn} et l'ensemble des variables V={v1,...vn}.
chaque instance Pi doit fonctionner de la maniere suivante:
-l'instance Pi doit avoir l'acces aux deux variables vi et vj tel que j=i+1modn
-dans une duree de 11 unites de temps,chaque variable doit etre accede pour au moins 2 u.t. consecutifs
-si pendant plus de 11 u.t.,l'instance n'a pas eu l'acces aux deux variables,l'instance sera bloquee
-une instance ne peut pas garder l'acces a une variable de plus de 5 u.t.
Merci en avance
