Структурированные сети Петри. Новые возможности применения

Abstract

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