8299308410

Programowanie Równoległe i Rozproszone Wykład 5

Sieć Petri

Tradycyjnie miejsce oznacza się okręgiem, w którym można umieścić żeton prezentowany przez koło.

W jednym miejscu może znajdować się dowolna, nieujemna liczba żetonów. Tranzycie oznacza się prostokątami lub kreskami, a krawędzie to strzałki. Krawędzie mogą mieć wagi większe lub równe 1. Wagi równej 1 nie oznacza się, tak jak pokazano na rysunku. Waga określa, ile dokładnie żetonów przechodzi po krawędzi.

_MODELE

Sieć Petri

Tylko przejście aktywne może być odpalone.

Odpalenie przejścia to zabranie z wszystkich miejsc wejściowych tylu żetonów, ile wynika z wag krawędzi łączących miejsca z przejściem. Następnie na miejscach wyjściowych połączonych z przejściem pojawiają się żetony. Ilość żetonów "wchodzących” i "wychodzących" z przejścia nie musi być taka sama.

W jednym ruchu można odpalić tylko jedno przejście.

Przygotował: Lucjan Stapp

6