Pages that link to "Item:Q4566964"
From MaRDI portal
The following pages link to On the Decidability and Complexity of Diagnosability for Labeled Petri Nets (Q4566964):
Displayed 8 items.
- Trajectory detectability of discrete-event systems (Q1729041) (← links)
- Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications (Q1737742) (← links)
- Deciding detectability for labeled Petri nets (Q1737932) (← links)
- \(K\)-diagnosability analysis of bounded and unbounded Petri nets using linear optimization (Q2103666) (← links)
- On detectability of labeled Petri nets and finite automata (Q2197590) (← links)
- Diagnosability enforcement in labeled Petri nets using supervisory control (Q2665416) (← links)
- A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems (Q5158671) (← links)
- Diagnosability of fault patterns with labeled stochastic Petri nets (Q6190046) (← links)