Доктор инж. Ремигиуш Вишневский из Университета Зелёна-Гура будет осуществлять проект «Моделирование киберфизических систем с использованием интерпретированной сети Петри — научная стажировка в Калифорнийском университете в Беркли». Деньги на стажировку в Калифорнийском университете поступят от Национального научного центра в рамках конкурса Миниатура.

Ученый проведет научную стажировку в Калифорнийском университете в Беркли с выдающимся специалистом в области киберфизических систем, проф. Эдвардом А. Ли. Автор проекта планирует провести фундаментальные исследования с точки зрения возможности использования интерпретированной сети Петри при моделировании кибер-физических систем (Cyber-Physical Systems, CPS).

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