PETRI网建模相关论文