Pr-1st-1.1-m02-Slajd35

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Zdarzenia dopuszczalne

Zdarzenia dopuszczalne

Funkcja tranzycji dopuszcza możliwość zajścia zdarzenia tylko w tych stanach , dla których . Dlatego też, w wypadku gdy , powiemy że zdarzenie jest dopuszczalne (ang. allowed) w stanie . Wprowadzimy też predykat allowed() oznaczający, że w danej chwili zdarzenie jest dopuszczalne.


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