文摘针对智能仓库出入库系统作业过程中出现的货物拥堵和设备利用率低等问题,对智能仓库出入库作业特点进行了研究,构建了智能仓库的出入库作业周期模型,采用面向对象赋时Petri网的方法建立智能仓库出入库系统的OOTPN(object oriented timed Petri net)模型,并对模型进行了死锁分析,同时也分析了模型有效性和可靠性。运用Flexsim仿真软件对建立的OOTPN模型进行仿真优化,实验结果表明,出入库工作能力直接影响堆垛机和处理器的利用率,增加出入库工作组可以有效地提高智能仓库的工作效率。
文摘采用减少航班推出时间的方法以达到减少航班延误时间的目的,分析了航空器推出过程中存在的冲突问题,通过在推出路径关键位置设置安全点来避免冲突;基于Agent建模理论,采用面向对象的赋时着色Petri网(Object orientedTimed Colored Petri net,OTCPN)的建模方法,对航空器的推出行为建模,并在仿真工具CPN Tools中对模型进行了分析,通过状态空间报告(State Space Report)可知模型是有界的、可行的,且不存在死点;最后,设计实现了相邻机位航班地面延误最少前提下的实际推出时间计算单元。