Pr-1st-1.1-m07-Slajd26

Model stanów globalnych (6)

Możliwa jest też reprezentacja jeszcze prostsza, w której stan procesu określony przez zmienną $presen{t}_i$ a stan kanału określony przez analogiczną zmienną $presen{t}_{i,j}$. Zmienne te przyjmują wartość True tylko wówczas, gdy znacznik typu TOKEN znajduje się aktualnie w odpowiednim procesie bądź kanale.

<< Poprzedni slajd | Spis treści | Następny slajd >>