计算机应用研究2010，Vol.27Issue(12)：4587-4590,4.DOI:10.3969/j.issn.1001-3695.2010.12.056
基于扩展Petri网的系统建模及形式化验证方法
Methodology of modeling and formal verification based on extended Petri net
摘要
关键词
形式化验证/建模/实时有色Petri网/嵌入式系统分类
信息技术与安全科学引用本文复制引用
张国印,刘铭,姚爱红,门朝光..基于扩展Petri网的系统建模及形式化验证方法[J].计算机应用研究,2010,27(12):4587-4590,4.基金项目
国家自然科学基金资助项目(60873138) （60873138）
