035 4

Układy sekwencyjne 35

2)    AlarmEnablc: O —> I (zmiana wartości sygnału AlarmEnabie z 0 na 1),

3)    Alert On (odebranie komunikatu AlertOn),

4)    AlertOff{odebranie komunikatu AlertOJf),

Zdarzenia wyjściowe tej maszyny stanowią:

1)    SoundOn (wysłanie komunikatu SoundOn).

2)    SoundOjf{wysłanie komunikatu SoundOjJ).

Tabela przejść tej maszyny jest przedstawiona w tabl. 4.5.

Incydentalny charakter zdarzeń wymusza zwiększenie liczby stanów maszyn, tak aby istniała możliwość pamiętania ostatnich zdarzeń. Zmienia się także sposób wyznaczania sygnałów wyjściowych: rola maszyny zostaje ograniczona do jednorazowej akcji polegającej na wysłaniu komunikatu.

I abi. 4.5. Tablica przejść asynchronicznej maszyny Alarm

Stan x(i)	Ztłurzenie wejściowe	Zdarzenie wyjściowe	Stan z(r-rl)
AlarmModeOn AlarmOn	AlarmBrtable. 1-^0	SnttndOff	AlarmModeOff AlarmOn
	AlertOJf	SoundOJf	A lannModeOn AlarmOff
AlarmModeOn AlarmOJf	AlarmlSnable: 1 —rO		AlarmModeOff AlarmOff'
	AlertOn	SoundOn	AlarmModeOn AlcninOn
.*} larmModeOff AlarmOn	AlarmEnable: 0 —> i	SoundOn	A lannModeOn AlarmOn
	AlertOff		Alm-mModeOff AlarmOff
A larw MndeOJf AlarmOff	AlarmEnable: 0 > 1		AlarmModeOn AlarmOJf
	AlertOn		AlarmModeOff Al mm On