Back to Search
Start Over
Bounded and place invariant-covered Petri nets for cyber-physical systems specification.
- 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]
- Subjects :
- *CYBER physical systems
*PETRI nets
Subjects
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