HAL : hal-00514893, version 1

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

Conference Internationale Francophone en Automatique, Nancy : France (2010)

Modélisation de Réseaux de Graphes d'Evénements Temporisés avec Conflits dans l'algèbre (Max,+)

Boussad Addad (  Auteur correspondant ) 1, Saïd Amari 1, Jean-Jacques Lesage 1

(2010)

Les Graphes d'Evénements Temporisés (GET) sont une classe de Réseaux de Petri (RdP) auxquels on peut aisément associer une représentation d'état (Max,+) linéaire qui facilite leur étude. Cependant, les GET ne permettent pas de modéliser des systèmes avec partage de ressources et/ou gestion de conflits. Pour y remédier, nous proposons une modélisation (Max,+) pour les Réseaux de Graphes d'Evénements Temporisés avec Conflits (RGETC). Dans un premier temps, nous développons des équations (Max,+) récurrentes régissant l'évolution des RGETC quelque soit la règle d'arbitrage des conflits appliquée. Nous considérons ensuite des règles particulières et aboutissons à des équations semblables à la forme d'état (Max,+) classique.

1 :	Laboratoire Universitaire de Recherche en Production Automatisée (LURPA)
	École normale supérieure de Cachan - ENS Cachan – Université Paris XI - Paris Sud

Domaine

:

Informatique/Automatique

Mots Clés : Graphe d'événements temporisé (GET) – algèbre (Max – +) – conflits – règle d'arbitrage.

hal-00514893, version 1

http://hal.archives-ouvertes.fr/hal-00514893

oai:hal.archives-ouvertes.fr:hal-00514893

Contributeur : Boussad Addad <>

Soumis le : Vendredi 3 Septembre 2010, 15:47:26

Dernière modification le : Mardi 11 Janvier 2011, 15:38:59