人事档案管理系统及其时间Petri网工作流模型 |
| |
引用本文: | 郎艳丽,刘婷,林闯. 人事档案管理系统及其时间Petri网工作流模型[J]. 计算机工程与应用, 2001, 37(18): 153-156,167 |
| |
作者姓名: | 郎艳丽 刘婷 林闯 |
| |
作者单位: | 清华大学计算机科学与技术系 |
| |
基金项目: | 国家自然科学基金(编号:69873012),国家重点基础研究发展规划项目(编号:G1999032707) |
| |
摘 要: | 该文介绍了分布式企业人事档案管理系统,用时间Petri网表示了档案管理系统的工作流模型,讨论了与时间有关和操作概率分布不同的工作流模型的性质,并对基本模型进行时序分析。利用线性时间推理规则,在线性时间复杂度内解决时间推理问题。并根据给出的系统每个操作的概率,求出了在不同时间区间内系统处理不同事件的概率分布。进而对系统进行分析。
|
关 键 词: | 档案管理系统 时间Petri网 工作流模型 线性推理 |
文章编号: | 1002-8331-(2001)18-0153-04 |
A Personnel Archives Management System and Its Workflow Model Based on Timed Petri Net |
| |
Abstract: | : This paper introduces a personnel archives management system,A timed Petri Net workflow is used to describe its workflow model and analyze the temporal relations of the model.Using these linear inference rules,It solves the inference problem within linear time complexity.This paper also discusses the properties of its model,which close related the probability distributing of manipulation.According to the probability of different manipulation,It gets the probability distributing of system at different time range. |
| |
Keywords: | : file management system,timed Petri net,workflow models,linear inference |
本文献已被 CNKI 维普 万方数据 等数据库收录! |