XU Bole, ZHANG Zhipeng, LI Liang, et al. Security analysis of bounded label Petri net based on strong current state opacity[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0592(in Chinese)
Citation:
|
XU Bole, ZHANG Zhipeng, LI Liang, et al. Security analysis of bounded label Petri net based on strong current state opacity[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0592(in Chinese)
|
XU Bole, ZHANG Zhipeng, LI Liang, et al. Security analysis of bounded label Petri net based on strong current state opacity[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0592(in Chinese)
Citation:
|
XU Bole, ZHANG Zhipeng, LI Liang, et al. Security analysis of bounded label Petri net based on strong current state opacity[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0592(in Chinese)
|
Security analysis of bounded label Petri net based on strong current state opacity
- Available Online:
17 Apr 2025