Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems - 12th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2021 Access content directly
Conference Papers Year : 2021

Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems

Abstract

A method of analysis of a control part of the cyber-physical system described by a Petri net is presented in the paper. In particular, boundedness of the system is examined. Contrary to other well-known techniques, the proposed idea does not require obtaining of all place invariants, nor computation of all reachable states in the net. Therefore, it is possible to check the boundedness of a net in a more effective and efficient way, compared to the traditional, well-known methods. Furthermore, the proposed algorithm has been examined experimentally with a set of 243 benchmarks (Petri nets). The research results show the high efficiency of the proposed method, since a solution was found even for such nets where popular techniques were not able to analyse boundedness of the system. Finally, the presented idea is illustrated by a case-study real-life example.
Fichier principal
Vignette du fichier
512066_1_En_8_Chapter.pdf (323.83 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03685916 , version 1 (02-06-2022)

Licence

Attribution

Identifiers

Cite

Marcin Wojnakowski, Remigiusz Wiśniewski. Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems. 12th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Jul 2021, Costa de Caparica, Portugal. pp.83-91, ⟨10.1007/978-3-030-78288-7_8⟩. ⟨hal-03685916⟩
13 View
13 Download

Altmetric

Share

Gmail Facebook X LinkedIn More