[1]朱正月,陈增强.基于面向对象时间Petri网的智能电商物流服务系统建模[J].智能系统学报,2018,13(2):303-313.[doi:10.11992/tis.201612031]
　ZHU Zhengyue,CHEN Zengqiang.Modeling of intelligent E-commerce logistics service system based on object-oriented time petri nets[J].CAAI Transactions on Intelligent Systems,2018,13(2):303-313.[doi:10.11992/tis.201612031]
点击复制

基于面向对象时间Petri网的智能电商物流服务系统建模

《智能系统学报》[ISSN 1673-4785/CN 23-1538/TP] 卷: 13 期数: 2018年第2期 页码: 303-313 栏目: 学术论文—智能系统 出版日期: 2018-04-15
Title:
Modeling of intelligent E-commerce logistics service system based on object-oriented time petri nets
作者:
朱正月1,2, 陈增强2
1. 安徽电子信息职业技术学院 信息与智能工程系, 安徽 蚌埠 233030;
2. 南开大学 计算机与控制工程学院, 天津 300350
Author(s):
ZHU Zhengyue1,2, CHEN Zengqiang2
1. Department of Information and Intelligent Engineering, Anhui Vocational College of Electronics and Information Technology, Bengbu 233030, China;
2. College of Computer and Control Engineering, Nankai University, Tianjin 300350, China
关键词:
面向对象; 时间Petri网; 电商物流; 智能服务系统; 业务流程; 可覆盖性树; 关联矩阵; 建模
Keywords:
object-oriented; time Petri net; E-commerce logistics; intelligent service system; business process; coverability tree; incidence matrix; modeling
分类号:
TP391
DOI:
10.11992/tis.201612031
摘要:
电商物流服务系统是一种集商流、物流、信息流和资金流于一体的大规模复杂系统，具有离散事件动态系统的一般特征。将面向对象技术与Petri网相结合，引入时间因素，应用于大规模复杂信息系统建模上，不仅能降低系统模型复杂度，还可以针对模块性能做定量分析。在分析研究电商物流服务系统主要功能和Petri网理论的基础上，给出了一种面向对象时间Petri网（OOTPN）的形式定义，描述了电商物流服务系统的主要对象和业务流程，采用面向对象时间Petri网构建了电商物流服务系统的OOTPN模型，分析了子网的相关时间特性，利用可覆盖性树、关联矩阵对子网的可达性、有界性、守恒性等性质进行了分析，证明了模型系统的可靠性和健壮性，体现了OOTPN模型具有模块化、图形化、结构化特点和可扩展、可重用、易于维护等特性。
Abstract:
E-commerce logistics service system is a large-scale complex system which consists of trade flow, logistics, information flow and capital flow, and it has general features of the discrete event dynamic system. When the object-oriented technology integrates Petri nets and time factor, it can be applied to the modeling of large-scale complex information system. The integration can not only reduce the complexity of system model but also make quantitative analysis for module performance. Based on the study of the main functions of E-commerce logistics service system and Petri Nets Theory, an object-oriented time Petri Net (OOTPN) is defined. The main objects and business process of the E-commerce logistics service system are described. Based on the object-oriented time petri nets, an OOTPN Model for the E-commerce logistics service system is constructed, and the relevant time characteristics of the sub-network are analyzed. The Coverability Tree and the Incidence Matrix are adopted to analyze the features of the sub-network such as reachability, boundedness and conservativeness, so as to show that the module system is reliable and robust. The study proves that the OOTPN Model is modularized, graphical, structured, extensible, reusable, and easy for maintenance.
参考文献/References:
[1] 李乃文. 智能小区情境感知服务系统的研究[D]. 上海:华东理工大学, 2014.
LI Naiwen. Intelligent community context aware service system research[D]. Shanghai: East China University of Science and Technology, 2014.
[2] 梁雪姣. 基于IEC的智能营销系统建模研究[D]. 银川:宁夏大学, 2013.
LIANG Xuejiao. Research about the intelligent marketing system modeling based on IEC[D]. Yinchuan: Ningxia University, 2013.
[3] 徐学东, 李叶茂. 基本Petri网在信息系统中的建模方法[J]. 长春工程学院学报: 自然科学版, 2006, 7(4): 77-80.
XU Xuedong, LI Yemao. Modeling method in the information system of basic petri net[J]. Journal of Changchun institute of technology: natural science edition, 2006, 7(4): 77-80.
[4] 郭鲜凤. 软件系统建模方法分析[J]. 太原大学学报, 2008, 9(1): 135-137.
GUO Xianfeng. Analysis on software system modeling methods[J]. Journal of Taiyuan university, 2008, 9(1): 135-137.
[5] 侯衍龙. 基于UML的面向对象建模技术及应用[D]. 南京: 南京航空航天大学, 2002.
HOU Yanlong. Object-oriented modeling technology and application based on UML[D]. Nanjing: Nanjing University of Aeronautics and Astronautics, 2002.
[6] 袁崇义. Petri网原理与应用[M]. 北京: 电子工业出版社, 2005.
YUAN Chongyi. Theory and application of petri nets[M]. Beijing: Publishing House of Electronics Industry, 2005.
[7] 郭红康, 赵军. 基于多AgGUO Hongkang, ZHAO Jun. Modeling and simulation of order-oriented discrete manufacturing system based on multi-agent[J]. CAAI transactions on intelligent systems, 2016, 11(2): 233-240.t的面向订单的离散制造系统建模与仿真研究[J]. 智能系统学报, 2016, 11(2): 233-240.
GUO Hongkang, ZHAO Jun. Modeling and simulation of order-oriented discrete manufacturing system based on multi-agent[J]. CAAI transactions on intelligent systems, 2016, 11(2): 233-240.
[8] NOF S Y, MOREL G, MONOSTORI L, et al. From plant and logistics control to multi-enterprise collaboration[J]. IFAC proceedings volumes, 2005, 38(1): 218-231.
[9] NOF S Y, FILIP F G, MOLINA A, et al. Advances in e-manufacturing, e-logistics, and e-service systems[J]. IFAC proceedings volumes, 2008, 41(2): 5742-5750.
[10] 曹炯清. 一种基于Petri网的物流配送系统建模方法[J]. 物流技术, 2014, 33(8): 272-274, 326.
CAO Jiongqing. A modeling method of logistics distribution systems based on Petri nets[J]. Logistics technology, 2014, 33(8): 272-274, 326.
[11] 吴哲辉. Petri网导论[M]. 北京: 机械工业出版社, 2006.
WU Zhehui. Introduction to Petri nets[M]. Beijing: China Machine Press, 2006.
[12] 丁峰. 有色时间Petri网与随机Petri网应用研究[D]. 合肥: 合肥工业大学, 2009.
DING Feng. Research on the use of colored timed petri net and stochastic petri net[D]. Hefei: Hefei University of Technology, 2009.
[13] MERLIN P M. A study of the recoverability of computing systems[D]. California: University of California, 1974.
[14] RAMCHANDANI C. Analysis of asynchronous concurrent systems by timed Petri nets[D]. Cambridge: Massachusetts Institute of Technology Cambridge, 1974.
[15] 詹跃东, 骆瑛. 基于Petri网的物流自动化系统建模与仿真研究[J]. 系统仿真学报, 2001, 13(4): 501-504.
ZHAN Yuedong, LUO Ying. Modeling and simulation research of material handling automatic system based on Petri net[J]. Journal of system simulation, 2001, 13(4): 501-504.
[16] 李焰, 郭俐虹. 基于Petri网的物流配送系统模型研究[J]. 武汉理工大学学报, 2010, 32(23): 72-75.
LI Yan, GUO Lihong. Petri net-based logistics and distribution system modeling and performance analysis[J]. Journal of Wuhan university of technology, 2010, 32(23): 72-75.
[17] 张春娜. 基于Petri网的物流仓储系统建模与仿真[D]. 南京: 南京林业大学, 2007.
ZHANG Chunna. Modeling and simulation of the warehouse system of logistics based on Petri net[D]. Nanjing: Nanjing Forestry University, 2007.
[18] 邱跃龙, 陶德馨. 基于时间Petri网的集装箱码头AGV调度系统建模研究[J]. 武汉理工大学学报: 交通科学与工程版, 2006, 30(6): 958-960.
QIU Yuelong, TAO Dexin. Research on modeling of AGV dispatching system in container terminal based on timed Petri net[J]. Journal of Wuhan university of technology: transportation science & engineering, 2006, 30(6): 958-960.
[19] 张乳燕, 贾利民, 蔡国强. 基于时间Petri网的物流系统建模与仿真实例[J]. 物流技术, 2008, 27(10): 83-84, 103.
ZHANG Ruyan, JIA Limin, CAI Guoqiang. Modeling and simulation of logistics system using time Petri net[J]. Logistics technology, 2008, 27(10): 83-84, 103.
[20] 李小鹏. 基于Petri网的物流中心库存系统建模研究[D]. 天津: 天津科技大学, 2013.
LI Xiaopeng. Research on modeling the inventory system of logistics center based on Petri nets[D]. Tianjin: Tianjin University of Science and Technology, 2013.
[21] 付国轩. 基于随机Petri网的多式联运系统可靠性研究[D]. 北京: 北京交通大学, 2008.
FU Guoxuan. Research on reliability of multimodal transportation based on stochastic Petri nets[D]. Beijing: Beijing Jiaotong University, 2008.
[22] 陈颢. 基于随机Petri网的冷链物流配送流程建模及优化研究[D]. 重庆: 重庆工商大学, 2015.
CHEN Hao. Modeling and optimization research on the cold chain distribution process based on stochastic Petri net[D]. Chongqing: Chongqing Technology and Business University, 2015.
[23] 胡松筠, 陈燕, 李晔, 等. 基于面向对象Petri网的配送业务流程建模[J]. 科学技术与工程, 2006, 6(2): 229-232.
HU Songyun, CHEN Yan, LI Ye, et al. Distribution process modeling based on object-oriented Petri net[J]. Science technology and engineering, 2006, 6(2): 229-232.
[24] 何凯. 基于面向对象Petri网的物流配送中心流程优化研究[D]. 济南: 山东大学, 2015.
HE Kai. Research on the business process optimization based on object-oriented Petri net in logistics distribution center[D]. Jinan: Shandong University, 2015.
[25] 舒远仲, 刘炎培, 彭晓红, 等. 面向对象Petri网建模技术综述[J]. 计算机工程与设计, 2010, 31(15): 3432-3435.
SHU Yuanzhong, LIU Yanpei, PENG Xiaohong, et al. Survey on object-oriented Petri net modeling[J]. Computer engineering and design, 2010, 31(15): 3432-3435.
[26] 刘韬, 傅卫平, 王雯, 等. 基于面向对象赋时Petri网的出入库系统建模[J]. 系统仿真学报, 2006, 18(3): 537-541.
LIU Tao, FU Weiping, WANG Wen, et al. Modeling of loading and unloading scheduling system based on object-oriented timed Petri net[J]. Journal of system simulation, 2006, 18(3): 537-541.
[27] 路春光, 王辉, 刘伟民, 等. 基于OOTPN与Flexsim的管材余料立体库调度系统的建模与仿真[J]. 物流工程与管理, 2010, 32(11): 65-67.
LU Chunguang, WANG Hui, LIU Weimin, et al. Modeling and simulation of storehouse’s scheduling system of the residual pipe based on OOTPN and Flexsim[J]. Logistics engineering and management, 2010, 32(11): 65-67.
[28] 田世海. 基于OOTPN的高技术虚拟企业ISP建模[J]. 科技进步与对策, 2008, 25(9): 115-120.
TIAN Shihai. HTVE-ISP modeling based on OOTPN[J]. Science & technology progress and policy, 2008, 25(9): 115-120.
[29] 刘心, 印桂生, 张磊. 基于着色赋时面向对象Petri网的AUV系统建模研究[J]. 现代电子技术, 2009, 32(13): 167-170.
LIU Xin, YIN Guisheng, ZHANG Lei. Research on modeling of AUV system based on colored timed object-oriented petri net[J]. Modern electronics technique, 2009, 32(13): 167-170.
[30] 杨琦. 基于面向对象Petri网的供应链工作流建模[J]. 安徽师范大学学报: 自然科学版, 2010, 33(6): 530-533, 538.
YANG Qi. The modeling of object-oriented structural description of flow supply chain[J]. Journal of Anhui normal university: natural science, 2010, 33(6): 530-533, 538.
[31] 蒋晓宁. 基于电子商务的物流系统及其中国模式的研究[D]. 南京: 东南大学, 2001.
JIANG Xiaoning. Studies on the logistical system and its Chinese mode based on electronic commerce[D]. Nanjing: Southeast University, 2001.
[32] 徐志斌, 郑大钟. 一类PETRI网的时间性能简化分析[J]. 自动化学报, 1999, 25(5): 667-672.
XU Zhibin, ZHENG Dazhong. Reduction method for time analysis of a class of PETRI nets[J]. Acta automatica sinica, 1999, 25(5): 667-672.
[33] 胡健生, 黄金志, 廖赟, 等. Petri网时间特性分析[J]. 计算机工程与设计, 2005, 26(10): 2746-2748.
HU Jiansheng, HUANG Jinzhi, LIAO Yun, et al. Time characteristic analytical method of Petri nets[J]. Computer engineering and design, 2005, 26(10): 2746-2748.
[34] BERTHOMIEU B, LIME D, ROUX O H, et al. Reachability problems and abstract state spaces for time petri nets with stopwatches[J]. Discrete event dynamic systems, 2007, 17(2): 133-158.
[35] BERTHOMIEU B, PERES F, VERNADAT F. Abstract state spaces for time petri nets analysis[C]//Proceedings of the 11th IEEE Symposium on Object Oriented Real-time Distributed Computing. Orlando, FL, USA, 2008: 298-304.
[36] 赵冬霞. 基于面向对象时间Petri网的物流配送业务流程优化与仿真[D]. 哈尔滨: 哈尔滨工业大学, 2010.
ZHAO Dongxia. Logistics enterprise business process optimization and simulation based on object-oriented time petri nets[D]. Harbin: Harbin Institute of Technology, 2010.

备注/Memo

收稿日期:2016-12-26。
基金项目:国家自然科学基金项目（61573199）.
作者简介:朱正月,男,1974年生,副教授,主要研究方向为Petri网理论与应用建模、计算机网络及物联网技术应用;陈增强,男,1964年生,教授,博士生导师,主要研究方向为智能预测控制、智能信息处理、智能物联网、多智能体系统控制,曾获天津市自然科学二等奖、教育部科技进步三等奖等,发表学术论文100余篇。
通讯作者:朱正月.E-mail:ahdy-zzy@ahdy.edu.cn.

更新日期/Last Update: 1900-01-01
Copyright © 《 智能系统学报》 编辑部
地址：（150001）黑龙江省哈尔滨市南岗区南通大街145-1号楼 电话：0451- 82534001、82518134　邮箱：tis@vip.sina.com