机译:dev-proMela:用于模拟,模拟和离散事件系统的建模,仿真和验证的PROMELA的扩展
机译:基于SimEvents的行业店铺制造系统的离散事件仿真建模与性能分析
机译:使用DEVS进行基于活动的模拟:通过并行DEVS模拟中的活动模型提高性能
机译:模糊离散事件系统建模与模糊控制语言和DEVS形式主义
机译:通过控制理论和离散事件模拟的双重模型分析生产库存系统。
机译:基于DEVS和DEUS的片上网络系统的建模和仿真
机译:使用离散事件仿真对供应链系统进行建模,仿真和分析。