离散事件模型的代数方法及其监控理论

Algebraic Approach and Supervisory Control Theory of Discrete Event Models

有限状态机（ＦＳＭ）、Ｐｅｔｒｉ网、通信顺序进程（ＣＳＰ）和有限递归进程（ＦＲＰ）都是用来描述离散事件动态系统逻辑行为的，都可以化为一种代数形式．本文首先描述了构造离散事件模型的一般方法，然后讨论了在其上发展的监控理论．

Finite state machine (FSM), Petri net,Communicating Sequential Process(CSP) and Finitely Recursive Process(FRP) are usually considered in describing the logic behavior of discrete event dynamic systems (DEDS).All of these models can be represented by a unique algebraic formulation. This paper provides a general algebraic approach for DEDS modeling. The DEDS supervisory control theory of the model is also discussed.