论文部分内容阅读
由于无线传感器网络（wireless sensor networks，WSN）开发缺少一种通用的理论模型，从多Agent系统的角度，以面向对象Petri网（Object-Oriented Petrinets，OPN）为语义基础，建立了WSN形式化模型（Wireless Sensor Networks Model，WSNM）。在WSNM中，从微观和宏观层次上研究了传感器节点Agent模型、网络通讯模型。WSNM能描述系统的静态和动态语义，可以形象、直观地刻画系统的整体和个体特性，同时可利用Petri网的数学