Vers une nouvelle méthode de synthèse de commande pour les réseaux de Petri p-temporels

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).
Type de document :
Article dans une revue
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2010, 44 (2), pp.161-180. 〈10.3166/jesa.44.161-180〉
Liste complète des métadonnées

https://hal-univ-tours.archives-ouvertes.fr/hal-01003777
Contributeur : Vincent T'Kindt <>
Soumis le : mardi 10 juin 2014 - 16:22:25
Dernière modification le : mercredi 21 mars 2018 - 10:54:07

Identifiants

Collections

Citation

Patrice Bonhomme. Vers une nouvelle méthode de synthèse de commande pour les réseaux de Petri p-temporels. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2010, 44 (2), pp.161-180. 〈10.3166/jesa.44.161-180〉. 〈hal-01003777〉

Partager

Métriques

Consultations de la notice

54