Research on regularized logic description in discrete event control systems

• 离散事件控制系统规则化描述方法的研究