同济大学学报（自然科学版）2007，Vol.35Issue(2)：232-238,7.
无回路规则系统的Petri网验证方法
Verifying Acyclic Rule-Based System by Petri Nets
摘要
关键词
规则系统/Horn子句/Petri网/验证分类
信息技术与安全科学引用本文复制引用
丁志军,潘美芹,蒋昌俊,韩耀军..无回路规则系统的Petri网验证方法[J].同济大学学报（自然科学版）,2007,35(2):232-238,7.基金项目
国家"九七三"重点基础研究发展规划资助项目(2003CB317002) （2003CB317002）
国家自然科学基金资助项目(60534060,60473094,90612006) （60534060,60473094,90612006）
