ФОРМАЛИЗОВАНЫЙ МЕТОД ПРОЕКТИРОВАНИЯ СИСТЕМ УПРАВЛЕНИЯ
Обсуждается возможность математического описания визуальных графоаналитических моделей с помощью алгебраического аппарата «пи-исчисления» Р. Милнера на примере моделей процессов управления наружным освещением в стандарте