彩色Petri网相关论文