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

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

单位：山东科技大学信息科学与工程学院 中国科学院计算机科学国家重点实验室