基于Petri网的即时情报服务系统工作流建模和分析

摘要

基于Petri网络建立工作流,既可以将Petri网络作为图形化的建模工具,同时又可以利用它坚实的数学定义,对模型做出精确的分析,可以降低建模难度、简化过程,同时又能保证所建模型的正确性.本文通过对即时情报服务系统的业务流程分析,提出了一个基于Petri网络的即时情报服务系统工作流模型,并对该工作流模型进行正确性分析.该模型成功应用于即时情报服务系统建设中.