Cart (Loading....) | Create Account
Close category search window

With an application to workflow management based on Colored Petri net

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Daoxun Xia ; Key Lab. of Inf. & Comput. Sci. of Guizhou Province, Guizhou Normal Univ., Guiyang, China ; Xiaoyao Xie ; Yang Xu

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.

Published in:

Anti-counterfeiting, Security, and Identification in Communication, 2009. ASID 2009. 3rd International Conference on

Date of Conference:

20-22 Aug. 2009

Need Help?

IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.