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

The Equivalence Relation Between Discrete Event Systems

目的 研究离散事件系统之间的等价关系 .方法 以自动机为离散事件系统的模型 ,用形式语言描述系统行为 .结果 给出了确定性离散事件系统和非确定性离散事件系统之间的等价定理 .

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.