摘要
工作流建模是公文管理系统开发的重要课题,但以往的文献中却很少考虑公文流管理过程中的时间因素。所以结合高校公文管理工作流的实际应用环境,提出基于时间Petri网的公文管理系统工作流模型,并利用四种基本工作流模型的线性时间推理规则,对其进行时序分析,在线性时间复杂度内解决时间推理问题,用具体数据分析了公文管理工作流模型的性能。对实际公文管理系统的开发具有指导作用。
Modeling workflow is an important task on document management design,but few people calculates the time factor of document management in the past literature. This paper presents a model of document management based on time Petri nets, which allows for the real application circumstances of the workflow of university document management. Further more, Using linear inference rules of four basic workflow model, it analyzes the temporal relations of the model and solves the time inference problem within linear time complexity. This is valuable to guiding the document management design.
出处
《信息技术》
2007年第8期117-121,共5页
Information Technology
