Pages that link to "Item:Q2023240"
From MaRDI portal
The following pages link to Verification of C-detectability using Petri nets (Q2023240):
Displaying 6 items.
- Deciding detectability for labeled Petri nets (Q1737932) (← links)
- Analysis of strong and strong periodic detectability of bounded labeled Petri nets (Q2060875) (← links)
- Detectability of labeled weighted automata over monoids (Q2081085) (← links)
- On detectability of labeled Petri nets and finite automata (Q2197590) (← links)
- Verification of causal models using petri nets (Q4034400) (← links)
- Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets (Q6564945) (← links)