书目详细信息 : PETRI网及其在制造系统建模与控制中的应用