基于Petri網(wǎng)的工作流建模和分析方法研究.pdf

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

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

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