Pages that link to "Item:Q2125506"
From MaRDI portal
The following pages link to Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets (Q2125506):
Displaying 13 items.
- On-line verification of current-state opacity by Petri nets and integer linear programming (Q1797108) (← links)
- Current-state opacity modelling and verification in partially observed Petri nets (Q1987252) (← links)
- Online verification of \(K\)-step opacity by Petri nets in centralized and decentralized structures (Q2081818) (← links)
- Optimization-based assessment of initial-state opacity in Petri nets (Q2089626) (← links)
- Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers'' (Q2208612) (← links)
- Decidability of opacity verification problems in labeled Petri net systems (Q2407162) (← links)
- A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers (Q2407182) (← links)
- Modelling opacity using Petri nets (Q2849576) (← links)
- Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques (Q6160740) (← links)
- Verifying weak and strong \(k\)-step opacity in discrete-event systems (Q6165326) (← links)
- Quantifying opacity of discrete event systems modeled with probabilistic Petri nets (Q6539394) (← links)
- Infinite- and \(K\)-step opacity verification of discrete-event systems under nondeterministic observations (Q6594952) (← links)
- Path detectability verification for time-dependent systems with application to flexible manufacturing systems (Q6658942) (← links)