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 47/1-3 - 2013  - pp.77-92  - doi:10.3166/jesa.47.77-92
TITRE
Approches incrémentales pour les réseaux de Petri temporisés fondées sur la programmation par contraintes

RÉSUMÉ
Les réseaux de Petri temporisés sont utilisés pour modéliser une large classe de systèmes dynamiques discrets. La plupart des problèmes considérés peuvent être modélisés comme des problèmes d’accessibilité, et sont généralement résolus à l’aide d’approches d’exploration du graphe de comportement du réseau de Petri. Dans cet article, nous présentons une modélisation incrémentale du comportement des réseaux de Petri temporisés, permettant de rechercher des séquences de franchissement solution du problème d’accessibilité à l’aide de la programmation par contraintes. Notre approche ne nécessite pas la construction du graphe de comportement du réseau considéré, et permet une recherche efficace de séquences de franchissement solution des problèmes modélisés. Notre approche n’impose pas de structure particulière pour le réseau de Petri, ni de sémantique de franchissement au plus tôt.


ABSTRACT
Timed Petri Nets (TPN) can be used to model a wide class of systems, from manufacturing issues to formal verification of embedded systems. Many of the considered problems can be modeled as reachability problems in TPNs, which are commonly solved by exploring their reachability graph. In this paper, to reduce the space state explosion brought by the exploration of the TPN behavior, we propose an approach based on an implicit traversal of the TPN reachability graph. This is done by constructing a unique sequence of steps representing incrementally the behavior of the net, allowing to translate the reachability graph of the TPN into a mathematical model. We improve this model by adding valid inequalities and search for solutions using Constraint Programming (CP). By using this symbolic framework, some properties requiring an exhaustive analysis of the reachability graph can be efficiently verified. Our model do not make assumptions about the TPN firing policy, like earliest firing semantics.


AUTEUR(S)
Yongliang HUANG, Thomas BOURDEAUD'HUY, Armand TOGUYÉNI, Pierre-Alain YVARS

MOTS-CLÉS
réseaux de Petri temporisés, accessibilité, programmation par contraintes.

KEYWORDS
timed Petri nets, constraint programming, reachability.

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



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier