Key points are not available for this paper at this time.
Les réseaux de Petri stochastiques généralisés (GSPN) sont présentés et appliqués à l'évaluation de la performance des systèmes multiprocesseurs. Les GSPN sont dérivés des réseaux de Petri standards en partitionnant l'ensemble des transitions en deux sous-ensembles comprenant des transitions temporisées et immédiates. Un temps de tirage aléatoire distribué exponentiellement est associé à chaque transition temporisée, tandis que les transitions immédiates s'activent en zéro temps. Il est démontré que les GSPN sont équivalents à des processus stochastiques en temps continu, et des méthodes de solution pour la dérivation de la distribution de probabilité à l'état stationnaire sont présentées. Des exemples d'application des modèles GSPN à l'évaluation de la performance des systèmes multiprocesseurs montrent l'utilité et l'efficacité de cet outil de modélisation. 1.
Marsan et al. (Mar,) ont étudié cette question.