恰当终结的标准Petri网相关论文