夏传良 陆维明 林贵献

结构有界性 有界性 分析 共享位置 特点保持 Petri网 多项式算法 加权非对称选择网（WAC网） 弱化非自控网 活性单调性 设计 精细化操作 合成 非对称选择网 结构有界 系统设计 扩展非自控网 综合 子网 结构活性 结构活 活性 扩展强化非对称选择网（ESAC网） 多项式时间 活性和有界性

中国科学院数学与系统研究院数学研究所 中国科学院数学与系统科学研究院数学研究所 中国科学院数学与系统科学研究院计算机科学... 中国科学院数学研究所 中国科学院软件研究所计算机科学重点实验室 中国科学院数学与系统科学研究院 山东建筑大学计算机科学与技术学院 计算机科学重点实验室（中国科学院软件研究...