文献类型：期刊文献

英文题名：Formal modeling and verification of digital home RF protocol

作者：Zheng, Hong[1,2]; Jiang, Yue[3]; Liu, Yun[1]

机构：[1] School of Information Science and Engineering, East China University of Science and Technology, Shanghai 200237, China; [2] Shanghai Key Laboratory of Computer Software Evaluating and Testing, Shanghai 200235, China; [3] Training Center JiangXi Electric Power Company, Nanchang 330032, China

年份：2011

卷号：7

期号：7

起止页码：2412

外文期刊名：Journal of Computational Information Systems

收录：EI(收录号：20112814144073)

语种：英文

外文关键词：Digital radio - Digital devices

摘要：Wireless radio frequency (RF) protocol of the digital home runs on control equipments, RF repeater and terminal equipments. RF protocol provides a quick, flexible, and reliable means to communicate, identify, track, and manage a variety of items. It has the potential to significantly alter how processes occur and how companies operate. The paper models and verifies RF Protocol by Petri nets which can ensure reliable execution of RF protocol in the digital home environment and analyze its dynamic properties. Copyright ? 2011 Binary Information Press.