离散事件系统规范（DEvs）是建模与仿真团体普遍接受的模型形式化标准，能够很好地处理概念层的问题。
基于35个网页-相关网页
对离散事件系统规范(Discrete EVent System specification,DEVS)的研究表明,DEVS可以等价描述其他连续和离散的形式化方法。
基于4个网页-相关网页
基于离散事件系统规范 Discrete Event system specification ; DEVS
离散事件系统描述规范 Discrete Event System Specification ; DEVS
离散事件系统规范
Discrete event system specification
以上为机器翻译结果，长、整句建议使用 人工翻译 。
常常需要控制离散事件系统的行为以满足特定的规范，比如防止系统进入特定的状态，尤其是死锁状态。
Usually we should control DES's behavior to meet special specifications, like preventing the system from special states, especially deadlock.
youdao
应用推荐
模块上移
模块下移
不移动