基于Petri网的一致性检验的计算机实现

• 作者: 丁彩红 李恩光
• 来源期刊: 机械强度
• 关键词: Petri网 建模 一致性检验
• 年，卷（期）: 2001,（3）
• 所属期刊栏目: 振动·监测·诊断
• 页码范围: 280-282
• 页数: 3页
• 分类号: TP277|O157.7
• 语种: 中文
• DOI: 10.3321/j.issn:1001-9669.2001.03.009

摘要

介绍基于约束Petri网的规则集一致性检验命题的验证和实际应用.首先对约束Petri网的概念作了简要介绍.然后着重讲述应用面向对象方法开发的Petri网建模工具,以及一致性检验命题的软件实现方法.最后以某卫星电源系统为对象,对其故障诊断系统的知识库的一致性检验进行实际应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	丁彩红	东华大学机械学院	47	253	12.0	14.0
2	李恩光	东华大学机械学院	6	52	3.0	6.0