查找： 关键词为 Petri Net Inhibitor arc Permissive are Modeling Simulation 的文献