Przedstawione zostanie rozszerzenie pojęcia sieci Petriego
realizujące pochodzący od Valka paradygmat "sieci w sieciach".
Hipersieć Petriego H, to rodzina sieci Petriego.
Każda indywidualna sieć N w H występować może jako żeton
w miejscu innej, nadrzędnej sieci-matki N' z H.
Mobilność pozioma i pionowa.
Sieci takie jak N mogą, jak to żetony, przemieszczać się
poziomo w ramach sieci-matki N'. Cecha specyficzna naszej
propozycji jest mobilność pionowa: sieci-zetony mogą
podrożować pomiędzy poziomami - zarówno "awansować" na wyższy,
jak i podlegać "degradacji" na niższy poziom.
Inne slowa kluczowe opisujace model:
- hierarchiczność - sieć-matka rządzi swoimi tokenami
- strukturalność - podział H na kanały, niezmienne dla żetonów
- sieci otwarte i zamknięte na komunikację ze światem
- zmienny charakter warunków odpalalności tranzycji w sieci.
W ramach seminarium zostanie przedstawiona formalna definicja
modelu, w tym m.in. pojęcia odpalenia w hipersieci.
Idee i motywacje zilustrujemy na przykładzie "Portu Lotniczego".
|