林闯 王海洋 李人厚 门鹏 范玉顺 车万方 于庚 尹浩 李菲 段振华 何秀霞 隋瑞升 龚科 陈长喜 朱连章 田涛 杜玉强 田锋 王志强 孔莹莹 伍先扬 郝扬 刘烦 王明哲 秦明 王焱 郭立红 王宏刚 胡涛 李喜彤

P2P 正确性验证 CPNTool 系统效能分析 计算机仿真DesignCPN 业务冲突 发布事件 建模 车站调度 形式化验证 扩展自由选择 性能分析 可达树 服务组合 Web服务组合 合理性 时序逻辑 交互协议 CPN 模型检测 矩阵定义 CPN Tools 协议分析 随机分布 着色跨组织工作流 仿真 形式化描述 维修策略 端系统 发布订阅系统