对偶Petri网相关论文