基于Petri网的无线自动售货机系统建模与应用研究

发布时间：2020-05-08 14:22

【摘要】： 无线自动售货机系统通过无线网络实现了对自动售货机的远程控制、销售信息的查询和反馈、缺货和故障信息的自动处理。该系统属于离散事件动态系统,其特点在于系统中的状态演化是由事件驱动的。Petri网是一种以图形形式研究系统组织结构和动态特性的理论,是分析具有并行、异步、同步、资源共享、随机等特征的系统的有力工具,已经成为在逻辑层次上对离散事件动态系统进行建模和分析的主要方法之一。 为了对无线自动售货机系统建立一种精确的可模拟系统动态运行的模型,以形成对系统的一致的准确的理解,同时还可以定量地分析无线系统的效率改进,从而实现无线自动售货机系统的绩效分析。本文将Petri网建模技术应用到无线自动售货机系统的建模和应用研究中,分别对系统的交易流程和物流配送过程建立了它们的Petri网模型。对无线自动售货机系统的交易流程的建模采用自顶向下的建模方法,首先建立系统的主要活动模块的顶层Petri网模型,然后采用三种不同连续关系的Petri网模型对这些模块进行细化,最终得出无线自动售货机系统完整的Petri网模型,并在HPSIM工具上执行。为了能够对无线自动售货机系统物流配送过程进行建模,本文定义了一种带抑制弧的时延Petri网模型,在一定的实际配送环境下建模系统的物流配送过程,考虑到绩效分析的需要,还对传统方式的自动售货机系统的物流配送过程建立了含有时间因素的Petri网模型。在不同的缺货情况下同时模拟两种系统物流配送过程的运行,比较两者的时间性能指标。 本文为系统复杂的交易流程建立了精确的Petri网模型描述,使系统的开发人员、监控人员和维护人员对系统形成了一致的准确的理解,为系统的分析和改进打下良好基础。同时对系统物流配送过程的建模将无线系统的效率改进进行量化,从而实现了无线自动售货机系统的时间绩效分析。
【图文】：

统与分散的货机保持实时监控。无线自动售货机系统的运行环境主要由系统主体、移动终端(手机用户、无线自动售货机)、网络支撑平台和移动计费系统组成，其网络结构如图3.1所示。无线自动售货机无线自动售货机图3.1无线白动售货机系统网络结构Fig.3.1NetworkofWirelessVendingMaehineSystem根据系统建模的实际需要，，需要对无线自动售货机系统的几个主要的组成部分的工作原理及特点进行分析，有利于对系统建立准确的模型。 3.1USsD系统平台usso是 ETsl(EuropeanTelecommunieationsstandardsInstitute欧洲电信标准委员会)定义的一种新型交互式数据业务，是基于GSM移动通信网络的一种数据补充业务。

在整个USSD系统中，用户通过拨号，以GSM网为传输载体，通过移动终D接入号码，连接USSD服务器。USSD服务器解析用户输入的具体参数，不同请求，找到该请求的应用服务器，应用服务器将把显示信息通过GSM手机用户，实现交易。图3.2是USSD系统结构图。
【学位授予单位】：大连理工大学
【学位级别】：硕士
【学位授予年份】：2007
【分类号】：TH692.6

【参考文献】

相关期刊论文 前10条

1 乐晓波,陈黎静;Petri网应用综述[J];长沙交通学院学报;2004年02期

2 柳赛虎;唐立;高建龙;;手机自动售货机的嵌入式系统设计[J];单片机与嵌入式系统应用;2006年02期

3 陈宣励,崔锦秀;USSD系统与应用简介[J];广西通信技术;2004年03期

4 郑大宇;王巍;;基于网络的自动售货机的实现方法[J];哈尔滨商业大学学报(自然科学版);2005年06期

5 刘威,武家春,廖建新,丁轶;非结构化补充业务数据中心的设计与实现[J];计算机工程与应用;2005年10期

6 江海f,范辉;USSD对话有限状态自动机的设计与实现[J];计算机应用;2005年09期

7 陈安宝;基于手机短信应答的自动售货机[J];科技情报开发与经济;2004年09期

8 郑应平;离散事件系统理论研究和应用进展（Ⅰ）[J];控制与决策;1996年02期

9 曹希仁;;离散事件动态系统[J];自动化学报;1985年04期

10 郑大钟;郑应平;;离散事件动态系统理论:现状和展望[J];自动化学报;1992年02期

本文编号：2654784