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).
Document type :
Journal articles
Complete list of metadatas

https://hal-univ-tours.archives-ouvertes.fr/hal-01003777
Contributor : Vincent t'Kindt <>
Submitted on : Tuesday, June 10, 2014 - 4:22:25 PM
Last modification on : Tuesday, November 19, 2019 - 4:46:10 PM

Links full text

Identifiers

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⟩

Share

Metrics

Record views

127