钱俊彦 蔡国永 王雪松 熊凤 古天龙 徐周波 高济 曹双进 董荣胜 元昌安 张会兵 廖伟志 熊太平 黄勇

谓词公式 操作语义 赋时Petri网 时间自动机 时间Petri网 模型检验 接口 实时对象 回答集程序设计 粗糙控制 调度模型 最大流 通道 一阶混杂Petri网 粗糙集 自适应快速以太网 约束转换 符号算法 串行通信服务器 电子机构 TCTL 谓词逻辑 柔性制造系统调度 环境演算 ASP知识库 主属性区分方法测试 代数判定图（ADD） 多主体系统 调用模式语义 柔性制造系统

桂林电子工业学院计算机系 广西桂林 桂林电子工业学院计算机学院 桂林电子科技大学计算机系 桂林电子科技大学计算机与控制学院 浙江大学计算机与软件学院 西安电子科技大学电子工程学院 计算机与控制学院