О языке компонентной сети петри с компонентами-местами и компонентами-переходами

Abstract

Проведено исследование языка компонентной сети Петри с двумя типами составных компонентов: компонентами-местами и компонентами-переходами. Установлен эпиморфизм языков моделей параллельной распределённой системы, представленных в виде детальной модели Петри и в виде её компонентной модели Петри с двумя типами составных компонентов