Petri网语言表达式相关论文