真虹 段振华 包长明 杜宾 倪中华 张莉娟 门鹏 乔利 邱菀华 杨怀洲 司玉娟 胡蓉 汤文成 卢岚 马东彦 包达瑞 郭? 李增智 金莹 丁峰 幸研 易红

排队Petri网 可用度 工作流 性能评估 过程重构 性能评价 敏捷制造 模型分析 组合Web服务 形式化验证 响应时间 多级维修 备件库存 托肯 马尔可夫链 限制输入缓存器 语义Web服务标记语言 质量管理 簇系数 通关 订单式制造 系统建模 小世界模型 工作流建模 业务流程再造 约简算法 约简规则 保障系统 订单式装配 流程再造