%0 Journal Article
%T A REASON MAINTENANCE SYSTEM MODEL USING PETRI NETS<br>推理维护系统的Petri网模型
%A Lin Chuang
%A Lu Weiming
%A <br>林闯
%A 陆维明
%J 软件学报
%D 1994
%I 
%X 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.
%K Petri nets
%K reason maintenance systems
%K nonmonotonic inference
%K logical extensions
%K consistency maintenance<br>Petri网，推理维护系统，非单调推理，逻辑外延，一致性维护
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=7BABBB76EB11C17F6A67DB42CDA8DC3D&yid=3EBE383EEA0A6494&vid=94C357A881DFC066&iid=708DD6B15D2464E8&sid=EA389574707BDED3&eid=340AC2BF8E7AB4FD&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=9