论文部分内容阅读
无线自动售货机系统通过无线网络实现了对自动售货机的远程监视和控制,便于企业内部物流管理及向顾客提供方便的手机购物。为了对这一复杂系统形成一致的理解,分析系统的正确性和可靠性,进而定量评估系统的绩效,需要建立一种严谨的可模拟系统动态运行的模型。由于无线自动售货机系统属于离散动态系统,本文采用了描述分布式并发系统的Pi-演算过程代数方法为系统建模。分别对系统的交易流程和物流配送过程建立了Pi-演算模型。对无线自动售货机系统的交易流程的建模采用自顶向下的建模方法,首先建立系统的主要活动模块的顶层