向小阳 王丽丽

(安徽理工大学 数学与大数据学院， 安徽 淮南 232001)

快递配送过程中用到的智能快递柜，在很大程度上克服了快递件送达时无人取件、小区物业不便代收和快递件被错拿等问题，提高了投递服务效率。但在实际应用过程中，智能快递柜的自助投放模型还有一些值得完善的地方。

快递员将快递件投放到小区里安装的智能快递柜中后，智能终端会发送一条包含取件密码的消息至用户手机端，用户在快递柜界面输入正确的取件密码即可取走快递。但是，快递员将快递件放入快递柜中前，通常未经用户同意。用户如果未注意到快递到达的通知信息，或者家中无人取件，就可能造成占用快递柜超时的问题，而用户取件时也需先支付超时费用。为充分利用智能快递柜资源，同时避免因超时收费而引发纠纷，现提出一种基于Petri(佩特里)网带配置信息的快递自助投放优化方法。

1 关于Petri网及有关概念

Petri网是一种既能刻画系统结构，又能描述系统动态行为的模型，它结合行为轮廓和配置约束的方法，能够对原来难以满足用户需求的业务流程模型进行优化[1]。文献[2]介绍了Petri网行为轮廓相关的定义与性质，分析了基于行为轮廓的业务流程模型的相似性与一致性。文献[3]阐释了与业务流程模型配置相关的概念，提出了一种能够在配置过程的每个中间步骤验证过程模型正确性的方法。文献[4]利用Petri网工具实现了对智能快递柜自助寄件功能的优化。……