魏瑶

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

关键词：Petri网;行为轮廓;自助结账;优化;HIPS

中图分类号：TP391.9  文献标识码：A  文章编号：1673-260X（2021）02-0010-03

0 引言

新型冠状病毒的爆发已经给人们的日常生活方式带来了很大的影响，随着疫情下人们对无接触支付模式的深入了解，无接触的超市自助结账模式也得到了广大消费者的接受，自助收银机成为人们在超市购物付款时的新选择。为了提高系统的工作效率，现对自助结账系统进行建模优化，利用Petri网的相关性质[1]和行为轮廓的相关知识[2]可以解决很多问题。

如何实现业务流程的优化是当今热门研究课题，目前国内外许多学者在该方面做了大量研究。邵叱风提出了一种利用Java编程实现算数计算Petri网动态模型的模拟，验证了Petri网的模拟能力[3]，同时提出一种日志挖掘方法，利用日志除标签外的属性辅助发现过程模型[4]，另外提出了一种基于过程挖掘的结构优化方法，通过过程挖掘得到模型，再改造关联结构提高流程运行效率[5];应丽等人利用行为轮廓增加相关的控制结构对模型进行优化，并通过分析说明了流程模型优化的有效性[6]。……