移动网可达树

摘要

随着计算机技术和网络通信技术的高速发展,对于并发分布式系统已经提出了进程代数以及Petri网等形式化分析方法.近年来由于移动互联网的出现和快速发展,进程代数增加了移动性得到了pi演算,与此同时,Petri网领域,也采用谓词/变迁网、颜色网等构建移动系统模型.但它们仍存在一些不足之处.在此基础上,A.Asperti和N.Busi提出了移动网这一系统模型.移动网是在Petri网的基础上增加了移动性,并结合了进程代数的优势得到的,适于描述和刻画移动计算系统.然而,目前并没有对于移动网相应的分析方法的研究.为此本文开展了移动网模型分析方法的研究,给出了移动网的可达树的构造算法,提供了移动网模型可达性分析方法,并对移动车辆电话通信系统实例进行了分析.