Modeling And Analysis Of Smart Home System Based On Petri Nets

With the improvement of people’s living standard, the traditional computing model is increasingly unable to meet the people’s demand of the intelligent software. In the end of the20th century, the concept of the pervasive computing appeared in people’s vision, and soon became a popular field. Pervasive Computing uses the context-aware technology to make the software accord to the context information to provide intelligent services for people, and makes the computer disappear in the people’s vision. Moreover, this technology also changes the compute mode from traditional operation for human-computer interaction, into the IntelliSense era.Pervasive Computing has been able to achieve the intelligent features, mainly due to the context-aware technology. The context-aware technology mainly concerned with how to collect the context, how to represent the context and how to carry out the context reasoning. This paper mainly discusses how to handle and design these three aspects of the smart home system. First, this paper proposes a model of the smart home context based on its own characteristics. And then according to the smart home’s needs and the advantages of the context-aware workflow framework, the paper will use the FollowMe framework to build the systems. Only static design and analysis is not enough for the smart home system. The Petri net as an important formal analysis method is suitable for describing the concurrent, asynchronous and uncertain system model. So the paper, using the Petri nets for system modeling and analysis, provides the theoretical foundation for the system. The paper builds the model for high-level context based on Petri nets, and describes the high-level context from two aspects, the static and the dynamic, which describes the high-level context more accurately. By using the diagram method and algebraic analysis to check the exactness and completeness of the system, people can find the potential errors and thus can avoid them before the system has been operated.