梁永全 刘汉武 段华 司晋新 曹存根 眭跃飞 田国刚 吴哲辉 刘志海 万丽荣 范昊 曾庆良 孙瑜 祝军 吕鲲

Petri网 特征可达树 本体 协议验证 知识系统 知识表示 基本进程段 同步交 状态保性 语言 进程 本体工程 最佳状态线 库所指标 递归定义 性质分析 语言保性 原子本体 形式化分析 Petri网语言 描述逻辑 合成 受控可重复向量 工作流 可达图 T-图 进程表达式 进程段 框架 知识验证

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