刘秀婷 李鹤松 焦莉 徐进 陆维明 张光卫 康建初

接口 活性和有界性 社区 系统建模 可回复性 完全等价 嵌入式系统 Petri 网

山东济南 山东建筑大学计算机学院 山东建筑大学计算机科学与技术学院 山东建筑工程学院计算机科学与技术系 山东建筑工程学院计算机科学与技术系济南 中国科学院数学与系统科学研究院计算机科学... 计算机科学重点实验室（中国科学院软件研究... 北京航空航天大学软件开发环境国家重点实验...