论文部分内容阅读
无线自动售货机系统通过无线网络实现了对自动售货机的远程控制、销售信息的查询和反馈、缺货和故障信息的自动处理。该系统属于离散事件动态系统,其特点在于系统中的状态演化是由事件驱动的。Petri网是一种以图形形式研究系统组织结构和动态特性的理论,是分析具有并行、异步、同步、资源共享、随机等特征的系统的有力工具,已经成为在逻辑层次上对离散事件动态系统进行建模和分析的主要方法之一。为了对无线自动售货机系统建立一种精确的可模拟系统动态运行的模型,以形成对系统的一致的准确的理解,同时还可以定量地分析无