一种基于λ-freePetri网的离散事件系统可诊断性验证方法

  • 打印
  • 收藏
收藏成功


打开文本图片集

中图分类号:TP11 文献标志码:A 文章编号:1000-1565(2025)06-0582-08

A verification method for the diagnosability of discrete event systems based on λ-free Petri nets

MA(剩余13684字)

monitor
客服机器人