·312· 智能系统学报 第13卷 [13]MERLIN P M.A study of the recoverability of computing CHEN Hao.Modeling and optimization research on the systems[D].California:University of California,1974. cold chain distribution process based on stochastic Petri [14]RAMCHANDANI C.Analysis of asynchronous concur- net D].Chongqing:Chongqing Technology and Business rent systems by timed Petri nets[D].Cambridge:Mas- University,2015. sachusetts Institute of Technology Cambridge,1974 [23胡松筠，陈燕，李晔，等.基于面向对象Peti网的配送业 [l5]詹跃东，骆瑛.基于Peti网的物流自动化系统建模与仿 务流程建模[).科学技术与工程，2006,6(2)：229-232 真研究.系统仿真学报，2001,13(4：501-504. HU Songyun,CHEN Yan,LI Ye,et al.Distribution pro- ZHAN Yuedong,LUO Ying.Modeling and simulation re- cess modeling based on object-oriented Petri net[J].Sci- search of material handling automatic system based on ence technology and engineering,2006,6(2):229-232. Petri net[J].Journal of system simulation,2001,13(4): [24纠何凯.基于面向对象Petri网的物流配送中心流程优化研 501-504. 究D1.济南：山东大学，2015 [l6李焰，郭俐虹.基于Peti网的物流配送系统模型研究)]， HE Kai.Research on the business process optimization 武汉理工大学学报，2010,32(23)：72-75 based on object-oriented Petri net in logistics distribution LI Yan,GUO Lihong.Petri net-based logistics and distri- center[D].Jinan:Shandong University,2015. bution system modeling and performance analysis[J]. [25]舒远仲，刘炎培，彭晓红，等.面向对象Peti网建模技术 Journal of Wuhan university of technology,2010,32(23): 综述U.计算机工程与设计，2010,31(15)：3432-3435. 72-75. SHU Yuanzhong,LIU Yanpei,PENG Xiaohong,et al.Sur- [1刀张春娜.基于Petri网的物流仓储系统建模与仿真D].南 vey on object-oriented Petri net modeling[J].Computer en- 京：南京林业大学，2007. gineering and design,2010,31(15):3432-3435. ZHANG Chunna.Modeling and simulation of the ware- [26)刘韬，傅卫平，王雯，等.基于面向对象赋时Peti网的出 house system of logistics based on Petri net[D].Nanjing: 入库系统建模U.系统仿真学报，2006,18(3：537-541. Nanjing Forestry University,2007. LIU Tao,FU Weiping,WANG Wen,et al.Modeling of [l8邱跃龙，陶德馨.基于时间Petri网的集装箱码头 loading and unloading scheduling system based on object- AGV调度系统建模研究).武汉理工大学学报：交通科 oriented timed Petri net[J].Journal of system simulation. 学与工程版，2006,30(6：958-960. 2006.18(3:537-541. QIU Yuelong,TAO Dexin.Research on modeling of AGV [27刀路春光，王辉，刘伟民，等.基于OOTPN与Flexsim的管 dispatching system in container terminal based on timed 材余料立体库调度系统的建模与仿真.物流工程与管 Petri net[J].Journal of Wuhan university of technology: 理，2010,32(11)：65-67 transportation science and engineering,2006,30(6): LU Chunguang,WANG Hui,LIU Weimin,et al.Model- 958-960. ing and simulation of storehouse's scheduling system of the [19]张乳燕，贾利民，蔡国强.基于时间Petri网的物流系统建 residual pipe based on OOTPN and Flexsim[J].Logistics 模与仿真实例U.物流技术，2008,27(10)：83-84,103. engineering and management,2010,32(11):65-67. ZHANG Ruyan,JIA Limin,CAI Guogiang.Modeling and [28]田世海.基于OOTPN的高技术虚拟企业ISP建模U).科 simulation of logistics system using time Petri net[].Lo- 技进步与对策，2008,25(9)：115-120. gistics technology,2008,27(10):83-84,103. TIAN Shihai.HTVE-ISP modeling based on OOTPN[J]. [20]李小鹏.基于Petri网的物流中心库存系统建模研究D] Science technology progress and policy,2008,25(9): 天津：天津科技大学，2013. 115-120. LI Xiaopeng.Research on modeling the inventory system [29]刘心，印桂生，张磊.基于着色赋时面向对象Peti网的 of logistics center based on Petri nets[D].Tianjin:Tianjin AUV系统建模研究[.现代电子技术，2009,32(13)： University of Science and Technology,2013. 167-170. [21]付国轩.基于随机Peti网的多式联运系统可靠性研究 LIU Xin,YIN Guisheng,ZHANG Lei.Research on model- [D].北京：北京交通大学，2008 ing of AUV system based on colored timed object-oriented FU Guoxuan.Research on reliability of multimodal trans- petri net[J].Modern electronics technique,2009,32(13): portation based on stochastic Petri nets[D].Beijing:Beijing 167-170, Jiaotong University,2008. [30]杨琦.基于面向对象Petri网的供应链工作流建模円.安 22]陈颗.基于随机Petri网的冷链物流配送流程建模及优化 微师范大学学报：自然科学版，2010,33(6)：530-533 研究D].重庆：重庆工商大学，2015 538.MERLIN P M. A study of the recoverability of computing systems[D]. California: University of California, 1974. [13] RAMCHANDANI C. Analysis of asynchronous concur￾rent systems by timed Petri nets[D]. Cambridge: Mas￾sachusetts Institute of Technology Cambridge, 1974. [14] 詹跃东, 骆瑛. 基于 Petri 网的物流自动化系统建模与仿 真研究[J]. 系统仿真学报, 2001, 13(4): 501–504. ZHAN Yuedong, LUO Ying. Modeling and simulation re￾search of material handling automatic system based on Petri net[J]. Journal of system simulation, 2001, 13(4): 501–504. [15] 李焰, 郭俐虹. 基于 Petri 网的物流配送系统模型研究[J]. 武汉理工大学学报, 2010, 32(23): 72–75. LI Yan, GUO Lihong. Petri net-based logistics and distri￾bution system modeling and performance analysis[J]. Journal of Wuhan university of technology, 2010, 32(23): 72–75. [16] 张春娜. 基于 Petri 网的物流仓储系统建模与仿真[D]. 南 京: 南京林业大学, 2007. ZHANG Chunna. Modeling and simulation of the ware￾house system of logistics based on Petri net[D]. Nanjing: Nanjing Forestry University, 2007. [17] 邱跃龙, 陶德馨. 基于时间 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 and engineering, 2006, 30(6): 958–960. [18] 张乳燕, 贾利民, 蔡国强. 基于时间 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]. Lo￾gistics technology, 2008, 27(10): 83–84, 103. [19] 李小鹏. 基于 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. [20] 付国轩. 基于随机 Petri 网的多式联运系统可靠性研究 [D]. 北京: 北京交通大学, 2008. FU Guoxuan. Research on reliability of multimodal trans￾portation based on stochastic Petri nets[D]. Beijing: Beijing Jiaotong University, 2008. [21] 陈颢. 基于随机 Petri 网的冷链物流配送流程建模及优化 研究[D]. 重庆: 重庆工商大学, 2015. [22] 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. 胡松筠, 陈燕, 李晔, 等. 基于面向对象 Petri 网的配送业 务流程建模[J]. 科学技术与工程, 2006, 6(2): 229–232. HU Songyun, CHEN Yan, LI Ye, et al. Distribution pro￾cess modeling based on object-oriented Petri net[J]. Sci￾ence technology and engineering, 2006, 6(2): 229–232. [23] 何凯. 基于面向对象 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. [24] 舒远仲, 刘炎培, 彭晓红, 等. 面向对象 Petri 网建模技术 综述[J]. 计算机工程与设计, 2010, 31(15): 3432–3435. SHU Yuanzhong, LIU Yanpei, PENG Xiaohong, et al. Sur￾vey on object-oriented Petri net modeling[J]. Computer en￾gineering and design, 2010, 31(15): 3432–3435. [25] 刘韬, 傅卫平, 王雯, 等. 基于面向对象赋时 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. [26] 路春光, 王辉, 刘伟民, 等. 基于 OOTPN 与 Flexsim 的管 材余料立体库调度系统的建模与仿真[J]. 物流工程与管 理, 2010, 32(11): 65–67. LU Chunguang, WANG Hui, LIU Weimin, et al. Model￾ing 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. [27] 田世海. 基于 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. [28] 刘心, 印桂生, 张磊. 基于着色赋时面向对象 Petri 网的 AUV 系统建模研究[J]. 现代电子技术, 2009, 32(13): 167–170. LIU Xin, YIN Guisheng, ZHANG Lei. Research on model￾ing of AUV system based on colored timed object-oriented petri net[J]. Modern electronics technique, 2009, 32(13): 167–170. [29] 杨琦. 基于面向对象 Petri 网的供应链工作流建模[J]. 安 徽师范大学学报: 自然科学版, 2010, 33(6): 530–533, 538. [30] ·312· 智 能 系 统 学 报 第 13 卷