ACCUEIL

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

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 31/5 - 2012  - pp.571-598  - doi:10.3166/tsi.31.571.598
TITRE
Nouvelle approche de synthèse de commande pour les réseaux de Petri p-temporels. Une méthode basée sur la notion d’instants de tir

TITLE
A new control synthesis approach for P-time Petri nets. A firing instant based method

RÉSUMÉ

Les réseaux de Petri constituent un formalisme puissant et reconnu pour la spécification et la vérification de systèmes dynamiques à événements discrets. Afin de tenir compte du facteur temps de manière efficace, de nombreux modèles ont vu le jour, chacun étant dédié à un domaine particulier d’application. Dans cet article une nouvelle méthode de synthèse de commande pour les réseaux de Petri p-temporels bornés est développée. Elle est basée sur la notion d’instants de tir et consiste à déterminer un système d’inégalités linéaires, obtenu pour une possible évolution du réseau autonome sous-jacent au réseau temporel considéré. Ce système peut alors être utilisé pour évaluer les performances d’un fonctionnement spécifique, vérifier l’accessibilité de marquages particuliers mais aussi pour synthétiser une commande répondant à un ensemble de spécifications désirées.



ABSTRACT

Petri nets (PN) are a powerful formalism for the specification and the verification of discrete events dynamic systems. To deal efficiently with time constraints, several models has been developped, each one being dedicated to a particular domain. In this paper a new control synthesis method for bounded p-time Petri nets is proposed. It is based on the firing instant notion and it consists in determining a linear inequalities system, obtained for a possible evolution of the underlying autonomous (untimed) Petri nets of the p-time PN considered. Thanks to this system the performances evaluation for a particular functioning can be realized. Furthermore, the developped approach can be used to check the reachability of particular markings as well as to synthesize a control fulfilling desired requirements.



AUTEUR(S)
Patrice BONHOMME

MOTS-CLÉS
réseaux de Petri p-temporels, systèmes à contraintes de temps, commande, évaluation de performances, vérification.

KEYWORDS
P-time Petri nets, time critical systems, control, performances evaluation, verification.

LANGUE DE L'ARTICLE
Français

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



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier