史海波 谢楠 钱彦岭 陈宗基 袁杰 林琳 刘昶 葛运建 陈翔 温熙森 徐立云 蒋昌俊 邱静 秦旭东 李爱平 卢光松 张为舟 胡金柱 袁志祥 王小平

工作流 马尔可夫链 性能分析 供应链管理 区间线性方程 QoS约束 消防信息系统 流体随机Petri网 测试性设计 马尔科夫链 行为表达式 非相似余度 可重组制造单元 任务调度 状态空间爆炸 交通信息系统 非马尔科夫随机Petri网 可靠性 电子地图 随机故障 维修 网格计算 制造过程建模 建模 混合Petri网