Zielonogórska Biblioteka Cyfrowa udostępnia 63 052 obiektów cyfrowych
Obiekt
Tytuł: Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems
Autor:
Wojnakowski, Marcin ; Wiśniewski, Remigiusz ; Bazydło, Grzegorz ; Popławski, Mateusz
Data wydania:
Typ zasobu:
Współtwórca:
Kusy, Maciej - ed. ; Scherer, Rafał - ed. ; Krzyżak, Adam - ed.
Podtytuł:
Tytuł publikacji grupowej:
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.
Wydawca:
Zielona Góra: Uniwersytet Zielonogórski
Identyfikator zasobu:
DOI:
Strony:
Źródło:
AMCS, volume 31, number 4 (2021) ; kliknij tutaj, żeby przejść
Jezyk:
Licencja CC BY 4.0:
Prawa do dysponowania publikacją:
Biblioteka Uniwersytetu Zielonogórskiego
Kolekcje, do których przypisany jest obiekt:
- Zielonogórska Biblioteka Cyfrowa > Repozytorium > Jednostki organizacyjne > Wydział Informatyki, Elektrotechniki i Automatyki
- Zielonogórska Biblioteka Cyfrowa > Repozytorium > Typy utworów > Artykuły
- Zielonogórska Biblioteka Cyfrowa > Repozytorium > Czasopisma naukowe i serie wydawnicze UZ > 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:
26
Wszystkie dostępne wersje tego obiektu:
https://zbc.uz.zgora.pl/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
