摘要
针对网络订票系统换乘车次时只能换乘其他车次列车的问题,建立一种基于Petri网的流程模型对网络订票系统中换乘问题进行了优化.首先分析模型中各变迁行为轮廓的弱序关系;然后在不影响订票流程的情况下,通过增加Petri网控制结构实现了换乘问题的优化,达到了合理的换乘目的.最后通过PIPE软件对优化模型进行了仿真模拟,结果表明优化模型安全、有界.
Aiming at the problem that the trains in the network booking system can only transfer to other trains to reach the same destination,a Petri Net-based process model is established to optimize the transfer problem in the network booking system.Firstly,the weak order relationship of each transition behavior profile in the model is analyzed.Then,the Petri Net control structure is added to optimize the transfer problem without affecting the booking process,so as to achieve reasonable transfer.Finally,the optimized model is simulated by PIPE software.The results show that the model is safe and bounded.
作者
方娜
刘祥伟
FANG Na;LIU Xiangwei(School of Mathematics and Big Data,Anhui University of Science and Technology,Huainan 232001,China)
出处
《延边大学学报（自然科学版）》
CAS
2018年第4期336-339,共4页
Journal of Yanbian University（Natural Science Edition）
基金
国家自然科学基金资助项目(61402011)
关键词
PETRI网
行为轮廓
网络订票系统
建模优化
Petri Net
behavioral profile
network booking system
modeling optimization
