PETRI网仿真相关论文