由传感器、微处理器和无线通信介质组成的无线传感器得到越来越多人的关注,具有广阔的应用前景。传感器网络的重要性可以从美国国防高级研究计划署传感器信息技术计划,美国国家自然科学基金会传感器网络计划等项目中窥见一斑。作为一种全新的信息获取和处理技术,无线传感器网络广泛应用在军事、医疗、环境监控等领域,而定位是这些应用的前提和基础。因此针对无线传感器网络节点定位技术的研究具有重要的理论和实际意义。节点之间的通信是实现定位的必要途径,随着网络服务要求的提高,网络系统的复杂性体现出空间分布性、并发性、异步性、不稳定性和多样性,越来越要求采用系统工程的方法来设计和维护系统。在系统的整个生命周期内,用图形化的数学工具来完成系统的形式描述、正确性验证、性能评价、目标实现和测试将大大方便系统的使用者。随着实际问题的复杂度提高,通过形式化的方法来解决问题的需求变得越来强烈。本文对传感器网络的定位技术展开探讨,由于传感器节点受体积、成本、能量等因素的限制,且通常工作在人类难以或不宜接近的场合,因此定位技术的基本途径是:部署少量已知坐标的参考节点,其他未知坐标的节点通过测量与参考节点的距离、角度,或者依据相对位置关系、网络连通性进行一定的计算得出自身的坐标。Petri网是一种非常优秀的图形化的形式化模型,它直观、易懂和易用,适合于描述并发和分布式系统的动态行为,使用Petri网的分析技术对对象系统进行分析,能得到系统行为方面的信息。本文重点利用Petri网对无线传感器网络进行建模,并将这个模型应用于无线传感器网络的节点定位,取得了较好的定位效果。