同济大学学报（自然科学版）
同濟大學學報（自然科學版）
동제대학학보（자연과학판）
JOURNAL OF TONGJI UNIVERSITY(NATURAL SCIENCE)
2007年
2期
232-238
,共7页
丁志军%潘美芹%蒋昌俊%韩耀军
丁誌軍%潘美芹%蔣昌俊%韓耀軍
정지군%반미근%장창준%한요군
规则系统%Horn子句%Petri网%验证
規則繫統%Horn子句%Petri網%驗證
규칙계통%Horn자구%Petri망%험증
构建了无回路规则系统的加标ω-Petri网模型,产生了相应的可达树,利用可达状态反映规则系统所包含的所有可达关系,并记录;提出了可达状态的反向推演森林及其算法,实现规则系统命题间可达路径的显式化.在此基础上,给出了规则系统错误的判定定理及其检测算法,实现了结构错误的有效判定和分析.
構建瞭無迴路規則繫統的加標ω-Petri網模型,產生瞭相應的可達樹,利用可達狀態反映規則繫統所包含的所有可達關繫,併記錄;提齣瞭可達狀態的反嚮推縯森林及其算法,實現規則繫統命題間可達路徑的顯式化.在此基礎上,給齣瞭規則繫統錯誤的判定定理及其檢測算法,實現瞭結構錯誤的有效判定和分析.
구건료무회로규칙계통적가표ω-Petri망모형,산생료상응적가체수,이용가체상태반영규칙계통소포함적소유가체관계,병기록;제출료가체상태적반향추연삼림급기산법,실현규칙계통명제간가체로경적현식화.재차기출상,급출료규칙계통착오적판정정리급기검측산법,실현료결구착오적유효판정화분석.
