###
DOI:
Journal of Software:1994.5(11):23-30

推理维护系统的Petri网模型
林闯,陆维明
(国家信息中心信息科学与应用研究所,北京 100045;中国科学院数学研究所,北京 100080)
A REASON MAINTENANCE SYSTEM MODEL USING PETRI NETS
Lin Chuang,Lu Weiming
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2192   Download 2449
Received:April 11, 1992    Revised:August 12, 1992
> 中文摘要: 本文为推理维护系统引入一种Petri网模型并对有限非单调理论应用Petri例分析方法.本文提议的模型不但能描述推理维护系统,而且可用网论与网技术分析推理维护.对于一组给定的非单调规则我们给出一个算法可求得其外延,我们还给出一个算法可发现系统的不一致性.我们提出的寻找外延的算法要比现有的重构过程更有效,且它是可判定的.
Abstract:This paper introduces a Petri net model for a reason maintenance system and applies Petri net analysis methods to a finite nonmonotonic theory.The model proposed in this paper can not only specify the reason maintenance system, but also analyse the system based upon the net theory and techniques.It is important that the authors derive an algorithm to find the extensions for a given set of nonmonotonic rules and an algorithm to find out inconsistency in a system.Their algorithm to find extensions is considered to be more efficient than the existing reconstruction procedure, and it is decidable.
文章编号:     中图分类号:    文献标志码:
基金项目:国家自然科学基金,中国科学院管理、决策、信息系统开放实验室(MADIS)开放基金 国家自然科学基金,中国科学院管理、决策、信息系统开放实验室(MADIS)开放基金
Foundation items:
Reference text:

林闯,陆维明.推理维护系统的Petri网模型.软件学报,1994,5(11):23-30

Lin Chuang,Lu Weiming.A REASON MAINTENANCE SYSTEM MODEL USING PETRI NETS.Journal of Software,1994,5(11):23-30