离散事件系统之间的等价性  

The Equivalence Relation Between Discrete Event Systems

作　　者：李桂莲[1] 

机构地区：[1]太原理工大学数学系,山西太原030024

出　　处：《华北工学院学报》2001年第5期364-365,共2页Journal of North China Institute of Technology

摘　　要：目的　研究离散事件系统之间的等价关系 .方法　以自动机为离散事件系统的模型 ,用形式语言描述系统行为 .结果　给出了确定性离散事件系统和非确定性离散事件系统之间的等价定理 .Aim: To present the equivalence relation between deterministic discrete event systems and undeterministic discrete event systems. Methods: This paper formulates a model for a class of discrete event systems in automats and uses a formal language to describe the behaviour of discrete event systems. Results: A main result is proved. Conclusion: We can easily study the control of discrete event systems by obtained result.

关 键 词：离散事件系统 自动机 控制 DES 

分 类 号：O231[理学—运筹学与控制论]