需求信息管理的Petri网工作流模型

针对目前国内软件企业中需求信息管理存在的业务流程问题．提出合理的工作流建模方案。利用Petri网建模技术建立流程实例模型，再建立完整的工作流模型。按照Petri网的数学特性对结果模型进行的正确性分析和验证表明该模型具有良好的数学特性。基于Petri网的工作流建模方法能够为需求信息管理提供合理的解决方案。

A Petri Net Workflow Model of Requirement Information Management

Provide a reasonable solution of workflow modeling, which is aimed at the problems of business process in requirement information management of native software enterprises. Presents process instance model based on Petri net, and then builds integrated workflow model. According to the mathematical property of the Petri net, provides the analysis and the verification of the result model, and the result is that the model has well mathematical property. Presents the methods of modeling workflow based on Petri net, which is very useful to provide a reasonable solution for requirement information management.