Back to Search Start Over

Bounded and place invariant-covered Petri nets for cyber-physical systems specification.

Authors :
Wojnakowski, Marcin
Wiśniewski, Remigiusz
Popławski, Mateusz
Source :
AIP Conference Proceedings. 2024, Vol. 3030 Issue 1, p1-4. 4p.
Publication Year :
2024

Abstract

In the paper bounded and place invariant-covered Petri nets are considered for the specification of concurrent control systems, especially the control part of cyber-physical systems (CPSs). Although these terms are closely related, verification of the system usually refers to the examination of the boundedness. In this work it is shown that such an analysis might be in some cases insufficient, and additional place invariant-cover is also required. A CPS specified by a bounded, but uncovered Petri net may lead to the improper functionality of the system. The discussed issues are illustrated by a case-study example. [ABSTRACT FROM AUTHOR]

Details

Language :
English
ISSN :
0094243X
Volume :
3030
Issue :
1
Database :
Academic Search Index
Journal :
AIP Conference Proceedings
Publication Type :
Conference
Accession number :
176035891
Full Text :
https://doi.org/10.1063/5.0193168