林闯 焦莉 宋文 甄强 蒲飞 刘道斌 夏传良 王丹 蒋昌俊 徐静 林贵献 杨元生 孙艳春

可分解非对称选择网 交叉数 非对称选择网 系统设计 结构有界 活性与无死锁性的保持性 系统建模 乘积形式解 安全性 分布式系统 并发系统 共享位置 系统性能评估 随机Petri网 活性 算法 子网 家态 近似求解 分析 综合 多项式算法 良径 活性和有界性 活性单调性 有界性 语言递归性 正确性 同步路径 DNA计算

中国科学院数学与系统科学研究院 中国科学院数学与系统科学研究院数学研究所 中国科学院数学与系统研究院数学研究所 中国科学院数学与系统科学研究院计算机科学... 数学与系统科学研究院 国家信息中心信息科学与应用研究所 中国科学院软件研究所计算机科学重点实验室 大连理工大学计算机科学与工程系