文中结合布尔代数，采用移除最小项的方法，提出了解决离散事件系统监控理论中最关键的问题——计算最大能控子谓词的一种新算法。
According to Boolean algebra, removing minterms is used for a new algorithm about the supremal controllable predicate, which is the most important problem in Supervisory control of DES.
文中结合布尔代数，采用移除最小项的方法，提出了解决离散事件系统监控理论中最关键的问题——计算最大能控子谓词的一种新算法。
According to Boolean algebra, removing minterms is used for a new algorithm about the supremal controllable predicate, which is the most important problem in Supervisory control of DES.
应用推荐