Modeling and analysis of an online score system using colored Petri nets

  • Authors:

  • Yang Xu;Xiaoyao Xie;Daoxun Xia;Zhijie Liu;Lingmin Chen

  • Affiliations:

  • Key Laboratory of Information and Computing Science of Guizhou Province, Guizhou Normal University, Guiyang, China and School of Computer Science and Technology, Guizhou University, Guiyang, China;Key Laboratory of Information and Computing Science of Guizhou Province, Guizhou Normal University, Guiyang, China and School of Computer Science and Technology, Guizhou University, Guiyang, China;Key Laboratory of Information and Computing Science of Guizhou Province, Guizhou Normal University, Guiyang, China and School of Computer Science and Technology, Guizhou University, Guiyang, China;Key Laboratory of Information and Computing Science of Guizhou Province, Guizhou Normal University, Guiyang, China;Key Laboratory of Information and Computing Science of Guizhou Province, Guizhou Normal University, Guiyang, China and School of Computer Science and Technology, Guizhou University, Guiyang, China

  • Venue:
  • ASID'09 Proceedings of the 3rd international conference on Anti-Counterfeiting, security, and identification in communication
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.