Pages that link to "Item:Q1737932"

The following pages link to Deciding detectability for labeled Petri nets (Q1737932):

Displaying 7 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)
• On detectability of labeled Petri nets and finite automata (Q2197590) (← links)
• An improved approach for verifying delayed detectability of discrete-event systems (Q2663854) (← links)
• Initial-state detectability and initial-state opacity of unambiguous weighted automata (Q2664211) (← links)