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.223-238  - doi:10.3166/jesa.39.223-238
TITRE
Problèmes d'accessibilité et espaces d'états abstraits des réseaux de Petri temporels à chronomètres

RÉSUMÉ
Plusieurs extensions des réseaux de Petri temporels ont été proposées pour modéliser la suspension et la reprise des actions dans les systèmes temps réel. En utilisant une classe simple de réseaux de Petri à chronomètres (SwTPN), nous montrons d'abord que l'accessibilité d'états dans tous ces modèles est indécidable, même pour des réseaux bornés. Nous proposons alors un semi-algorithme de construction d'une représentation exacte du comportement des SwTPN, basé sur la méthode connue des classes d'états. Nous discutons ensuite des méthodes de surapproximation assurant l'arrêt de la construction sur une sous-classe des SwTPN bornés et proposons une surapproximation paramétrable basée sur une quantification des polyèdres représentant les domaines temporels des classes d'états.


ABSTRACT
Several extensions of Time Petri nets have been proposed for modeling suspension and resumption of actions in timed systems. Using a simple class of TPN extended with stopwatches (SwTPN), we first prove that state reachability in all these models is undecidable, even when bounded. A semi-algorithm is then proposed for building exact representations of the behavior of SwTPN, based on the known state class method for Time Petri nets. Next, we discuss overapproximation methods ensuring termination of the construction on a subclass of bounded SwTPN, and propose a parameterizable overapproximation based on a quantization of the polyhedra representing temporal information.


AUTEUR(S)
Bernard BERTHOMIEU, Didier LIME, Olivier Henri ROUX, François VERNADAT

MOTS-CLÉS
réseaux de Petri temporels, chronomètres, classes d'états, accessibilité, décidabilité, approximation, vérification et modélisation des systèmes temps réel.

KEYWORDS
time Petri nets, stopwatches, state classes, reachability, decidability, approximation, real-time systems modeling and 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  (165 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier