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 44/2 - 2010  - pp.161-180  - doi:10.3166/jesa.44.161-180
TITRE
Vers une nouvelle méthode de synthèse de commande pour les réseaux de Petri p-temporels

TITLE
Towards a new control synthesis method for p-time Petri nets

RÉSUMÉ
Les Réseaux de Petri constituent un formalisme puissant et reconnu pour la spécification et la vérification de systèmes concurrents, tels que les systèmes séquentiels et les systèmes de production manufacturière. Afin de prendre en compte de manière efficace le facteur temps, 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 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 à des spécifications désirées. De plus, l'approche n'est pas restreinte à des sousclasses de réseaux ou à des réseaux saufs (ou T-saufs).


ABSTRACT
Petri nets are a powerful formalism for the specification and verification of concurrent systems such as sequential and manufacturing systems. To take into account efficiently the time parameter different extensions have been developed in the literature, each one being dependent on the application considered. In this paper, a new control technique for p-time Petri nets is proposed. It is based on the firing instant notion and it consists in determining a system of inequalities generated for a possible evolution (in terms of a feasible firing sequence for the untimed underlying Petri net) of the model considered. This system can be used to check reachability problems as well as evaluating the performances of the model considered and determining the associated control for a definite functioning mode. Furthermore, the proposed approach is not restricted to subclasses or safe Petri nets.


AUTEUR(S)
Patrice BONHOMME

MOTS-CLÉS
réseaux de Petri, systèmes à événements discrets, commande, évaluation de performances.

KEYWORDS
Petri nets, discrete events systems, control, performance evaluation.

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  (349 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier