基于工作流网的指挥信息系统军事需求分析系统研究

Military Requirement Analysis in Command Information System Based on Workflow Net

论文在指挥信息系统需求分析中引入工作流的设计,给出了基于工作流指挥信息系统军事需求分析的基本流程,并指出使用Petri网在指挥信息系统军事需求分析系统的工作流层次化模型建立过程中的不足并证明解决方案的可靠性。

A kind of workflow model is presented based on Petri net of the military requirement analysis in command information system.A feasible method of workflow model structure correctness is put forward,which can accurately test on each conflict structure of workflow model,and the theory support and the concrete algorithm is given.