列车区间运行安全的Petri网模型研究