Подведем некоторые итоги данного раздела. Мы весьма кратко рассмотрели теорию сетей Петри в двух вариантах:
• формализм классических или обыкновенных СП (РТ - сетей в терминологии К. Йенсена);
• формализм раскрашенных сетей Петри - CPN.
Нетрудно убедиться в том, что формализм описания структуры и функционирования CPN справедлив и для обыкновенных СП. При этом пункты 1, 3, 4 и 10 совпадают с описанием в разделе 2.1.1;цветовое множество всего одно и имеет единственный цвет; описание связей между узлами вместо матриц Fp и Ft следует задавать множеством дуг А, узловой функцией N(a) и выражениями на дугах Е(а). Функция С(р) тривиальна и поэтому не нужна, а функция G(t) всегда истинна.
Правила срабатывают и изменения маркировок (2.17) и (2.18) при сделанных предположениях совпадают соответственно с (2.6) и (2.7).
Для раскрашенных сетей Петри также могут быть построены инварианты (см. п. 2.1.6) - как по отдельным видам ресурсов, так и по их комбинациям [10].
В то же время очевидно, что формализм К. Йенсена при всех своих преимуществах в ряде случаев более громоздок и менееудобен по сравнению с формализмом классических обыкновенных сетей Петри. Поэтому при моделировании конкретных систем исследователь должен выбирать наиболее подходящую в данном случае методологию. Именно так и будем поступать в дальнейшем.
