research

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

Abstract

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

    Similar works