翟正利 王培良 孙永强 赵茂先 董逸生 徐颖蕾 张继军 蒋昌俊 曾庆田 方欢 贾广余 施建娟 刘关俊 宁华 宋爱波 于汪洋 李行 张广胜 许安国 崔先国 王丽丽 韩莹洁 毛定山 马炳先 崔焕庆 岳昊 王鹏伟 蒋树强 范昊

MPINet 多媒体系统 算法 T-图 伪可重复向量 重复标识 受控可重复向量 同步距离 形式化方法 可重复向量 公平网 多主体 同步合成 同步交 多主体系统 交通信号 结构有界 基本进程段 广义公平关系 时延 Petri 网 源库所 协议描述语言 MPI Petri网语言 公平性 语言 动态性质 形式化分析 有效算法 冲突

山东矿业学院应用数学与软件工程系 山东科技大学计算机科学与技术系 上海交通大学计算机系 山东科技大学计算机系 中国科学院计算技术研究所智能信息处理开放... 山东科技大学信息科学与工程系 山东泰安 中国科学院研究生院