Detectability in Discrete Event Systems Using Unbounded Petri Nets

Haoming Zhu, Gaiyun Liu (), Zhenhua Yu and Zhiwu Li
Additional contact information
Haoming Zhu: Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macao SAR 999078, China
Gaiyun Liu: School of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, China
Zhenhua Yu: School of Computer Science and Technology, Xi’an University of Science and Technology, Xi’an 710054, China
Zhiwu Li: Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macao SAR 999078, China

Mathematics, 2023, vol. 11, issue 18, 1-28

Abstract: This paper investigated the verification of detectability for discrete event systems based on a class of partially observed unbounded Petri nets. In an unbounded net system, all transitions and partial places are assumed to be unobservable. The system administrator can only observe a few observable places, i.e., the number of tokens at these places can be observed, allowing for the estimation of current and subsequent states. The concepts of quasi-observable transitions, truly unobservable transitions, and partial markings are used to construct a basis coverability graph. According to this graph, four sufficient and necessary conditions of detectability are proposed. Correspondingly, a specific example is proposed to prove that the detectability can be verified in the unbounded net system. Furthermore, based on the conclusion of detectability, the system’s ability to detect critical states was explored by using the basis coverability graph, called C-detectability. Two real-world examples are proposed to show that the detectability of discrete event systems has not only pioneered new research methods, but also demonstrated that the real conditions faced by this method are more general, and it has overcome the limitations of relying only on the ideal conditions of bounded systems for verification.

Keywords: detectability; discrete event system; Petri net; state estimation (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2023
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (3)

Downloads: (external link)
https://www.mdpi.com/2227-7390/11/18/3862/pdf (application/pdf)
https://www.mdpi.com/2227-7390/11/18/3862/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:11:y:2023:i:18:p:3862-:d:1236743

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().