Färgat petrinät

Färgade Petri-nät är en bakåtkompatibel förlängning av det matematiska konceptet med Petri-nät .

Färgade Petri-nät bevarar användbara egenskaper hos Petri-nät och utökar samtidigt den initiala formalismen för att tillåta skillnaden mellan tokens.

Färgade petrinät tillåter tokens att ha ett datavärde kopplat till sig. Detta bifogade datavärde kallas tokenfärgen . Även om färgen kan vara av godtyckligt komplex typ, innehåller platser i färgade petrinät vanligtvis tokens av en typ. Denna typ kallas platsens färguppsättning .

Definition 1. Ett nät är en tuppel N = ( P , T , A , Σ, C , N , E , G , I ) där:

• P är en uppsättning platser .
• T är en uppsättning övergångar .
• A är en uppsättning bågar

I färgade petrinät är uppsättningar av platser, övergångar och bågar parvis osammanhängande P ∩ T = P ∩ A = T ∩ A = ∅

• Σ är en uppsättning färguppsättningar. Denna uppsättning innehåller alla möjliga färger, operationer och funktioner som används inom det färgade Petri-nätet.
• C är en färgfunktion. Den mappar platser i P till färger i Σ.
• N är en nodfunktion. Den mappar A till ( P × T ) ∪ ( T × P ).
• E är en båguttrycksfunktion. Den mappar varje båge a ∈ A till uttrycket e . Ingångs- och utgångstyperna för bågeuttrycken måste motsvara typen av noder som bågen är ansluten till.

Användning av nodfunktion och bågeuttrycksfunktion gör att flera bågar kopplar ihop samma nodpar med olika bågeuttryck.

• G är en vaktfunktion. Den mappar varje övergång t ∈ T till ett skyddsuttryck g . Utdata från guard-uttrycket bör utvärderas till ett booleskt värde (sant eller falskt). Om falskt t inte avfyras.

• I är en initialiseringsfunktion. Den mappar varje plats p till ett initialiseringsuttryck i . Initieringsuttrycket måste utvärderas till flera uppsättningar av tokens med en färg som motsvarar färgen på platsen C ( p ).

Ett välkänt program för att arbeta med färgade petrinät är cpntools .