基于受控时间Petri网的车辆检测过程模型
安毅生
贺冰花
袁绍欣
1.长安大学信息工程学院 西安7100642.长安大学信息工程学院 西安7100643.长安大学信息工程学院 西安710064
摘要：针对汽车检测线运行效率评估及确保给定数量车辆检测时间最短的问题,通过分析检测过程中的驱动事件和状态演变,给出了车辆调度的约束条件,在此基础上把模型中的时间约束与受控Petri网相结合,提出了受控时间Petri网(Controlled Time Petri Nets)模型,采用该模型对检测线调度过程中的节拍控制与车辆调度进行可视化的建模与分析.实践表明对于多批次车辆检测任务采用该过程模型可明显缩短检测时间.
关键词：汽车检测线受控时间Petri网过程模型
分类号：TP391(计算技术、计算机技术)
资助基金：长江学者和创新团队发展计划(IRT0951)国家自然科学基金(50978030)陕西省自然科学基金(2009-JM8002-1)
论文发表日期：2012-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：3( 9-11 )
英文信息