Pages that link to "Item:Q2197590"

The following pages link to On detectability of labeled Petri nets and finite automata (Q2197590):

Displaying 3 items.

• Analysis of strong and strong periodic detectability of bounded labeled Petri nets (Q2060875) (← links)
• Detectability of labeled weighted automata over monoids (Q2081085) (← links)
• Strong current-state and initial-state opacity of discrete-event systems (Q2682301) (← links)