双变迁Petri网相关论文