Aspecte de modelare a proceselor de calcul prin reţele Petri generalizate stocastice cu arce reversibile

Abstract

În lucrare sunt definite reţele Petri generalizate stocastice descriptiv-compoziţionale (GeN) cu capacităţi negativ-pozitive ale locaţiilor şi arce reversibile cu o cardinalitate marcaj-dependentă pentru modelarea proceselor de calcul. În acelaşi context sunt considerate unele aspecte de compunere a modelelor, verificare şi evaluare a performanţelor proceselor de calcul în baza acestor extensii de reţele Petri.

In this paper we define a descriptive- compositional generalized stochastic Petri nets (GeN) with negative place capacity and marking-dependent cardinality reversible arcs. Also, we consider some aspects to build of GeN models and their using for performance modelling of computing processes. An example is presented to illustrate this approach to performance modelling with GeN.

Cet article présente la définition de réseaux de Petri généralisés stochastique (GeN) avec négative-positive capacité des places et marquage-dépendante cardinalités des réversibles arcs pour la modélisation des processus de calcul. Dans le même contexte ont considère des aspects de construction compositionnelles de GeN modèle, vérification et performance modélisation des processus de calcul. On considère un exemple d’application de GeN pour la modélisation des processus de calcul.

В работе представлены определения обобщенных стохастических сетей Петри (GeN) с отрицателно-положительными емкостями и реверсными дугами. В том же контексте рассмотрены аспекты композици-онного построения GeN моделей их верификации и оценки эффективности вычислительных процессов. Рассмотрен пример использования таких сетей.