ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne

APPEL À
CONTRIBUTION

Le comité de rédaction du JESA lance un appel à proposition de numéros spéciaux.

En savoir plus >>
Autres revues >>

Journal Européen des Systèmes Automatisés

1269-6935
Revues des Systèmes
 

 ARTICLE VOL 39/1-3 - 2005  - pp.191-206  - doi:10.3166/jesa.39.191-206
TITRE
Un nouveau graphe de classes pour la préservation des contraintes temporelles quantitatives

RÉSUMÉ
Le but de cet article est de présenter un graphe des classes pour les réseaux de Petri ttemporels avec sémantique forte qui permette d'associer à tout chemin de ce graphe l'ensemble des séquences de franchissements effectivement franchissables. Cela veut dire que l'on définit exactement (de façon quantitative) les contraintes temporelles que doivent vérifier les dates de franchissement. Après avoir fait quelques rappels sur les réseaux de contraintes temporelles simples, nous définissons les classes d'états puis nous donnons un algorithme de génération du graphe des classes. Nous montrons que ce graphe ne coïncide pas avec les graphes de classes déjà définis (W et A) dans l'outil TINA.


ABSTRACT
The objective of this paper is to present a new abstract state space for t-time Petri nets which associates with each path in this space a sequence effectively fireable in the net. This means that this state space has to exactly (in a quantitative way) define the set of constraints which have to be verified by the firings. After some definitions about the Simple Temporal Networks, the abstract states are defined and an algorithm for the generation of the abstract space are given. It is shown that this space does not coincide with the two previously defined spaces (W and A) in TINA.


AUTEUR(S)
Janette CARDOSO, Robert VALETTE, Xiaoyu MAO

MOTS-CLÉS
réseaux de Petri t-temporels, graphe des classes, réseaux de contraintes temporelles simples, vérification de propriétés temporelles.

KEYWORDS
t-time Petri nets, abstract state space, simple temporal networks, temporal properties verification.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (432 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier