Dr hab. inż. Remigiusz Wiśniewski z Uniwersytetu Zielonogórskiego zrealizuje projekt  „Modelowanie systemów cyber-fizycznych z zastosowaniem interpretowanej sieci Petriego – staż naukowy w UC Berkeley”. Pieniądze na staż na kalifornijskim uniwersytecie pochodzą z konkursu Miniatura Narodowego Centrum Nauki.

Naukowiec odbędzie staż naukowy w Uniwersytecie Kalifornijskim w Berkeley u wybitnego specjalisty z zakresu systemów cyber-fizycznych, prof. Edwarda A. Lee. Podczas pobytu autor projektu planuje  przeprowadzenie badań podstawowych pod kątem możliwości zastosowania interpretowanej sieci Petriego w modelowaniu systemów cyber-fizycznych (Cyber-Physical Systems, CPS).

Sieci Petriego umożliwiają graficzną reprezentację systemu, a ich największą zaletą jest uwzględnienie relacji współbieżności zachodzących w danym systemie. Dodatkowo, oferują szeroką gamę metod analizy i dekompozycji, wspomagających modelowanie oraz weryfikację projektowanego systemu.

jsz