基于受控时间Petri网的车辆检测过程模型

摘要：

针对汽车检测线运行效率评估及确保给定数量车辆检测时间最短的问题,通过分析检测过程中的驱动事件和状态演变,给出了车辆调度的约束条件,在此基础上把模型中的时间约束与受控Petri网相结合,提出了受控时间Petri网(Controlled Time Petri Nets)模型,采用该模型对检测线调度过程中的节拍控制与车辆调度进行可视化的建模与分析.实践表明对于多批次车辆检测任务采用该过程模型可明显缩短检测时间.

关键词：汽车检测线、受控时间Petri网、过程模型

所属期刊栏目：40

分类号：TP391(计算技术、计算机技术)

资助基金：教育部长江学者和创新团队发展计划IRT0951;国家自然科学基金项目50978030;陕西省自然科学基金项目2009-JM8002-1

在线出版日期：2012-04-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：9-11