人事档案管理系统及其时间Petri网工作流模型

摘要：

该文介绍了分布式企业人事档案管理系统,用时间Petri网表示了档案管理系统的工作流模型,讨论了与时间有关和操作概率分布不同的工作流模型的性质,并对基本模型进行时序分析.利用线性时间推理规则,在线性时间复杂度内解决时间推理问题.并根据给出的系统每个操作的概率,求出了在不同时间区间内系统处理不同事件的概率分布.进而对系统进行分析.

关键词：档案管理系统、时间Petri网、工作流模型、线性推理

所属期刊栏目：37

分类号：TP31(计算技术、计算机技术)

资助基金：国家自然科学基金69873012;国家重点基础研究发展计划973计划G1999032707

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：153-156，167