| Prelegent: | mgr inż. Mateusz Popławski, Instytut Sterowania i Systemów Informatycznych, Uniwersytet Zielonogórski, uczestnik Szkoły Doktorskiej Nauk Ścisłych i Technicznych Uniwersytetu Zielonogórskiego, e-mail: M.Poplawski@issi.uz.zgora.pl. |
| Temat: | Analiza żywotności części sterującej systemu cyber-fizycznego specyfikowanej z zastosowaniem sieci Petriego |
| Streszczenie: | W wystąpieniu zaprezentowana zostanie autorska metoda weryfikacji żywotności części sterującej systemów cyber-fizycznych modelowanych przy pomocy sieci Petriego. Po krótkim wprowadzeniu teoretycznym dot. wybranych zagadnień z teorii sieci Petriego, przestawione zostaną wyniki przeglądu istniejących technik weryfikacji żywotności, a także metod analizujących inne właściwości sieci (np. ograniczoność), ale powiązanych z analizą żywotności. W szczególności, zaprezentowana zostanie metoda referencyjna, do której porównano autorskie rozwiązanie. Przedstawione zostaną też wyniki badań eksperymentalnych potwierdzające efektywność oraz skuteczność proponowanej metody. Na koniec zostaną zaprezentowane wybrane przykłady w celu uwidocznienia zalet oraz wad proponowanego rozwiązania. |
