梁永全 刘汉武 段华 司晋新 曹存根 眭跃飞 田国刚 吴哲辉

Petri网 特征可达树 本体 协议验证 知识系统 知识表示 基本进程段 同步交

山东泰安 山东青岛 上海交通大学应用数学系 中国科学院计算技术研究所 山东科技大学计算机科学与技术系 山东科技大学信息科学与工程学院 北京100080中国科学院研究生院 中国科学院计算技术研究所智能信息处理重点...