孙世新 刘军 杨义先 陆维明 于林宇 蒲飞 郑萍 赵明峰 叶剑虹 邵长明

基金会现场总线 性质 测试脚本 嵌入式软件 哲学家就餐问题 运算 效率 通用嵌入式软件测试环境 化简 语言递归性 共享合成 结构混惑 最大无圈子网 通信协议 混惑 并发语言 工作流网 空标识可再生 良径 算法 检测 Petri网 路径并发合成 仿真建模 产品开发 逻辑代数 活性 活性单调性 非对称选择网（AC网） 延迟Petri网

西华大学数学与计算机学院 电子科技大学计算机科学与工程学院 四川成都 中国科学院数学与系统科学研究院数学研究所... 华侨大学计算机科学与技术学院 四川工业学院电子信息及电气工程系 西华大学计算机科学与工程系 北京邮电大学灾备技术国家工程实验室