查找： 关键词为 Petri nets object-oriented technology intelligent manufacturing system modeling 的文献