基于Petri网的自动售货机销售系统及物流建模与研究
|
摘要
自动售货机是含有商品销售和物流配送的系统。随着科技的发展,自动售货机的功能也越来越多,比如在传统的自动售货机中装载无线模块,通过短信息传递来监控自动售货机的销售和机器运行状态,这样使得系统过程越来越复杂。为了使系统的开发人员、维护补给人员、监控管理人员对自动售货机系统的运行有一个统一的理解,合理的组织和优化企业内部物流配送方式,建立合理的物流控制系统,因此要建立可以精确模拟系统动态运行的模型,来定量的分析效果的改进,实现系统的绩效分析。
由于自动售货机系统属于离散事件动态系统,必须用特定的建模工具。本文引入了Petri网理论。从基本Petri网入手,在介绍了Petri网基本原理,性质的基础上把Petri网建模技术应用于自动售货机系统中,最终建立传统的自动售货机销售系统和基于短信息监控的销售系统的Petri网模型,并利用仿真工具仿真执行。针对引入无线技术的自动售货机物流过程重构问题,提出了一种抑制弧时延Petri网过程模型。模型适用于描述无线信息的决策对物流配送的影响,并与传统的自动售货机物流配送模型比较,模拟在不同缺货情况下两种配送的过程,分析过程绩效在时间方面的改进。
Vending machine is a marketing system which contains the Merchandising and the Distribution. With the development of technology, the vending machines have more functions, for example, load wireless module in traditional vending machines, through the short messaging to monitor vending machine sales and machine status; it makes the system process more complex. To make the system developers, maintenance supplies staff and monitor staff have a unified understanding of vending machine, rational organization and optimize the internal logistics and distribution methods, then make a reasonable logistics control system, it is necessary to establish a system to simulate the dynamic operation of the model accurately, and improve quantitative analysis of effects, to achieve system performance analysis.
As the vending machine system is a discrete event dynamic system, we must use a specific modeling tool. This paper introduces the theory of Petri nets. Starting from the basic Petri nets, introducing the basic principles and nature of Petri nets, then use Petri net modeling technique in the vending machine system, finally manufacture a traditional vending machine sale monitoring system and information on short sales of the system Petri net model, perform by using simulation tools. Specific to the wireless technology of vending machines logistics process reengineering issues, bring up a Petri net inhibition of the process model. This kind of model is applicable to describe the wireless information on the logistics and distribution of decision-making, comparing vending machine with the traditional logistics model, simulate the two different shortage distribution process, and analyze process performance improvements in the aspect of time.
由于自动售货机系统属于离散事件动态系统,必须用特定的建模工具。本文引入了Petri网理论。从基本Petri网入手,在介绍了Petri网基本原理,性质的基础上把Petri网建模技术应用于自动售货机系统中,最终建立传统的自动售货机销售系统和基于短信息监控的销售系统的Petri网模型,并利用仿真工具仿真执行。针对引入无线技术的自动售货机物流过程重构问题,提出了一种抑制弧时延Petri网过程模型。模型适用于描述无线信息的决策对物流配送的影响,并与传统的自动售货机物流配送模型比较,模拟在不同缺货情况下两种配送的过程,分析过程绩效在时间方面的改进。
Vending machine is a marketing system which contains the Merchandising and the Distribution. With the development of technology, the vending machines have more functions, for example, load wireless module in traditional vending machines, through the short messaging to monitor vending machine sales and machine status; it makes the system process more complex. To make the system developers, maintenance supplies staff and monitor staff have a unified understanding of vending machine, rational organization and optimize the internal logistics and distribution methods, then make a reasonable logistics control system, it is necessary to establish a system to simulate the dynamic operation of the model accurately, and improve quantitative analysis of effects, to achieve system performance analysis.
As the vending machine system is a discrete event dynamic system, we must use a specific modeling tool. This paper introduces the theory of Petri nets. Starting from the basic Petri nets, introducing the basic principles and nature of Petri nets, then use Petri net modeling technique in the vending machine system, finally manufacture a traditional vending machine sale monitoring system and information on short sales of the system Petri net model, perform by using simulation tools. Specific to the wireless technology of vending machines logistics process reengineering issues, bring up a Petri net inhibition of the process model. This kind of model is applicable to describe the wireless information on the logistics and distribution of decision-making, comparing vending machine with the traditional logistics model, simulate the two different shortage distribution process, and analyze process performance improvements in the aspect of time.
引文
[1]Y.C.Ho,C.G.Cassandras.A new approach to the analysis of discrete event dynamic systems.Automatica,1983,19(2):149-167
[2]F.D.J.BOWDEN.a brief survey and synthesis of the roles of time in Petri nets.Information Technology Division,Defense Science and Technoogy Organisation.P.O.Box 1500,Salisbury,South Australia 5108
[3]Michael K Molly. Discrete time Stochastic Petri Net. IEEE Trans on Software Engineering.1985.417-423.
[4]Sreenivas RS,Krogh BH.ON Petri net models of infinite state supervison[J].IEEE Trans on Automatic Control,1992,37(2):274-277
[5]Bruno et al.Petri net based Object-oriented modeling of distributed systems.ACM SIGPLAN.1984,10:284-293
[6]何益波,金瓯,贺建飚.基于GSM短消息的自动售货机监控终端开发.控制技术,2009.17(4)：679-681
[7]詹昌平,金瓯.基于移动支付的自动售货机.现代电子技术,2004.17：38-40
[8]陈萌,叶桦,达飞鹏.自动售货机主控制器及执行机构的设计与实现.第七届全国信息隐藏暨多媒体信息安全学术大会,2007
[9]袁崇义.Petri网原理.北京.电子工业出版社,1998
[10]乐晓波,陈黎静.Petri网应用综述.长沙交通学院学报,2004,20(2)：51-55
[11]吴维敏,董利达,苏宏业等.基于抑制弧Petri网的离散事件系统的监控理论综述[J].浙江大学学报(工学版),2003.37(1)：42--46
[12]张东红,刑科文.离散事件系统的Petri网控制方法研究.2000
[13]曹希仁.离散事件动态系统.自动化学报,1985,11(4)：438-446.
[14]程芳真,蒋滋康.面向对象的图形化自动建模系统的研究.系统仿真学报,2000.01
[15]郑大钟,郑应平.离散事件动态系统理论：现状和展望,自动化学报.1992,18(2)
[16]Peterson J L著,吴哲辉译.PETRI网理论与系统模拟,北京.中国矿业大学出版社1998
[17]Banks,j.and Carson.J.离散事件系统的模拟.北京.清华大学出版社,1988
[18]袁崇义.Petri网原理与应用.北京.电子工业出版社.2005.32-45
[19]林闯.随机Petri网和系统性能评价.第二版.北京.清华大学出版社.2005.4：1-3, 71-75
[20]花全香,刑汉承,冯纯伯.Petri网和图文法.东南大学学报.1994,6(24)：99-103
[21]胡家宝.Petri网及其随机Petri网性能分析方法.系统工程与电子技术.1994,12-15
[22]周立新,陶瑞岩,汪菲.第三方物流项目仿真程序设计与实现.同济大学学报.2003,12(31)：178-180
[23]郑大钟,赵千川.离散事件动态系统.北京：清华大学出版社,2001
[24]吴哲辉.Petri网导论.北京：机械工业出版社,2006
[25]王丽亚,吴智铭,张钟俊.基于Petri网的离散事件系统控制理论.上海交通大学学报.1994,5(28)：13-19
[26]余世明,晁岳磊,缪仁将.自动售货机研究现状及展望.中国工程科学,2008.10(7)：51-56
[27]Donald G.Firesmith.Object-oriented requirements analysis and logical design a software engineering approach.John Wiley&Sons Inc.1993
[28]江志斌.Petri网及其在制造系统建模与控制中的应用.北京：机械工业出版社,2004.5
[29]董红斌,杨巨庆,Petri网：概念、分析方法和应用.哈尔滨师范大学自然科学学报,1999,15(5)：59-63
[30]吴哲辉.有界Petri网的活性和公平性的分析与实现.计算机学报,1989,12(4)：267-278
[31]杜玉越,李晓忠.组合Petri网的活性分析与实现.计算机学报1998,21(8)：747-752
[32]Claude Girault,Rudiger Valk.王生原,余鹏,霍金建(译)Petri nets for Systems Engineering A Guide to Modeling, Verification,and Applications,北京：电子工业出版社,2005
[33]宫世豪,杨吉江,柴跃廷等.基于有色Petri网的经营过程建模.信息与控制,2000.29：1-5
[34]DAVID R,ALLA H.Petri nets for modeling of dynamic systems-A survey.Automatic,1994,30(2):175-202.
[35]Moore,Kevin.Abraham,John K.Architecture for intelligent decision support with applications to emergency management.Proceedings of the IEEE International Conference on System,Man and Cybernetics.1994.71-76
[36]秦龙,钱林杰,王渝梅.基于GSM网络的环境监控系统的设计.计算机工程与设计,2006.27(6)：1033-1035
[37]苏小会,姜虹.基于GSM公网的自动抄表系统的设计与实现.微计算机信息,2005.21(9)117-119
[38]林国勇.购物短信服务平台的设计与实现.计算机辅助工程,2003.9
[39]余臻.基于AT指令集的远程通信的实现.厦门大学学报,2004,(2)：168
[40]TC35i AT Command Set[p].SIEMENS.2003
[41]ETSI GSM03.38.Digital cellular telecommunications system(Phase 2+).Alphabets and language-specific information(GSM 03.38 VERSION 5.6.1)
[42]ETSI GSM03.40.Digital cellular telecommunications system(Phase 2+).Technical realization of the Short Message Service(SMS).Point-to-Point(pp)(GSM 03.40 version 5.7.0),May,1998
[43]ETSI GSM03.40.Digital cellular telecommunications system(Phase 2+).Use of Data Terminal Equipment-Data Circuit terminating.Equipment(DTE-DCE)interface for Short Message Service(SMS)and Cell Broadcast Service(CBS)(GSM 07.05 version 5.5.0)january,1998
[44]中国移动通信.短信息中心与短信息实体之间接口规范
[45]郑红,李师贤.分层的面向对象Petri网模型分析.计算机科学,2002,(3)：24-26.
[46]张晓萍.物流系统仿真原理与应用.中国物质出版社,2005,55-80
[47]张晓萍,颜永年,吴耀华等.现代生产物流及仿真.北京.清华大学出版社,1998
[48]张晓川.物流学——系统、网络和物流链.北京.化学工业出版社,2004,6：77-79
[49]张贺.仿真技术在企业物流配送规划中的应用.上海海事大学硕士学位论文.2005.1
[50]李培根.制造系统性能分析建模——理论与方法[M].武汉：华中理工大学出版社,1998
[51]Lima,E.A Luders,R.Kunzle,L A.Interval Analysis of Time Petri Nets.Computational Engineering in Systems Applications,2006 The Proceedings of the Multiconference on;Beijing,China
[52]Louchka Popova-Zeugmann.Time Petri Nets:Theory,Tools and Applications.ATPN 2008,Xi an,China,2008.
[53]Jiacun Wang.Timed Petri Nets:Theory and Application. Kluwer Academic Publishers,1998.
[54]Ramchandani C..Analysis of Asynchronous Concurrent Systems by Timed Timed PetriNets.Cambridge,Massachusetts;MIT,Dept.ElectricalEngineering,PhDThesis,1974
[2]F.D.J.BOWDEN.a brief survey and synthesis of the roles of time in Petri nets.Information Technology Division,Defense Science and Technoogy Organisation.P.O.Box 1500,Salisbury,South Australia 5108
[3]Michael K Molly. Discrete time Stochastic Petri Net. IEEE Trans on Software Engineering.1985.417-423.
[4]Sreenivas RS,Krogh BH.ON Petri net models of infinite state supervison[J].IEEE Trans on Automatic Control,1992,37(2):274-277
[5]Bruno et al.Petri net based Object-oriented modeling of distributed systems.ACM SIGPLAN.1984,10:284-293
[6]何益波,金瓯,贺建飚.基于GSM短消息的自动售货机监控终端开发.控制技术,2009.17(4)：679-681
[7]詹昌平,金瓯.基于移动支付的自动售货机.现代电子技术,2004.17：38-40
[8]陈萌,叶桦,达飞鹏.自动售货机主控制器及执行机构的设计与实现.第七届全国信息隐藏暨多媒体信息安全学术大会,2007
[9]袁崇义.Petri网原理.北京.电子工业出版社,1998
[10]乐晓波,陈黎静.Petri网应用综述.长沙交通学院学报,2004,20(2)：51-55
[11]吴维敏,董利达,苏宏业等.基于抑制弧Petri网的离散事件系统的监控理论综述[J].浙江大学学报(工学版),2003.37(1)：42--46
[12]张东红,刑科文.离散事件系统的Petri网控制方法研究.2000
[13]曹希仁.离散事件动态系统.自动化学报,1985,11(4)：438-446.
[14]程芳真,蒋滋康.面向对象的图形化自动建模系统的研究.系统仿真学报,2000.01
[15]郑大钟,郑应平.离散事件动态系统理论：现状和展望,自动化学报.1992,18(2)
[16]Peterson J L著,吴哲辉译.PETRI网理论与系统模拟,北京.中国矿业大学出版社1998
[17]Banks,j.and Carson.J.离散事件系统的模拟.北京.清华大学出版社,1988
[18]袁崇义.Petri网原理与应用.北京.电子工业出版社.2005.32-45
[19]林闯.随机Petri网和系统性能评价.第二版.北京.清华大学出版社.2005.4：1-3, 71-75
[20]花全香,刑汉承,冯纯伯.Petri网和图文法.东南大学学报.1994,6(24)：99-103
[21]胡家宝.Petri网及其随机Petri网性能分析方法.系统工程与电子技术.1994,12-15
[22]周立新,陶瑞岩,汪菲.第三方物流项目仿真程序设计与实现.同济大学学报.2003,12(31)：178-180
[23]郑大钟,赵千川.离散事件动态系统.北京：清华大学出版社,2001
[24]吴哲辉.Petri网导论.北京：机械工业出版社,2006
[25]王丽亚,吴智铭,张钟俊.基于Petri网的离散事件系统控制理论.上海交通大学学报.1994,5(28)：13-19
[26]余世明,晁岳磊,缪仁将.自动售货机研究现状及展望.中国工程科学,2008.10(7)：51-56
[27]Donald G.Firesmith.Object-oriented requirements analysis and logical design a software engineering approach.John Wiley&Sons Inc.1993
[28]江志斌.Petri网及其在制造系统建模与控制中的应用.北京：机械工业出版社,2004.5
[29]董红斌,杨巨庆,Petri网：概念、分析方法和应用.哈尔滨师范大学自然科学学报,1999,15(5)：59-63
[30]吴哲辉.有界Petri网的活性和公平性的分析与实现.计算机学报,1989,12(4)：267-278
[31]杜玉越,李晓忠.组合Petri网的活性分析与实现.计算机学报1998,21(8)：747-752
[32]Claude Girault,Rudiger Valk.王生原,余鹏,霍金建(译)Petri nets for Systems Engineering A Guide to Modeling, Verification,and Applications,北京：电子工业出版社,2005
[33]宫世豪,杨吉江,柴跃廷等.基于有色Petri网的经营过程建模.信息与控制,2000.29：1-5
[34]DAVID R,ALLA H.Petri nets for modeling of dynamic systems-A survey.Automatic,1994,30(2):175-202.
[35]Moore,Kevin.Abraham,John K.Architecture for intelligent decision support with applications to emergency management.Proceedings of the IEEE International Conference on System,Man and Cybernetics.1994.71-76
[36]秦龙,钱林杰,王渝梅.基于GSM网络的环境监控系统的设计.计算机工程与设计,2006.27(6)：1033-1035
[37]苏小会,姜虹.基于GSM公网的自动抄表系统的设计与实现.微计算机信息,2005.21(9)117-119
[38]林国勇.购物短信服务平台的设计与实现.计算机辅助工程,2003.9
[39]余臻.基于AT指令集的远程通信的实现.厦门大学学报,2004,(2)：168
[40]TC35i AT Command Set[p].SIEMENS.2003
[41]ETSI GSM03.38.Digital cellular telecommunications system(Phase 2+).Alphabets and language-specific information(GSM 03.38 VERSION 5.6.1)
[42]ETSI GSM03.40.Digital cellular telecommunications system(Phase 2+).Technical realization of the Short Message Service(SMS).Point-to-Point(pp)(GSM 03.40 version 5.7.0),May,1998
[43]ETSI GSM03.40.Digital cellular telecommunications system(Phase 2+).Use of Data Terminal Equipment-Data Circuit terminating.Equipment(DTE-DCE)interface for Short Message Service(SMS)and Cell Broadcast Service(CBS)(GSM 07.05 version 5.5.0)january,1998
[44]中国移动通信.短信息中心与短信息实体之间接口规范
[45]郑红,李师贤.分层的面向对象Petri网模型分析.计算机科学,2002,(3)：24-26.
[46]张晓萍.物流系统仿真原理与应用.中国物质出版社,2005,55-80
[47]张晓萍,颜永年,吴耀华等.现代生产物流及仿真.北京.清华大学出版社,1998
[48]张晓川.物流学——系统、网络和物流链.北京.化学工业出版社,2004,6：77-79
[49]张贺.仿真技术在企业物流配送规划中的应用.上海海事大学硕士学位论文.2005.1
[50]李培根.制造系统性能分析建模——理论与方法[M].武汉：华中理工大学出版社,1998
[51]Lima,E.A Luders,R.Kunzle,L A.Interval Analysis of Time Petri Nets.Computational Engineering in Systems Applications,2006 The Proceedings of the Multiconference on;Beijing,China
[52]Louchka Popova-Zeugmann.Time Petri Nets:Theory,Tools and Applications.ATPN 2008,Xi an,China,2008.
[53]Jiacun Wang.Timed Petri Nets:Theory and Application. Kluwer Academic Publishers,1998.
[54]Ramchandani C..Analysis of Asynchronous Concurrent Systems by Timed Timed PetriNets.Cambridge,Massachusetts;MIT,Dept.ElectricalEngineering,PhDThesis,1974