Séminaire Mathématique de Béjaia
Volume 13, Numéro 1, Pages 87-91
2014-12-31

Stabilité Forte Des Réseaux De Petri

Auteurs : Lekadir Ouiza . Aïssani Djamil .

Résumé

Comme première tentative d’application de la méthode de stabilité forte aux modèles stochastiques RdP ”Réseaux de Petri” nous avons établie la stabilité forte du M/M/1 − GSPN (generalized stochastic Petri net associéau système d’attente M/M/1) après perturbation de la durée de service du système M/G/1 − MRSPN (Markovian Regeneratif Stochastic Petri Nets associé au système M/G/1). En effet, en premier lieu, nous avons définie de façon formelle les processus stochastiques associés aux réseaux de Petri stochastiques modélisant les deux systèmes : le système original, non markovien ”M/G/1” et le système idéal, markovien ”M/M/1”. Par la suite, nous avons obtenu les conditions nécessaires de stabilité forte de ces systèmes et finalement nous avons obtenu les bornes de perturbations induites.

Mots clés

Réseaux de Petri, GSPN, MRSPN, Stabilité forte, La file M/M/1, La file M/G/1, Perturbation.