计算机工程与应用2006，Vol.42Issue(23)：52-57,6.
基于CTL和Petri网的约束一致性验证方法研究
Research on Constraint Consistency Based on CTL and Petri Net
摘要
关键词
CTL/Petri Net/约束/一致性分类
信息技术与安全科学引用本文复制引用
张斌,罗贵明..基于CTL和Petri网的约束一致性验证方法研究[J].计算机工程与应用,2006,42(23):52-57,6.基金项目
国家自然科学基金资助项目(编号:NSFC:60474026) （编号:NSFC:60474026）
清华大学基础基金资助项目 （）
