Dynamic rewriting differential Petri nets for discrete-continuous modelling of computer systems

Abstract

This paper presents a set of compositional logic operations, descriptive expressions of Generalized Differential Petri Nets (GDPN) for discrete-continuous modelling of dynami-cally reconfigurable systems. In order to capture these systems we introduce the descriptive self-rewriting labelled GDPN that can modify, at run-time, their own structure by rewriting some rules of their descriptive expression components.

În lucrare sunt definite operaţii logice, expresii descriptive şi reguli de rescriere marcaj-dependente pentru construirea compoziţională a modelelor de reţele Petri diferenţiale generalizate (GDPN), care reflectă schimbarea structurii acestora pe parcursul funcţionării. Este considerat un exemplu de reguli de rescriere a expresiilor descriptive şi maparea lor în modele GDPN reconfigurabile aplicabile la modelarea discret-continue a sistemelor de calcul.

Cet article présente un ensemble d’opération logique, expressions descriptives et règles de réécriture marquage-dépendante pour la construction compositionelle de réseaux de Petri différentielle généralisés (RPDG) qui décrit le changement de la structure pendent le fonctionnement. On considère un exemple d’application des règles de réécriture aux expressions descriptives et leur translation dans le RPDG auto-réconfigurable pour la modélisation des systèmes d’ordinateurs.

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