Pr-1st-1.1-m02-Slajd35

Zdarzenia dopuszczalne

Funkcja tranzycji dopuszcza możliwość zajścia zdarzenia $E$ tylko w tych stanach $S$, dla których $⟨S,E,S^{\prime }⟩\in {{ℱ}}_i$. Dlatego też, w wypadku gdy $⟨S,E,S^{\prime }⟩\in {{ℱ}}_i$, powiemy że zdarzenie $E$ jest dopuszczalne (ang. allowed) w stanie $S$. Wprowadzimy też predykat allowed($E$) oznaczający, że w danej chwili zdarzenie $E$ jest dopuszczalne.

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