Расширение функциональных возможностей алгоритмического аппарата сетей Петри при моделировании параллельных процессов

Abstract

Рассмотрены интерпретации и модификации безопасных сетей Петри как средства моделирования последовательных и параллельных алгоритмов. Поставлена задача распараллеливания последовательных алгоритмов для повышения эффективности их работы и приведены критерии анализа для их распараллеливания. Рассмотрен пример распараллеливания последовательного алгоритма, представленного функциональной модификацией управляющих сетей Петри.

Розглянуто інтерпретації та модифікації безпечних мереж Петрі як засоба моделювання послідовних та паралельних алгоритмів. Поставлено задачу розпаралелювання послідовних алгоритмів з метою підвищення ефективності їхньої роботи і наведено критерії аналізу послідовних алгоритмів для їх розпаралелювання. Розглянуто приклад розпаралелювання послідовного алгоритму, представленого функціональною модифікацією управляючих мереж Петрі.

Interpretations and modifications of the dangerless Petri nets have been considered as the means of modeling of sequential and parallel algorithms. The authors have posed the problem of parallelizing the sequential algorithms for raising the efficiency of their work and have given the analysis criteria for their parallelizing. An example of parallelizing the sequential algorithm represented by a functional modification of the controlling Petri nets has been considered