制造系统工作流设计的校验和性能分析方法

基于广义随机Petri网提出了对工作流的 流程和资源角色分配的转化规则。在此基础上, 得出了在虚拟企业中，重组流程、资源和角色的网模型正确性和稳定性应该具备的条件是：安全、活性和标记守恒。对制造系统重组变化性能的定量分析，可以通过对工作流转化的广义随机Petri网的稳定状态概率进行模拟计算和评价，它为敏捷化快速重组优化找到了有效的手段。最后，通过实例说明了判定和分析的一般步骤。

Verification and Performance Analysis of Manufacturing Workflow

An analytical method to evaluate correctness and stability is introduced during work-flow change. The integration of control flow, task, resource and data aspects in the modeling framework are allowed. The Petri should have safeness, liveness and recurrence. To provide the dynamic behavior,the article outlines steps to optimize activities by probability of stability using general stochastic Petri nets. Finally an application example shows the general pncedure of apply-ing the method.