Zespół modelowania i analizy systemów współbieżnych

Zespół modelowania i analizy zajmuje się zagadnieniami związanymi z modelowaniem i analizą formalną współbieżnych systemów dyskretnych, przede wszystkim w odniesieniu do asynchronicznych wbudowanych układów i systemów sterowania w czasie rzeczywistym. W ramach badań wykorzystywany jest szereg modeli formalnych, takich jak automaty skończone i czasowe, modele grafowe, klasyczne sieci Petriego oraz szeroki wachlarz uogólnionych sieci, m.in. różnego rodzaju intepretowane sieci, sieci czasowe, kolorowane, RTCP-sieci. W zespole jest rozwijany formalny język modelowania systemów współbieżnych Alvis.

Uniwersytet w Stavanger, Wydział Nauki i Technologii

Universidade Nova de Lisboa, Wydział Nauki i Technologii

Uniwersytet Zielonogórski, Wydział Nauk Inżynieryjno-Technicznych