基于Petri網的工作流建模和分析方法研究.pdf_第1頁
已閱讀1頁，還剩64頁未讀， 繼續(xù)免費閱讀

下載本文檔

版權說明：本文檔由用戶提供并上傳，收益歸屬內容提供方，若內容存在侵權，請進行舉報或認領

文檔簡介

1、工作流技術作為計算機支持的協同工作(Computer Supported Cooperative Work, CSCW)領域的一項重要應用，在企業(yè)過程管理中發(fā)揮了重大作用。工作流管理系統(tǒng)(Workflow Management System, WfMS)是用來定義和創(chuàng)建工作流，并對工作流的執(zhí)行過程進行監(jiān)督和管理。工作流模型(過程定義)是工作流管理系統(tǒng)的一個核心問題，其質量直接影響了整個工作流管理系統(tǒng)的應用范圍和對變化的適應能力。

2、　　工作流管理聯盟(Workflow Management Coalition，WfMC)提出了一種基于XML的工作流過程定義語言(XML Process Define Language,XPDL)，已經成為事實上的工作流過程描述語言。它使得映射過程可以獨立于不同的建模方法。工作流需要形式化的模型方法，形式化方法有利于對模型進行清晰、易懂、無二義性的定義和形式化的分析。Petri網作為研究離散、并發(fā)系統(tǒng)的有利工具，是對工作流進行建模和分

3、析的最主要的形式化方法。工作流的建模和分析技術是工作流管理系統(tǒng)的設計和實現的基礎。結合XPDL和Petri網在建模方面的優(yōu)點，本文給出了XPDL的圖形化表示方法,并在此基礎上提出了從XPDL到Petri網的映射方法。由于XPDL的通用性和Petri網成熟分析技術，使得這種模型的轉化方法具有普遍性和實用性。
　　工作流模型分析方法包括模型的合理性分析、化簡分析和出現序列分析。本文提出了一種通俗易懂的工作流模型的化簡分析方法，給出了其

溫馨提示

  • 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請聯系上傳者。文件的所有權益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙，網頁內容里面會有圖紙預覽，若沒有圖紙預覽就沒有圖紙。
  • 4. 未經權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
  • 5. 眾賞文庫僅提供信息存儲空間，僅對用戶上傳內容的表現方式做保護處理，對用戶上傳分享的文檔內容本身不做任何修改或編輯，并不能對任何下載內容負責。
  • 6. 下載文件中如有侵權或不適當內容，請與我們聯系，我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論