一种离散事件系统边界可诊断性验证方法

电子测量技术页数： 8 2022-05-20

摘要：针对有效验证离散事件系统故障后是否具有可诊断性问题，设计了一种基于Petri网的边界可诊断性的验证方法。
首先，根据Petri网的结构特性，提出了显示可达图的概念及其构建算法；其次，提出了一种基于显示可达图的验证器及其构造算法，分析系统故障发生后是否具有可诊断性以及计算满足系统可诊断性的边界值；最后，通过实例对所设计的方法进行验证。（共8页）

开通会员，享受整站包年服务

说明：本文档由创作者上传发布，版权归属创作者。若内容存在侵权，请点击申诉举报

科技文档

数学力学化学金融证券保险投资会计审计园艺林业旅游体育物理学生物学天文学气象学海洋学地质学新能源金属学农艺学农作物管理学领导学自然科学系统科学资源科学无机化工有机化工燃料化工化学工业材料科学矿业工程冶金工业安全科学环境科学工业通用机械工业无线电子电信技术铁路运输汽车工业船舶工业动力工程电力工业农业科学农业工程植物保护动物医学教育理论学前教育初等教育中等教育高等教育职业教育成人教育自然地理地球物理经济统计农业经济工业经济交通经济企业经济文化经济信息经济贸易经济财政税收市场研究科学研究互联网自动化轻工业核科学服务业石油然气服务业野生动物水产渔业硬件仪器仪表航空航天武器军事公路运输水利水电建筑科学软件