Uppaal

Fermé
SBA - 19 mai 2011 à 16:46
 SBA - 20 mai 2011 à 15:36
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

2 réponses

zipe31 Messages postés 36402 Date d'inscription dimanche 7 novembre 2010 Statut Contributeur Dernière intervention 27 janvier 2021 6 418
19 mai 2011 à 16:48
0
En Uppaal , est ce que les variables representent des etats? et les instances representent des transitions?
0
j'ai besoin de votre aide SVP..................:S:S
0