
В работе предлагается методика проектирования супервизоров для предотвращения запрещенных состояний для неуправляемых и управляемых дискретно-событийных систем. Рассматриваются вопросы поиска и навигации по пространству состояний в прямом и обратном направлениях, вычисления шагов в линейной структуре. Затронуты вопросы реализации систем безопасности. Приводится пример системы двух выталкивателей для демонстрации предложенной методики.
ДИСКРЕТНО-СОБЫТИЙНЫЕ СИСТЕМЫ, СУПЕРВИЗОРНОЕ УПРАВЛЕНИЕ, СЕТЕВЫЕ СИСТЕМЫ "УСЛОВИЕ-СОБЫТИЕ", ЗАПРЕЩЕННАЯ МАРКИРОВКА, МЕТОДИКА ПРОЕКТИРОВАНИЯ, ЛИНЕЙНЫЙ ШАГ, ЧАСТИЧНАЯ МАРКИРОВКА, ВЫТАЛКИВАТЕЛЬ, ГРАФ ДОСТИЖИМОСТИ КРИТИЧЕСКИХ МАРКИРОВОК, NET CONDITION/EVENT SYSTEMS
ДИСКРЕТНО-СОБЫТИЙНЫЕ СИСТЕМЫ, СУПЕРВИЗОРНОЕ УПРАВЛЕНИЕ, СЕТЕВЫЕ СИСТЕМЫ "УСЛОВИЕ-СОБЫТИЕ", ЗАПРЕЩЕННАЯ МАРКИРОВКА, МЕТОДИКА ПРОЕКТИРОВАНИЯ, ЛИНЕЙНЫЙ ШАГ, ЧАСТИЧНАЯ МАРКИРОВКА, ВЫТАЛКИВАТЕЛЬ, ГРАФ ДОСТИЖИМОСТИ КРИТИЧЕСКИХ МАРКИРОВОК, NET CONDITION/EVENT SYSTEMS
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
