基于Petri网的一致性检验的计算机实现
丁彩红
李恩光
1.东华大学 机械学院,2.东华大学 机械学院,
摘要：介绍基于约束Petri网的规则集一致性检验命题的验证和实际应用.首先对约束Petri网的概念作了简要介绍.然后着重讲述应用面向对象方法开发的Petri网建模工具,以及一致性检验命题的软件实现方法.最后以某卫星电源系统为对象,对其故障诊断系统的知识库的一致性检验进行实际应用.
关键词：Petri网建模一致性检验
分类号：TP277(自动化技术及设备)O157.7(代数、数论、组合理论)
论文发表日期：2001-01-01
在线出版日期：2026-09-12（本平台首次上网日期，不代表文献的发表时间）
页数：3( 280-282 )
英文信息