Граф безопасных ложных переходов
Список продуктов
Данный раздел/документ содержится в продуктах:
Данный раздел/документ содержится в продуктах:
- Техэксперт: Охрана труда
- Техэксперт: Нормы, правила, стандарты и законодательство России
- Техэксперт: Нефтегазовый комплекс
- Техэксперт: Машиностроительный комплекс
ГРАФ БЕЗОПАСНЫХ ЛОЖНЫХ ПЕРЕХОДОВ
Е. Safety false transition graph
Ориентированный граф, вершины которого суть состояния автомата, а дуги соединяют одну вершину с другой, если соответствующий ложный переход безопасен
