完全分布式子系统协同安全控制的控制方法、Petri网络模型

摘要

本发明属于协同控制系统技术领域，公开了一种完全分布式子系统协同安全控制的控制方法、Petri网络模型；将上位系统通过基于库所的指标分解的分解技术分解成多个下位系统；计算第i个下位系统的可达状态，以及到达每个可达状态的最短步长；通过分布式安全诊断的算法计算出第i个下位系统的安全性。本发明分布式诊断方法具有很强的可靠性，将复杂的Petri网模型通过各种网的分解方法，可以分解成许多子网，通过对子网的研究来得出原系统的某些性质，同时可以具体到原系统的某个部分，相对于全局式诊断运行时间减少，速度变快，而且使得后期对系统的安全维护更加方便。