10.3321/j.issn:1001-9669.2001.03.009
基于Petri网的一致性检验的计算机实现
介绍基于约束Petri网的规则集一致性检验命题的验证和实际应用.首先对约束Petri网的概念作了简要介绍.然后着重讲述应用面向对象方法开发的Petri网建模工具,以及一致性检验命题的软件实现方法.最后以某卫星电源系统为对象,对其故障诊断系统的知识库的一致性检验进行实际应用.
Petri网、建模、一致性检验
23
TP277;O157.7(自动化技术及设备)
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共3页
280-282