查找： 关键词为 Distributed Controlled System Hybrid Petri net Fault analysis VisObjNet 的文献