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

• 作者: 刘婷 林闯 郎艳丽
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 档案管理系统 时间Petri网 工作流模型 线性推理
• 年，卷（期）: 2001,（18）
• 所属期刊栏目: 工程与应用
• 页码范围: 153-156，167
• 页数: 5页
• 分类号: TP31
• 字数: 5233字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2001.18.052

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林闯	清华大学计算机科学与技术系	151	10702	46.0	102.0
2	刘婷	清华大学计算机科学与技术系	27	712	12.0	26.0
3	郎艳丽	清华大学计算机科学与技术系	1	20	1.0	1.0