摘要
该文介绍了分布式企业人事档案管理系统，用时间Petri网表示了档案管理系统的工作流模型，讨论了与时间有关和操作概率分布不同的工作流模型的性质，并对基本模型进行时序分析。利用线性时间推理规则，在线性时间复杂度内解决时间推理问题。并根据给出的系统每个操作的概率，求出了在不同时间区间内系统处理不同事件的概率分布。进而对系统进行分析。
： 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．
出处
《计算机工程与应用》
CSCD
北大核心
2001年第18期153-156,167,共5页
Computer Engineering and Applications
基金
国家自然科学基金(编号:69873012)
国家重点基础研究发展规划项目(编号:G1999032707)
