- 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 - Powiązania:
- https://bibliotekanauki.pl/articles/2055147.pdf
- 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 - Opis:
- The paper proposes an algorithm for safeness verification of a Petri net-based specification of the control part of cyber-physical systems. The method involves a linear algebra technique and is based on the computation of the state machine cover of a Petri net. Contrary to the well-known methods, the presented idea does not require obtaining all sequential components, nor the computation of all reachable states in the system. The efficiency and effectiveness of the proposed method have been verified experimentally with a set of 243 test modules (Petri net-based systems). The results of experiments show high efficiency of the proposed method since a solution has been found even for such nets where popular techniques are not able to analyze the safeness of the system. Finally, the presented algorithm is explained in detail using a real-life case-study example of the control part of a cyber-physical system.
- Źródło:
-
International Journal of Applied Mathematics and Computer Science; 2021, 31, 4; 647--657
1641-876X
2083-8492 - Pojawia się w:
- International Journal of Applied Mathematics and Computer Science
- Dostawca treści:
- Biblioteka Nauki
Artykuł