Plasa Petri colorata

O rețea Petri colorată ( CPN , acronim englezesc pentru Rețeaua Petri colorată ) este o extensie a conceptului de rețea Petri , din care își păstrează proprietățile și extinde formalismul pentru a permite distincția între jetoane ^[1] .

O rețea este definită de: N = (P, T, A, Σ, C, N, E, G, I) unde:

• P este un set de locuri
• T este un set de tranziții
• A este un set de margini

Setul de locuri, tranziții și arce sunt în perechi disjuncte P ∩ T = P ∩ A = T ∩ A = ∅

• C este o funcție de culoare. Hartați locurile din P la culorile din Σ.
• N este o funcție de nod. Harta A în ( P × T ) ∪ ( T × P ).
• E este o funcție de expresie a arcului. Hartați fiecare arc a∈A în expresia e.
• G este o funcție de pază. Hartați fiecare tranziție t∈T într-o expresie de gardă g. Ieșirea expresiei are o valoare booleană.
• I este o funcție de inițializare. Mapează fiecare loc p într-o expresie de inițializare i. Expresia de inițializare trebuie să evalueze un set de jetoane cu o culoare care se potrivește cu culoarea locului C (p).

Notă

Elemente conexe

• Plasa Petri
• Plasa Petri dualistă

Alte proiecte

• Wikimedia Commons conține imagini sau alte fișiere pe rețeaua Petri colorată

Portal IT : accesați intrările Wikipedia care se ocupă cu IT