Abstract: Modeling and simulation are the effective approaches to implementing BPR(Business Process Reengineering) projects. However, most current BPR tools pay too much attention to process simulation while overlooking the structural analysis of business process. Petri Nets, based on rigorous semantics and abundant analysis methods, can satisfy this requirement. Colored Petri Nets (CPN) allows explicitly describing uncertainty, concurrency and resource sharing, which are the basic characteristics of business process. The validating methodology based on it can secure the reliability of the process model, such as deadlock-free, conflict resolution, etc. It also simplifies the specification of business processes, one significant shortcoming of traditional Petri Nets. A business model framework is presented in this work.