Repozytorium Uniwersytetu Zielonogórskiego udostępnia 9 387 obiektów cyfrowych
Obiekt
Tytuł: 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) ; kliknij tutaj, żeby przejść
Language:
License CC BY 4.0:
Rights:
Biblioteka Uniwersytetu Zielonogórskiego
Kolekcje, do których przypisany jest obiekt:
- 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)
Data ostatniej modyfikacji:
22 lip 2025
Data dodania obiektu:
22 lip 2025
Liczba wyświetleń treści obiektu:
67
Wszystkie dostępne wersje tego obiektu:
https://zbc.uz.zgora.pl/repozytorium/publication/101411
Wyświetl opis w formacie RDF:
Wyświetl opis w formacie OAI-PMH:
-
-
-
-
-
-
-
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)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
| Nazwa wydania | Data |
|---|---|
| Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems | 22 lip 2025 |
Obiekty Podobne
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
