Verification and Performance Analysis of Manufacturing Workflow
Xing Yan,Yi Hong,Tang Wencheng
(Department of Mechanical Engineering, SoutheastUniversity,Nanjing　210096, China)

Abstract: 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.
Keywords: general stochastic petri net;workflow;virtual enterprise