质量控制过程的流程重构校验方法研究

通过广义随机Petri网结构等价性的分析和论证，提出质量保证过程的流程建立和重构方法。首先该方法依据ISO9000标准，在网络化制造企业间构造无差错的开放质量活动流程，然后根据网结构等价构造方法分解到企业内部扩展私有流程。两次建模的步骤克服了递阶和集中控制需建立和校验整个流程的缺点，保持分布自治的质量控制过程在网结构特性上能满足有界性、遍历性和标记平衡，适应了网络化制造环境中需要适应性修正的动态特征需求，为网络化制造过程中质量的重构优化找到有效手段，最后通过实例说明结论的可应用性。

Verification and reconfiguration of workflow in quality control process

An analytical method to reconfigure quality control process by equivalence definition of general stochastic Petri net is presented. Firstly, the simple opened ISO9000 quality control processes involved by different enterprises are designed and verified. Secondly, the reconfigurable complex workflow models are defined separately according to the equivalence definition method. The incompact control approaches avoid the disadvantage of reconfiguration in centralized process model with hierarchical structure. In these stages, the private quality control processes can be modified individually because local changes can be made maintaining the correct workflow's properties of safety, liveness and the balance of tokens. At last an application example is described.