Autor:

Wojnakowski, Marcin ; Wiśniewski, Remigiusz ; Bazydło, Grzegorz ; Popławski, Mateusz

Współtwórca:

Kusy, Maciej - ed. ; Scherer, Rafał - ed. ; Krzyżak, Adam - ed.

Tytuł:

Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems

Podtytuł:

.

Tytuł publikacji grupowej:

AMCS, volume 31 (2021)

Temat i słowa kluczowe:

safeness ; control part of the cyber-physical system ; Petri nets ; state machine cover ; place invariant

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

Data wydania:

2021

Typ zasobu:

artykuł

DOI:

10.34768/amcs-2021-0045

Strony:

647-657

Źródło:

AMCS, volume 31, number 4 (2021) ; kliknij tutaj, żeby przejść

Jezyk:

eng

Licencja CC BY 4.0:

kliknij tutaj, żeby przejść

Prawa do dysponowania publikacją:

Biblioteka Uniwersytetu Zielonogórskiego