CSpace
推理维护系统的Petri网模型
林闯1; 陆维明2
1994
Source Publication软件学报
ISSN1000-9825
Volume005Issue:011Pages:23
Abstract本文为推理维护系统引入一种Petri网模型并对有限非单调理论应用Petri网分析方法。本文提议的模型不但能描述推理维护系统,而且可用网论与网技术分析推理维护,对于一组给定的非单调规则我们给出一个算法可求得其外延,我们还给出一个算法可发现系统的一不致性,我们提出的寻找外延的算法要比现有的重构过程更有效,且它是可判定的。
Language英语
Document Type期刊论文
Identifierhttp://ir.amss.ac.cn/handle/2S8OKBNM/50010
Collection中国科学院数学与系统科学研究院
Affiliation1.国家信息中心
2.中国科学院数学与系统科学研究院
Recommended Citation
GB/T 7714
林闯,陆维明. 推理维护系统的Petri网模型[J]. 软件学报,1994,005(011):23.
APA 林闯,&陆维明.(1994).推理维护系统的Petri网模型.软件学报,005(011),23.
MLA 林闯,et al."推理维护系统的Petri网模型".软件学报 005.011(1994):23.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[林闯]'s Articles
[陆维明]'s Articles
Baidu academic
Similar articles in Baidu academic
[林闯]'s Articles
[陆维明]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[林闯]'s Articles
[陆维明]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.