|
|||||
|
|
| 无回路规则系统的Petri网验证方法 | |
| 引用本文： | 丁志军,潘美芹,蒋昌俊,韩耀军.无回路规则系统的Petri网验证方法[J].同济大学学报(自然科学版),2007,35(2):232-238. |
| 作者姓名： | 丁志军 潘美芹 蒋昌俊 韩耀军 |
| 作者单位： | 1. 同济大学,计算机科学与工程系,上海,200092;山东科技大学,信息科学与工程学院,山东,青岛,266510 2. 山东科技大学,信息科学与工程学院,山东,青岛,266510 3. 同济大学,计算机科学与工程系,上海,200092 |
| 基金项目： | 国家重点基础研究发展计划(973计划);国家自然科学基金 |
| 摘 要： | 构建了无回路规则系统的加标ω-Petri网模型，产生了相应的可达树，利用可达状态反映规则系统所包含的所有可达关系，并记录；提出了可达状态的反向推演森林及其算法，实现规则系统命题间可达路径的显式化．在此基础上，给出了规则系统错误的判定定理及其检测算法，实现了结构错误的有效判定和分析． |
| 关 键 词： | 规则系统 Horn子句 Petri网 验证 |
| 文章编号： | 0253-374X（2007）02-0232-07 |
| 修稿时间： | 2005-06-16 |
Verifying Acyclic Rule-Based System by Petri Nets |
|
| DING Zhijun,PAN Meiqin,JIANG Changjun,HAN Yaojun.Verifying Acyclic Rule-Based System by Petri Nets[J].Journal of Tongji University(Natural Science),2007,35(2):232-238. | |
| Authors: | DING Zhijun PAN Meiqin JIANG Changjun HAN Yaojun |
| Abstract: | |
| Keywords: | rule-based system hom clause Petri net verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |