基于Petri网的车库管理系统的建模优化

针对超市车库难以同时管理多个入口多个车辆同时入库的问题,基于Petri网和行为轮廓对车辆入库管理系统进行建模优化,从而使系统能够满足复杂的情况。首先给出只能管理具有一个入口的车库原始简单模型,在保证原有弱序关系的基础上,结合行为轮廓的理论,增加控制结构,对入库过程和出库过程进行优化分析。最后通过PIPE进行仿真运行,证明优化后的模型结构合理。