无回路规则系统的Petri网验证方法

• 作者: 丁志军 潘美芹 蒋昌俊 韩耀军
• 来源期刊: 同济大学学报（自然科学版）
• 学科: 工学
• 关键词: 规则系统 Horn子句 Petri网 验证
• 年，卷（期）: 2007,（2）
• 所属期刊栏目: 计算机与信息工程
• 页码范围: 232-238
• 页数: 7页
• 分类号: TP182
• 字数: 7633字
• 语种: 中文
• DOI: 10.3321/j.issn:0253-374X.2007.02.018

摘要

构建了无回路规则系统的加标ω-Petri网模型,产生了相应的可达树,利用可达状态反映规则系统所包含的所有可达关系,并记录;提出了可达状态的反向推演森林及其算法,实现规则系统命题间可达路径的显式化.在此基础上,给出了规则系统错误的判定定理及其检测算法,实现了结构错误的有效判定和分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋昌俊	同济大学计算机科学与工程系	93	1492	18.0	36.0
2	韩耀军	同济大学计算机科学与工程系	8	67	5.0	8.0
3	丁志军	同济大学计算机科学与工程系	37	329	8.0	17.0
7	潘美芹	山东科技大学信息科学与工程学院	11	31	3.0	5.0