林闯 焦莉 宋文 甄强 蒲飞 刘道斌 夏传良 王丹

可分解非对称选择网 交叉数 非对称选择网 系统设计 结构有界 活性与无死锁性的保持性 系统建模 乘积形式解

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