Vers une nouvelle méthode de synthèse de commande pour les réseaux de Petri p-temporels - Archive ouverte HAL Access content directly
Journal Articles Journal Européen des Systèmes Automatisés (JESA) Year : 2010

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

(1)
1

Abstract

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).

Dates and versions

hal-01003777 , version 1 (10-06-2014)

Identifiers

Cite

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), 2010, 44 (2), pp.161-180. ⟨10.3166/jesa.44.161-180⟩. ⟨hal-01003777⟩
35 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More