书目详细信息 : 系统工程Petri网-建模、验证与应用指南