Le docteur d’Etat Remigiusz Wiśniewski de l’Université de Zielona Góra, réalisera le projet intitulé « la modélisation de systèmes cyber-physiques à l’aide du réseau interprété de Petri – stage de recherche à l’UC Berkeley ». L’argent pour le stage à l’Université de Californie provient du concours de miniatures du Centre national des sciences.

Le scientifique effectuera un stage de recherche à l’Université de Californie à Berkeley avec un éminent spécialiste dans le domaine des systèmes cyber-physiques, le professeur Edward A. Lee. Pendant son séjour, l’auteur du projet prévoit de mener des recherches fondamentales sur la possibilité d’utiliser le réseau de Petri interprété dans la modélisation des systèmes cyber-physiques (Cyber-Physical Systems, CPS).

Les réseaux de Petri fournissent une représentation graphique du système, et leur plus grand avantage est qu’ils prennent en compte les relations de concurrence au sein du système. De plus, ils offrent un large éventail de méthodes d’analyse et de décomposition, soutenant la modélisation et la vérification du système conçu.