基于Petri网的协同工作流建模与分析

Modeling and Research on Cooperation Workflow Based on Petri Nets

为了增强传统Petri网的建模能力,将随机时间与库所关联,提出了SPPN(Stochastic Places Petri Net-随机库所Petri网),并基于SPPN分析了任务间的关系。对网上企业销售系统,采取从单个组织到组织合成的方法,应用SPPN和逻辑Petri网进行建模,并给出了逻辑工作流网模型的可达图的构造算法,分析了模型的正确性。

In order to increase modeling ability of Petri nets,SPPN which is stochastic places Petri nets based on the theory that is stochastic time integrated into places was proposed in this paper.Inter-task relations are analyzed based on SPPN.An online selling system is modeled from every organization to inter-organization synthesize based on SPPN and logical Petri net.At last,the algorithm of accessible diagram of logic workflow net is provided.Correctness of this system is analyzed in this paper.