摘要
为了增强传统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.
出处
《系统仿真学报》
CAS
CSCD
北大核心
2008年第S2期90-93,共4页
Journal of System Simulation
基金
国家自然科学基金(60773034,90818023,90718012,60803032)
山东省科技发展计划项目(2008GG30001024)
中国科学院计算机科学国家重点实验室开放课题(SYSKF0804)
山东省“泰山学者”建设工程专项经费
山东科技大学研究生创新基金等项目的资助