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

The Modeling and Analysis of Real-time Intelligence Service System Workflow Based on Petri

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

Real-time intelligence service system is a typical workflow system,this paper applies Petri for modeling real-time intelligence service,and analyses the workflow modeling.