PETRI网语言相关论文