Marking Estimation in a Class of Time Labeled Petri Nets
Sign Up to like & getrecommendations! Published in 2020 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2019.2907413
Abstract: This paper proposes an efficient marking estimation method for a subclass of time labeled Petri nets (TLPNs), in which each transition is associated with an infinite upper bound delay. The unobservable subnet of the considered… read more here.
Keywords: time labeled; petri nets; labeled petri; estimation ... See more keywords
Verification of Detectability for Time Labeled Petri Net Systems with Unobservable Transitions
Sign Up to like & getrecommendations! Published in 2025 at "Mathematics"
DOI: 10.3390/math13040563
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… read more here.
Keywords: time; petri net; verification; labeled petri ... See more keywords