Методы построения конечных автоматов на основе ...

116G( wasAction(z 1 ) =>X[U(!wasAction(z 1 ), wasAction(z 2 ))] )G( wasAction(z 2 ) =>X[ U(!wasAction(z 2 ), wasAction(z 1 )] )!F(wasEvent(e 4 ) & X(F(wasEvent(e 11 ) ||wasEvent(e 12 ) || wasEvent(e 2 ) ||wasEvent(e 3 ))))двери закроются, либо препятствиепомешает закрыть двери, либо лифтсломается.Если автомат выработал выходноевоздействие z 1 , то оно не будетбольше выработано, пока автоматне выработает z 2 . В терминахсистемы управления дверьми лифтаутверждение можно записатьследующим образом: если былоначато открытие дверей, то вследующий раз открытие можетбыть начато только после того, какони закроются.Если автомат выработал выходноевоздействие z 2 , то оно не будетбольше выработано, пока автоматне выработает z 1 . В терминахсистемы управления дверьми лифтаутверждение можно записатьследующим образом: если былоначато закрытие дверей, то вследующий раз закрытие можетбыть начато только после того, какони откроются.После поступления e 4 на входавтомату не будут поступатьсобытия e 11 , e 12 , e 2 или e 3 . Втерминах системы управления