bibtex

@article{SALMI2004

author = SALMI, Nabila;
title = Approche de décomposition multicouche de réseaux de Petri stochastiques et spécifications algébriques;
abstract = L’analyse des performances des systèmes parallèles et complexes par réseaux de Petri stochastiques (RDPS) s’avère difficile à effectuer, à cause de l’explosion de l’espace d’états à analyser. A fin d’éviter ce problème, nous proposons une nouvelle approche de décomposition qui décompose le système en un ensemble de sous-systèmes, tout en exprimant le système global en une expression algébrique reliant ses propres composants. Cette approche tente de retrouver les sous réseaux composant le réseau global, et déduire les relations liant ces sous réseaux. Le résultat fourni par cette décomposition consistera alors en une expression algébrique représentant le RDPS, composée des sous réseaux identifiés, liés par des opérateurs à définir.
month = Octobre,
year = 2004, }