O Dr. Eng. Remigiusz Wiśniewski na Universidade de Zielona Góra realizará o projeto “Modelagem de sistemas cibernéticos usando a rede de Petri interpretada – prática científica na Universidade de Berkeley”. A prática na Califórnia será financiada no âmbito do concurso Miniatura do Centro Nacional de Ciência.

O cientista realizará a prática científica na Universidade da Califórnia, Berkeley, sob a orientação de um especialista eminente no campo de sistemas cyber-físicos, o Prof. Edward A. Lee. Durante a estadia, o autor do projeto pretende realizar pesquisa básica sobre a possibilidade de utilizar a modelagem de redes de Petri interpretadas de sistemas ciber-físicos (Cyber-Physical Systems, CPS).

As redes de Petri permitem a representação gráfica do sistema e oferecem uma ampla gama de métodos de análise e decomposição que suportam a modelagem e verificação do sistema projetado.