扩展Petri网相关论文