复合Petri网相关论文