Verification of Detectability for Time Labeled Petri Net Systems with Unobservable Transitions

Tao Qin and Zhiwu Li ()
Additional contact information
Tao Qin: Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macao SAR 999078, China
Zhiwu Li: Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macao SAR 999078, China

Mathematics, 2025, vol. 13, issue 4, 1-16

Abstract: We investigate the detectability verification problem of time-dependent systems modeled by time labeled Petri nets that are a typical time-dependent model of many computer-integrated systems in modern society, characterized by networked connections. In a time labeled Petri net, the detectability proposed in this paper characterizes the current state of a time-dependent system that can be uniquely determined after a finite number of observations within a given time instant. Moreover, we further define strong and weak detectability in a time labeled Petri net system. To verify strong and weak detectability, we excogitate a label-based state class graph, which is not required to enumerate all states of a system, to compute the states for a given real-time observation. Based on the proposed label-based state class graph, an information structure called a timed state observer is formulated to verify strong and weak detectability. The proposed verification technique is advantageous and is effectively applied to an intelligent garage system, since the enumeration of all states of the time-dependent system is not required.

Keywords: discrete event system; time labeled Petri net; timed state observer; detectability (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2025
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2227-7390/13/4/563/pdf (application/pdf)
https://www.mdpi.com/2227-7390/13/4/563/ (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:13:y:2025:i:4:p:563-:d:1586656

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 ().