Pages that link to "Item:Q4567184"
From MaRDI portal
The following pages link to Codiagnosability Analysis of Bounded Petri Nets (Q4567184):
Displaying 9 items.
- The complexity of diagnosability and opacity verification for Petri nets (Q1662539) (← links)
- Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications (Q1737742) (← links)
- \(K\)-diagnosability analysis of bounded and unbounded Petri nets using linear optimization (Q2103666) (← links)
- Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems (Q2115918) (← links)
- Marking diagnosability verification in labeled Petri nets (Q2665360) (← links)
- Diagnosability enforcement in labeled Petri nets using supervisory control (Q2665416) (← links)
- Diagnosis of Petri Nets (Q5496932) (← links)
- A semi-symbolic diagnoser for fault diagnosis of bounded labeled Petri nets (Q6569829) (← links)
- Masked observation for majority-based control of a democratic progress model in the framework of discrete event systems (Q6578589) (← links)