离散事件系统的同步诊断算法

针对传统系统建模方法需要假设模型完备的缺点，提出一种通过同步各部件模型的方法来解决不完备建模所导致的不完全诊断。对于离散事件系统的动态诊断进行优化，利用分布式的思想与petri网的性质，使得各部件可以独立、并行地进行诊断，提高了诊断的速度。同时对提出的同步方法进行了可行性分析和简单实现，得到了较好的结果。