Pages that link to "Item:Q1662539"
From MaRDI portal
The following pages link to The complexity of diagnosability and opacity verification for Petri nets (Q1662539):
Displaying 7 items.
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems (Q1737732) (← links)
- Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems (Q2348371) (← links)
- Verification of opacity and diagnosability for pushdown systems (Q2375627) (← links)
- A general language-based framework for specifying and verifying notions of opacity (Q2673762) (← links)
- The Complexity of Diagnosability and Opacity Verification for Petri Nets (Q4686521) (← links)
- (Q5090956) (← links)
- Corrections to “On the Decidability and Complexity of Diagnosability for Labeled Petri Nets” [Nov 17 5931-5938] (Q5223685) (← links)