Цветная сеть Петри - Coloured Petri net

Цветные сети Петри площадь обратная совместимость расширение математический идея Сети Петри.

Цветные сети Петри сохраняют полезные свойства сетей Петри и в то же время расширяют исходный формализм, позволяя различать токены.^[1]

Цветные сети Петри позволяют токенам иметь прикрепленные к ним значения данных. Это присоединенное значение данных называется токеном цвет. Хотя цвет может быть произвольно сложного типа, места в раскрашенных сетях Петри обычно содержат жетоны одного типа. Этот тип называется набор цветов места.

Определение 1. А сеть кортеж N = (п, Т, А, Σ, C, N, E, грамм, я ) куда:

• п это набор места.
• Т это набор переходы.
• А это набор дуги

В раскрашенных сетях Петри множества точек, переходов и дуг попарно не пересекаются. п ∩ Т = п ∩ А = Т ∩ А = ∅

• Σ - это набор цветовых множеств. Этот набор содержит все возможные цвета, операции и функции, используемые в цветной сети Петри.
• C это функция цвета. Он отображает места в п в цвета в Σ.
• N является узловой функцией. Это карты А в (п × Т) ∪ (Т × п).
• E является функцией выражения дуги. Он отображает каждую дугу а ∈ А в выражение е. Типы входов и выходов выражений дуги должны соответствовать типу узлов, с которыми связана дуга.

Использование функции узла и функции выражения дуги позволяет нескольким дугам соединять одну и ту же пару узлов с разными выражениями дуги.

• грамм является защитной функцией. Он отображает каждый переход т ∈ Т на выражение охранника грамм. Выходные данные охранного выражения должны иметь логическое значение: истина или ложь.
• я это функция инициализации. Он отображает каждое место p в выражение инициализации я. Выражение инициализации должно оцениваться как мультимножество токенов с цветом, соответствующим цвету места C(п).

Известная программа для работы с раскрашенными сетями Петри - это cpntools.

Рекомендации

внешняя ссылка