扩充Petri网相关论文