基于Petri网的法院办公管理系统的设计与实现

发布时间：2020-06-13 12:24

【摘要】：当前,各级法院处理的公文案件越来越多,信息和数据量也越来越庞大,传统法院办公系统,没有结合现有法院业务处理流程,难以满足实际的办公需求。与此同时,当前的办公系统在处理大量数据时,容易卡死,在信息传递、任务传递、公文流转过程中数据传递不流畅。因此,采用Petri网技术,创建一个结合工作流技术的办公系统已经刻不容缓。本文的研究内容具体如下:(1)文章利用软件工程研究方法对现有的工作流建模技术进行分析,了解其中的优缺点,提出现有的工作流建模技术的不足之处,本文对Petri网做出完整描述,由此建模。(2)通过工作流模型对办公系统的收文和发件进行公文流转管理。这种模型的建立利用可覆盖树原理进行验证,解决了以前模型的缺陷。(3)再借助Petri网理论进行均时定量分析、利用率定量分析,通过成本约束进行业务办公的资源优化。本文研究的办公管理系统能够为法院工作提供良好的辅助作用,能够对信息进行集中化管理,对数据实现准确的分析,改变了传统的管理方式,既提高了办事工作效率又减少了人工处理的错误,促进了法院的发展。系统现在已经投入试运行阶段,运行状况良好,达到了预期设计的目标。
【图文】：

图 2-1 死锁实例图图解实例涵盖着了四个库所 012P , P,P,P0，T1，P0，，P3，P2，T2，T3 存在P0)∪ Pr ev(P1)={T0,T1}, P0)∪Next(P1)={T0,T1,T2}， P0,P1}) Next({P0,P1})，因此该个办公系统工作流建模下出现库所循环实际又会涵盖到有死循环、活循工作流建模下完成了附加条件添增办公系统工作流建模下连续不断进变迁死循环，此时在办公系统工作网涵盖着了库所活循环、变迁活循对应着死锁状态。

基于 Petri 网的法院办公管理系统的设计与实现能够发现这样在变迁建模过程中将模下在展开可控死锁操作，此时对可完成进程控制。倘若在办公系统在办公系统工作流建模下完成 Petri对应完成实例展示，其中，Prev 程的死锁的限定， {P}0,1P 为 Petri网 443v P NextP T，此时该个{P4 }将
【学位授予单位】：湖南大学
【学位级别】：硕士
【学位授予年份】：2018
【分类号】：TP311.52;TP301.1

【参考文献】

相关期刊论文 前10条

1 徐劲松;丁志强;陈卫;;一种改进的柔性工作流过程定义元模型研究[J];计算机工程与应用;2008年04期

2 宋巍;窦万春;刘茜萍;;时间约束Petri网及其可调度性分析与验证[J];软件学报;2007年01期

3 翟正利;吴哲辉;杨扬;;时间Petri网保持活性、有界性的两个充要条件[J];计算机科学;2006年09期

4 蒋国银;董利红;;工作流过程建模理论综述[J];计算机系统应用;2006年03期

5 唐达,刘丹妮;一种工作流时间截止期限的动态验证方法[J];计算机集成制造系统;2004年09期

6 曾庆田;基于同步合成的结构复杂Petri网的行为描述(英文)[J];软件学报;2004年03期

7 李慧芳,范玉顺;基于时间Petri网的工作流模型分析(英文)[J];软件学报;2004年01期

8 张信一,黎燕;基于Petri网的工作流建模[J];微机发展;2003年06期

9 陈翔;基于广义随机Petri网的工作流性能分析[J];计算机集成制造系统-CIMS;2003年05期

10 李建强,范玉顺;一种工作流模型的性能分析方法[J];计算机学报;2003年05期

本文编号：2711176