动态源路由协议的Petri网建模

动态源路由协议(Dynamic Source Routing,DSR)是移动网络中使用的一种路由协议,是一种简单高效的路由协议。DSR路由协议主要是由路由发现和路由维护两个部分组成。Petri网是对离散并行系统的数学表示,可以通过直观图形来清晰的来表示复杂的系统运作方式。通过使用Petri网对DSR路由协议进行建模可以使读者清晰的理解DSR路由协议的工作方式。