Pages that link to "Item:Q1784050"
From MaRDI portal
The following pages link to On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets (Q1784050):
Displaying 10 items.
- Diagnosability analysis of patterns on bounded labeled prioritized Petri nets (Q513189) (← links)
- The complexity of diagnosability and opacity verification for Petri nets (Q1662539) (← 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)
- On‐the‐Fly and Incremental Technique for Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets (Q4597527) (← links)
- Hierarchical Model for Testing a Distributed Computer System (Q5053712) (← links)
- Corrections to “On the Decidability and Complexity of Diagnosability for Labeled Petri Nets” [Nov 17 5931-5938] (Q5223685) (← links)
- A semi-symbolic diagnoser for fault diagnosis of bounded labeled Petri nets (Q6569829) (← links)