常常需要控制离散事件系统的行为以满足特定的规范，比如防止系统进入特定的状态，尤其是死锁状态。

Usually we should control DES's behavior to meet special specifications, like preventing the system from special states, especially deadlock.

youdao

常常需要控制离散事件系统的行为以满足特定的规范，比如防止系统进入特定的状态，尤其是死锁状态。

Usually we should control DES's behavior to meet special specifications, like preventing the system from special states, especially deadlock.

youdao