基于Petri网行为轮廓的超市自助结账系统优化分析

摘要

本研究对超市自助结账系统进行建模并对模型进行优化,以达到使模型更具有实用性的目的,首先对自助结账系统进行建模,在保证行为合理的基础上,通过增加相应的结构变迁,再利用行为轮廓的相关理论和性质,对原自助结账系统模型进行优化,以提高其实用性,缩短结账时间,并通过HIPS仿真软件进行模拟运行证明了优化模型的可行性.