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 4 items.
- Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques (Q6160740) (← 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)
