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

Modeling and Research on Cooperation Workflow Based on Petri Nets

作　　者：周月明[1] 杜玉越[1,2] 

机构地区：[1]山东科技大学信息科学与工程学院,青岛266510 [2]中国科学院计算机科学国家重点实验室,北京100080

出　　处：《系统仿真学报》2008年第S2期90-93,共4页Journal of System Simulation

基　　金：国家自然科学基金(60773034,90818023,90718012,60803032);山东省科技发展计划项目(2008GG30001024);中国科学院计算机科学国家重点实验室开放课题(SYSKF0804);山东省“泰山学者”建设工程专项经费;山东科技大学研究生创新基金等项目的资助

摘　　要：为了增强传统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.

关 键 词：协同工作流 随机库所Petri网 逻辑Petri网 逻辑工作流网 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]