Lv4
780 积分 2024-03-30 加入
Language-based opacity in modular discrete event systems: Compositional secret-based verification using labeled petri nets
27天前
已完结
Initial-state-opacity assessment in timed discrete event systems via optimization techniques
27天前
已完结
Supervisor Design of Unbounded Petri Nets for Discrete Event Systems
8个月前
已完结
Engineering efficiency unleashed: minimum initial marking estimation in labeled Petri nets through a cutting-edge hybrid evolutionary heuristic
8个月前
已完结
皖公网安备34019202002308
