摘要
基于广义随机Petri网提出了对工作流的流程和资源角色分配的转化规则 .在此基础上 ,得出了在虚拟企业中 ,重组流程、资源和角色的网模型正确性和稳定性应该具备的条件是 :安全、活性和标记守恒 .对制造系统重组变化性能的定量分析 ,可以通过对工作流转化的广义随机Petri网的稳定状态概率进行模拟计算和评价 ,它为敏捷化快速重组优化找到了有效的手段 .最后 ,通过实例说明了判定和分析的一般步骤 .
An analytical method to evaluate correctness and stability is introduced during workflow change. The integration of control flow, task, resource and data aspects in the modeling framework are allowed. The Petri should be 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 procedure of applying the method.
出处
《西安交通大学学报》
EI
CAS
CSCD
北大核心
2002年第3期278-281,共4页
Journal of Xi'an Jiaotong University
基金
国家自然科学基金重点资助项目 (5 98895 0 4)
