Comments 4
Фраза «Кроме того, на переходах изменяется условие для машины турникета и происходит ее вызов (сигналы ep,xp,lr,lg,ly,rr,rg,ry):» предполагает, что машина турникета получит сигналы от машины интерфейса, но при этом машина турникета посылает сигналы другим машинам, в том числе и машине интерфейса для реагирования на внешнее воздействие. Как Вы добиваетесь отсутствия зацикленности в системе?
Вызов машины турникета со стороны машины интерфейса, например, «открыть вход» происходит на переходе 0#0#1. Машина интерфейса переходит в состояние 1, из которого может выйти только по сигналу ts от машины турникета. При получении такового она возвращается в исходное состояние по переходу 0#1. Из-за различных переходов и моментов времени зацикленность не возникает, а возникает общение машин (вопрос-ответ).
Различные сигналы не могут избавить от циклов, если одна машина сразу посылает сигналы из кода, не ожидая «реальных» сигналов от устройств и это может приводить к дублированию данных по той причине, что даже если машины и не перешли в бесконечный цикл, то все равно могут сработать несколько раз пока условия будут выполняться. По описанию машин я понял, что у Вас такие ситуации — генерация сигнала по событию из кода, а не от устройства — присутствуют в коде системы. Или я ошибаюсь?
Sign up to leave a comment.
Отражение динамики в модели СКУД