Pages that link to "Item:Q6160740"
From MaRDI portal
The following pages link to Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques (Q6160740):
Displaying 6 items.
- On-line verification of current-state opacity by Petri nets and integer linear programming (Q1797108) (← links)
- Optimization-based assessment of initial-state opacity in Petri nets (Q2089626) (← links)
- An optimization-based approach to assess non-interference in labeled and bounded Petri net systems (Q2123401) (← links)
- Decidability of opacity verification problems in labeled Petri net systems (Q2407162) (← links)
- Fault-prognosability, \(K\)-step prognosis and \(K\)-step predictive diagnosis in partially observed Petri nets by means of algebraic techniques (Q6491085) (← links)
- Corrigendum to: ``Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques'' (Q6659247) (← links)