Petri网合成相关论文