夏传良 陆维明 林贵献

结构有界性 有界性 分析 共享位置 特点保持 Petri网 多项式算法 加权非对称选择网（WAC网）

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