确定与随机PETRI网相关论文