Workflow Management is widely used in many application areas. Modeling is the base topic of workflow research. The thesis mainly studies a methodology for constructing a workflow model and analyzing methods of workflow model.This paper introduces the system, the formal object-oriented color Petri nets description rules to abstract and simple method to describe the objective world, the relationship between the use of object-oriented color Petri net approach to a specific application system modeling, that the system object OOCPN (Object Oriented Coloured Petri Nets) model and OCN (Object Communication Net) model, and using the matrix equation invariant method to the analysis of the model of accessibility, activity, conservation, bounded and security of the test.This paper makes further expansion to the application of OOCPN , and exploring OOCPN work flow in complex and dynamic work flow modeling method study. OOCPN proposed work flow in complex and dynamic work flow application of a common method, the practical problems in the construction of OOCPN accurately model of important guiding significance and practical value. |