机译:基于Petri网和相关图的自诊断新方法用于无线传感器网络的故障管理
机译:从无线传感器网络到无线人体局域网:使用PAT进行安全性的正式建模和验证
机译:从无线传感器网络到无线人体局域网:使用PAT进行安全性的正式建模和验证
机译:一种降低无线传感器网络传感器节点功耗的方法:Mica2案例分析
机译:用于监视智能电网的无线传感器网络:设计和实验验证。
机译:基于模糊Petri网的无线传感器网络可靠节能高效多级路由算法
机译:利用Petri网约简的增量验证技术:一种Petri网方法。