Petri Net-Based Context-Aware Service System Modelling: An Overview

Context-aware service system provides personalized context-aware services to a user actively, according to the specific context information of the user, such as the position, the personal profile and the historical records. To build a formal model to simulate and verify the system is a crucial and key issue in context-aware service systems. Several approaches were proposed to build context-aware service system model with petri net. However, besides the basic petri net model, there are several extended petri net models that enhance the expressive power of the basic petri net in different aspects. In this paper, we summarize how different petri net models are used in modelling context-aware service systems, and try to figure out the advantages of some of the petri net models, so as to make it easier in choosing a suitable petri net model when building context-aware service systems.