Цветная сеть Петри

Цветные сети Петри являются обратно совместимым расширением математической концепции сетей Петри .

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

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

Определение 1. сетка является кортеж N = ( Р , Т , , Σ, С , Н , Е , G , I ) , где:

• P - это набор мест .
• T - это набор переходов .
• A - это набор дуг

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

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

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

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

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

Ссылки [ править ]

Внешние ссылки [ править ]

Викискладе есть медиафайлы по теме цветных сетей Петри .