Pages that link to "Item:Q2081818"
From MaRDI portal
The following pages link to Online verification of \(K\)-step opacity by Petri nets in centralized and decentralized structures (Q2081818):
Displaying 5 items.
- On-line verification of current-state opacity by Petri nets and integer linear programming (Q1797108) (← links)
- Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets (Q2125506) (← links)
- Quantifying opacity of discrete event systems modeled with probabilistic Petri nets (Q6539394) (← links)
- Identification of labeled Petri nets from finite automata (Q6544578) (← links)
- Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems (Q6645045) (← links)