| Autor: |
Wojnakowski Marcin, Wiśniewski Remigiusz, Bazydło Grzegorz, Popławski Mateusz |
| Jazyk: |
angličtina |
| Rok vydání: |
2021 |
| Předmět: |
|
| Zdroj: |
International Journal of Applied Mathematics and Computer Science, Vol 31, Iss 4, Pp 647-657 (2021) |
| Druh dokumentu: |
article |
| ISSN: |
2083-8492 |
| DOI: |
10.34768/amcs-2021-0045 |
| Popis: |
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. |
| Databáze: |
Directory of Open Access Journals |
| Externí odkaz: |
|
