Barevná Petriho síť - Coloured Petri net

Barevné Petriho sítě plocha zpětně kompatibilní prodloužení matematický koncept Petriho sítě.

Barevné Petriho sítě zachovávají užitečné vlastnosti Petriho sítí a zároveň rozšiřují počáteční formalismus, aby umožnily rozlišení mezi tokeny.^[1]

Barevné Petriho sítě umožňují tokenům připojit k nim datovou hodnotu. Tato připojená datová hodnota se nazývá token barva. Ačkoli barva může být libovolně složitého typu, místa v barevných Petriho sítích obvykle obsahují žetony jednoho typu. Tento typ se nazývá barevná sada toho místa.

Definice 1. A síť je n-tice N = (P, T, A, Σ, C, N, E, G, Já ) kde:

• P je sada místa.
• T je sada přechody.
• A je sada oblouky

V barevných Petriho sítích jsou sady míst, přechodů a oblouků párově disjunktní P ∩ T = P ∩ A = T ∩ A = ∅

• Σ je sada barevných sad. Tato sada obsahuje všechny možné barvy, operace a funkce používané v barevné Petriho síti.
• C je barevná funkce. Mapuje místa v P do barev v Σ.
• N je funkce uzlu. Mapuje to A do (P × T) ∪ (T × P).
• E je funkce obloukového výrazu. Mapuje každý oblouk A ∈ A do výrazu E. Typy vstupu a výstupu výrazů oblouku musí odpovídat typu uzlů, ke kterým je oblouk připojen.

Použití funkce uzlu a funkce výrazu oblouku umožňuje více obloukům spojit stejnou dvojici uzlů s různými výrazy oblouku.

• G je strážní funkce. Mapuje každý přechod t ∈ T na strážný výraz G. Výstup strážného výrazu by měl být vyhodnocen na booleovskou hodnotu: true nebo false.
• Já je inicializační funkce. Mapuje každé místo p do inicializačního výrazu i. Inicializační výraz musí být vyhodnocen jako multiset tokenů s barvou odpovídající barvě místa C(p).

Známý program pro práci s barevnými Petriho sítěmi je cpntools.

Reference

externí odkazy