Формализация моделей процессов на основе ПИ-исчисления

摘要

Обсуждается возможность математического описания визуальных графоаналитических моделей с помощью алгебраического аппарата "пи-исчисления" Р. Милнера на примере моделей процессов управления наружным освещением в стандарте BPMN