当前位置:
X-MOL 学术
›
IEEE Trans. Autom. Control
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Non-Interference Analysis of Bounded Petri Nets Using Basis Reachability Graph
IEEE Transactions on Automatic Control ( IF 6.8 ) Pub Date : 2024-05-07 , DOI: 10.1109/tac.2024.3397695 Ning Ran 1 , Jingyao Nie 1 , Aiwen Meng 1 , Carla Seatzu 2
中文翻译:
基于基可达图的有界Petri网无干扰分析
更新日期:2024-05-07
IEEE Transactions on Automatic Control ( IF 6.8 ) Pub Date : 2024-05-07 , DOI: 10.1109/tac.2024.3397695 Ning Ran 1 , Jingyao Nie 1 , Aiwen Meng 1 , Carla Seatzu 2
Affiliation
中文翻译:
基于基可达图的有界Petri网无干扰分析