当前位置: 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
Affiliation  



中文翻译:

基于基可达图的有界Petri网无干扰分析

更新日期:2024-05-07
down
wechat
bug