Lv41
780 积分 2024-03-30 加入
Current-State Opacity Verification in Petri Nets Using Fusion-Based Opacity Analysis and Graph Isomorphism Networks
2小时前
已完结
Language-based opacity in modular discrete event systems: Compositional secret-based verification using labeled petri nets
5个月前
已完结
Initial-state-opacity assessment in timed discrete event systems via optimization techniques
5个月前
已完结
Supervisor Design of Unbounded Petri Nets for Discrete Event Systems
1年前
已完结
Engineering efficiency unleashed: minimum initial marking estimation in labeled Petri nets through a cutting-edge hybrid evolutionary heuristic
1年前
已完结
皖公网安备34019202002308
