Pages that link to "Item:Q2197590"
From MaRDI portal
The following pages link to On detectability of labeled Petri nets and finite automata (Q2197590):
Displaying 10 items.
- Deciding detectability for labeled Petri nets (Q1737932) (← links)
- Verification of C-detectability using Petri nets (Q2023240) (← links)
- Analysis of strong and strong periodic detectability of bounded labeled Petri nets (Q2060875) (← links)
- Detectability of labeled weighted automata over monoids (Q2081085) (← links)
- The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete (Q2409237) (← links)
- Strong current-state and initial-state opacity of discrete-event systems (Q2682301) (← links)
- (Q4528870) (← links)
- A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems (Q5158671) (← links)
- Critical Observability for Automata and Petri Nets (Q5211340) (← links)
- On the verification of detectability for timed discrete event systems (Q6550243) (← links)