Modeling and analysis of an online score system using Colored Petri Nets

An optimized streamline online score system is the key to score efficiently and effectively. In this paper, an approach of modeling and optimizing the online score process was proposed using the Hierarchical Colored Petri Nets (HCP-nets). Founded on the HCP-net based online score process model, CPN Tools, a Colored Petri Nets simulation tool, was adopted to evaluate the outer and inner performances of the system, such as scan, score, and resource utilization. Model checking is performed in CPN Tools. After state space analysis, the concurrency, conflict and causal dependency in the online score process are illustrated. According to the results, the service efficiency and service quality of online score system are improved by applying the methods of process redesign and optimization like combining tasks and integrating resources.