Vers une nouvelle methode de synthese de commande pour les reseaux de Petri p-temporels

摘要

Les Reseaux de Petri constituent un formalisme puissant et reconnu pour la specification et la verification de systemes concurrents, tels que les systemes sequentiels et les systemes de production manufacturiere. Afin de prendre en compte de maniere efficace le facteur temps, de nombreux modeles ont vu le jour, chacun etant dedie a un domaine particulier d'application. Dans cet article une nouvelle methode de synthese de commande pour les reseaux de Petri p-temporels est developpee. Elle est basee sur la notion d'instants de tir et consiste a determiner un systeme d'inegalites lineaires, obtenu pour une possible evolution du reseau autonome sous-jacent au reseau temporel considere. Ce systeme peut alors etre utilise pour evaluer les performances d'un fonctionnement specifique, verifier l'accessibilite de marquages particuliers mais aussi pour synthetiser une commande repondant a des specifications desirees. De plus, l'approche n 'est pas restreinte a des sous-classes de reseaux ou a des reseaux saufs (ou T-saufs).