基于有色Petri网的经营过程建模

在经营过程重组（BPR）的过程中，利用仿真工具对经营过程建模与仿真分析，被认为是快速和顺利实施BPR的必要手段．目前大多数BPR支持工具局限于对过程的仿真，而Petri网则因其严格的数学定义和丰富的分析方法，不仅能够仿真过程的性能参数，还可以对过程的结构进行分析，从而在过程诊断和重组方案的设计中发挥重要作用．将有色Petri网应用于经营过程建模，可以较好地描述经营过程的不确定性、并发性和资源共享等问题，并解决模型中存在的冲突、死锁等问题，同时避免了普通Petri网过于复杂的缺点．

BUSINESS PROCESS MODELING BASED ON COLORED PETRI NETS

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.