Pages that link to "Item:Q1937479"
From MaRDI portal
The following pages link to On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming (Q1937479):
Displaying 6 items.
- Diagnosability of Petri nets with observation graphs (Q312654) (← links)
- Diagnosability analysis of patterns on bounded labeled prioritized Petri nets (Q513189) (← links)
- On-line fault detection in discrete event systems by Petri nets and integer linear programming (Q1049168) (← links)
- On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets (Q1784050) (← links)
- Counter approach for the estimation of optimal sequences in partially observable untimed Petri nets (Q2063093) (← links)
- Fault-prognosability, \(K\)-step prognosis and \(K\)-step predictive diagnosis in partially observed Petri nets by means of algebraic techniques (Q6491085) (← links)
