Modeling And Analysis Of Context-Aware System Based On Petri Net

With the development of pervasive computing, context-aware system is the core of pervasive computing that has received more attention. It mainly studies the acquisition, the representation and the ratiocination of context in order to build a software system providing intelligent services through the information contained in the context.The framework of context-aware system is to solve problems like the complexity of cognitive system development and long cycle periods. Yet, the lack of industry-wide standardization has produced many inconveniences in systematic safety and correctness verification. Formal methods have been proved efficient in supporting large complicated systems through transforming non-standard behaviors into strictly formalized description, thus playing an important role as a bridge between the practical applications development and the systematically formal analog and verification.Petri net is an important formal analytical method applied to the description of asynchronous, concurrent, stochastic system models. This thesis is to modelize and analyze the context-aware system based on Petri net, which includes three major parts. To put forward a context-aware application based on the scenes of medical wards through a detailed introduction to Petri net and context-aware system; To modelize the proposed context-aware system with the Petri net based on PT extension and analyze its static and dynamic characteristics; To apply colored time Petri net into analyzing the description of systematic time behaviors and multi-resources, and to verify the systematic completeness and correctness through algebraic analysis and reachability graph.