Back to Search
Start Over
Initial verification of liveness property in the control part of cyber-physical systems modelled by Petri nets.
- Source :
-
AIP Conference Proceedings . 2024, Vol. 3030 Issue 1, p1-4. 4p. - Publication Year :
- 2024
-
Abstract
- A novel liveness verification method of systems specified by Petri nets is proposed. The idea utilizes the initial analysis of the Petri net structure in order to detect unique sequences that influence the liveness property. Although the technique is mainly intended for cyber-physical systems, it is applicable to other Petri net-based designs, including control systems. The presented method was verified empirically with 242 benchmarks, including real-life cyber-physical systems. [ABSTRACT FROM AUTHOR]
- Subjects :
- *PETRI nets
*CYBER physical systems
Subjects
Details
- Language :
- English
- ISSN :
- 0094243X
- Volume :
- 3030
- Issue :
- 1
- Database :
- Academic Search Index
- Journal :
- AIP Conference Proceedings
- Publication Type :
- Conference
- Accession number :
- 176035892
- Full Text :
- https://doi.org/10.1063/5.0193339