Digital Library of Zielona Góra contains 9 272 digital objects
Object
Title: Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems
Creator:
Wojnakowski, Marcin ; Wiśniewski, Remigiusz ; Bazydło, Grzegorz ; Popławski, Mateusz
Date:
Resource Type:
Contributor:
Kusy, Maciej - ed. ; Scherer, Rafał - ed. ; Krzyżak, Adam - ed.
Subtitle:
Group publication title:
Abstract:
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.
Publisher:
Zielona Góra: Uniwersytet Zielonogórski
Resource Identifier:
DOI:
Pages:
Source:
AMCS, volume 31, number 4 (2021) ; click here to follow the link
Language:
License CC BY 4.0:
Rights:
Biblioteka Uniwersytetu Zielonogórskiego
Object collections:
- Repository > Faculties > Faculty of Computer, Electrical and Control Engineering
- Repository > Types of work > Articles
- Repository > Scientific journals and UZ publishing series > International Journal of Applied Mathematics and Computer Science (AMCS) > International Journal of Applied Mathematics and Computer Science (AMCS) (2021)
Last modified:
Jul 22, 2025
In our library since:
Jul 22, 2025
Number of object content hits:
27
All available object's versions:
https://zbc.uz.zgora.pl/repozytorium/publication/101411
Show description in RDF format:
Show description in OAI-PMH format:
-
-
-
-
-
-
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 31, number 1 (2021)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 31, number 2 (2021)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 31, number 3 (2021)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 31, number 4 (2021)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
| Edition name | Date |
|---|---|
| Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems | Jul 22, 2025 |
Objects Similar
Patalas-Maliszewska, Justyna Wiśniewski, Remigiusz Zhou, MengChu Topczak, Marcin Wojnakowski, Marcin Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Clempner, Julio Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Clempner, Julio Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Gu, Tianlong Bahri, Parisa A. Cai, Guoyong Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Gu, Tianlong Dong, Rongsheng Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Li, Ben Khlif-Bouassida, Manel Toguéyni, Armand Puig, Vicenç - ed. Sauter, Dominique - ed. Aubrun, Christophe - ed. Schulte, Horst - ed.
Teren, Viktor Cortadella, Jordi Villa, Tiziano Niemiec, Marcin - ed. Dziech, Andrzej - ed. Wassermann, Jakob - ed.
Wiśniewski, Remigiusz
