- 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
- Słowa kluczowe:
-
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:
- BazTech
Artykuł