基于扩展逻辑Petri网的电子商务系统建模与分析

摘要

互联网技术的创新发展催生了一批以互联网为基础的消费领域，电子商务为用户提供了方便快捷的消费体验，影响着社会经济生活的各个方面。随着用户数量的不断增多和服务类型的多样化，传统的电子商务业务流程发生变化，在区分用户优先级的电子商务系统中，系统在处理用户请求时会对不同优先级的用户产生不同的响应。在电子商务物流配送业务中，物流配送的时间效率是电子商务服务方面值得关注的问题。在对系统的业务流程进行研究时，建立合理的业务流程模型，对业务流程的分析和优化具有参考价值。
　　本文针对电商物流配送系统的时效性能和电商购物系统处理用户优先级的情况，基于逻辑Petri网和时延Petri网，提出了两种不同的Petri网模型，即逻辑时延Petri网和逻辑数据Petri网。逻辑时延Petri网，是在逻辑Petri网的基础上为每一个变迁定义了引发持续时间，当变迁使能时能立即引发，但变迁的引发必须持续相应的引发持续时间后才能完成，然后向其后继库所中输出托肯。逻辑数据Petri网，是在逻辑Petri网的基础上为托肯定义了属性和到达库所的时间，为每个变迁定义了引发持续时间，并给逻辑输入变迁和逻辑输出变迁定义了批处理等待时间。通过重新定义网的状态信息和可达图生成算法，以及给出托肯优先级的处理规则和变迁引发规则，解决了变迁引发时处理托肯优先级的问题。
　　基于提出的两种扩展逻辑Petri网，针对电子商务物流配送系统，分析了电商物流配送业务流程，建立了基于逻辑时延Petri网的电子商务物流配送业务模型，通过对模型仿真模拟验证了模型的正确性，并分析了系统的时效性。针对带优先级的电子商务系统，建立了基于逻辑数据Petri网的电子商务系统业务模型。通过仿真模拟和系统可达图，验证了模型的正确性，最后定量分析了系统处理用户优先级的问题，并说明了系统处理用户公平性的问题。

目录

第一个书签之前

摘 要

Abstract

目 录

Contents

1 绪论

1.1 研究背景及意义

1.2 国内外研究现状

1.3 研究内容

1.4 论文组织结构

2 相关知识

2.1 Petri网

2.2 逻辑Petri网

2.3 时延Petri网

3 基于逻辑时延Petri网的电商物流系统建模与分析

3.1 电商物流配送业务流程分析

3.2 逻辑时延Petri网

3.3 电商物流配送业务的LDTPN模型

3.3.1 业务流程建模

3.3.2 基于LDTPN的电商物流配送业务模型建立

3.4 电商物流配送业务模型的仿真和分析

3.4.1 仿真工具简介

3.4.2 仿真工具选择

3.4.3 电商物流配送业务模型验证与时效性分析

3.5 小结

4 逻辑数据Petri网模型

4.1 问题描述与分析

4.2 逻辑数据Petri网定义

4.3 带优先级的托肯处理规则

4.4 小结

5 基于逻辑数据Petri网的电商购物系统建模与分析

5.1 带优先级的批处理购物流程

5.2 带优先级的电商购物系统LDPN模型

5.3 带优先级的电商购物系统模型的仿真与分析

5.3.1 带优先级的电商购物系统模型验证

5.3.2 带优先级的电商购物系统性质分析

5.4 小结

6 总结与展望

6.1 总结

6.2 展望

参考文献

致 谢

攻读硕士期间主要成果

攻读硕士期间参加的科研项目