【摘要】：當前,各級法院處理的公文案件越來越多,信息和數(shù)據(jù)量也越來越龐大,傳統(tǒng)法院辦公系統(tǒng),沒有結(jié)合現(xiàn)有法院業(yè)務(wù)處理流程,難以滿足實際的辦公需求。與此同時,當前的辦公系統(tǒng)在處理大量數(shù)據(jù)時,容易卡死,在信息傳遞、任務(wù)傳遞、公文流轉(zhuǎn)過程中數(shù)據(jù)傳遞不流暢。因此,采用Petri網(wǎng)技術(shù),創(chuàng)建一個結(jié)合工作流技術(shù)的辦公系統(tǒng)已經(jīng)刻不容緩。本文的研究內(nèi)容具體如下:(1)文章利用軟件工程研究方法對現(xiàn)有的工作流建模技術(shù)進行分析,了解其中的優(yōu)缺點,提出現(xiàn)有的工作流建模技術(shù)的不足之處,本文對Petri網(wǎng)做出完整描述,由此建模。(2)通過工作流模型對辦公系統(tǒng)的收文和發(fā)件進行公文流轉(zhuǎn)管理。這種模型的建立利用可覆蓋樹原理進行驗證,解決了以前模型的缺陷。(3)再借助Petri網(wǎng)理論進行均時定量分析、利用率定量分析,通過成本約束進行業(yè)務(wù)辦公的資源優(yōu)化。本文研究的辦公管理系統(tǒng)能夠為法院工作提供良好的輔助作用,能夠?qū)π畔⑦M行集中化管理,對數(shù)據(jù)實現(xiàn)準確的分析,改變了傳統(tǒng)的管理方式,既提高了辦事工作效率又減少了人工處理的錯誤,促進了法院的發(fā)展。系統(tǒng)現(xiàn)在已經(jīng)投入試運行階段,運行狀況良好,達到了預(yù)期設(shè)計的目標。
【圖文】：

圖 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})，因此該個辦公系統(tǒng)工作流建模下出現(xiàn)庫所循環(huán)實際又會涵蓋到有死循環(huán)、活循工作流建模下完成了附加條件添增辦公系統(tǒng)工作流建模下連續(xù)不斷進變遷死循環(huán)，此時在辦公系統(tǒng)工作網(wǎng)涵蓋著了庫所活循環(huán)、變遷活循對應(yīng)著死鎖狀態(tài)。

基于 Petri 網(wǎng)的法院辦公管理系統(tǒng)的設(shè)計與實現(xiàn)能夠發(fā)現(xiàn)這樣在變遷建模過程中將模下在展開可控死鎖操作，此時對可完成進程控制。倘若在辦公系統(tǒng)在辦公系統(tǒng)工作流建模下完成 Petri對應(yīng)完成實例展示，其中，Prev 程的死鎖的限定， {P}0,1P 為 Petri網(wǎng) 443v P NextP T，此時該個{P4 }將
【學位授予單位】：湖南大學
【學位級別】：碩士
【學位授予年份】：2018
【分類號】：TP311.52;TP301.1

【參考文獻】

相關(guān)期刊論文 前10條

1 徐勁松;丁志強;陳衛(wèi);;一種改進的柔性工作流過程定義元模型研究[J];計算機工程與應(yīng)用;2008年04期

2 宋巍;竇萬春;劉茜萍;;時間約束Petri網(wǎng)及其可調(diào)度性分析與驗證[J];軟件學報;2007年01期

3 翟正利;吳哲輝;楊揚;;時間Petri網(wǎng)保持活性、有界性的兩個充要條件[J];計算機科學;2006年09期

4 蔣國銀;董利紅;;工作流過程建模理論綜述[J];計算機系統(tǒng)應(yīng)用;2006年03期

5 唐達,劉丹妮;一種工作流時間截止期限的動態(tài)驗證方法[J];計算機集成制造系統(tǒng);2004年09期

6 曾慶田;基于同步合成的結(jié)構(gòu)復(fù)雜Petri網(wǎng)的行為描述(英文)[J];軟件學報;2004年03期

7 李慧芳,范玉順;基于時間Petri網(wǎng)的工作流模型分析(英文)[J];軟件學報;2004年01期

8 張信一,黎燕;基于Petri網(wǎng)的工作流建模[J];微機發(fā)展;2003年06期

9 陳翔;基于廣義隨機Petri網(wǎng)的工作流性能分析[J];計算機集成制造系統(tǒng)-CIMS;2003年05期

10 李建強,范玉順;一種工作流模型的性能分析方法[J];計算機學報;2003年05期

本文編號：2711176