With an application to workflow management based on colored Petri net

  • Authors:

  • Daoxun Xia;Xiaoyao Xie;Yang Xu

  • 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

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

Quantified Score

Hi-index 0.01

Visualization

Abstract

Workflow management promises a new solution to an ancient problem: monitoring, controlling and supporting business processes. What is new about workflow management is the explicit representation of the business process logic. Traditional workflow management models have obvious shortcomings in describing complex workflows. Such complexity is due not only to the complicated dependencies among tasks, but also to the hierarchical property of business process. In this paper, we apply Colored Petri nets to model task interfaces and composite task versions. We investigates how to analyze Colored Petri nets and modified when a transition fires. A CPN model of a Kerberos protocol is an executable model representing the states of the system and the transitions that can cause the Kerberos protocol to change state. Using CPN Tools, it is possible to investigate the behavior of the modeled Kerberos protocol using simulation, to verify properties by means of state space methods and model checking, and to conduct simulation-based performance analysis.