最优定向监控器相关硕士博士期刊学术论文

离散事件系统的监控器通过禁止可控事件使系统满足安全性和活性规范。然而,监控器并不对允许发生的可控事件主动进行选择,所以存在......