文献类型：期刊文献

英文题名：Analysis of the digital home wireless meter reading interface execution process

作者：Zheng, Hong[1]; Wang, Yihong[2]; Zhong, Weimin[1]

机构：[1] Information Science and Engineering College, East China University of Science and Technology, Shanghai, China; [2] Shanghai Health Vocational and Technical College, Shanghai, China

年份：2012

起止页码：614

外文期刊名：Proceedings - 2nd International Conference on Cloud and Green Computing and 2nd International Conference on Social Computing and Its Applications, CGC/SCA 2012

收录：EI(收录号：20131116103194)

语种：英文

外文关键词：Digital devices

摘要：The current standard of the wireless meters reading interface is used to read wireless meters data and controls the system remotely. Interfaces are often asynchronous since their purpose is for connecting multiple distributed modules without common clock and it uses instructions based command execution method for interaction. The Petri net is a powerful modeling tool for describing and studying systems, analyzing of many properties and problems associated with concurrent systems. The workflow process of instruction based command execution process in digital home wireless meter reading interface is modeled and analyzed by Petri nets. Consequently the correctness of the workflow is verified. Also, suggested modification that can be done in the workflow process, considering the priority to the urgent commands to take actions immediately without any delay. The paper gives a solution for the modification of process. ? 2012 IEEE.