Инструментальные средства построения цифровых моделей двойников производства на основе алгебраического подхода и графического языка состояний, расширенного функциональной и операционной семантикойдоклад на конференции