- Tytuł:
- Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems
- Autorzy:
-
Wojnakowski, Marcin
Wiśniewski, Remigiusz
Bazydło, Grzegorz
Popławski, Mateusz - Data publikacji:
- 2021
- Wydawca:
- Uniwersytet Zielonogórski. Oficyna Wydawnicza
- Tematy:
-
safeness
control part
cyber physical system
Petri net
state machine cover
place invariant
bezpieczeństwo baz danych
część kontrolna
system cyberfizyczny
sieć Petriego
maszyna stanów
niezmiennik miejsca - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł