国产精品婷婷久久久久久,国产精品美女久久久浪潮av,草草国产,人妻精品久久无码专区精东影业

petri網(wǎng)在業(yè)務(wù)過(guò)程建模中的應(yīng)用.doc

約7頁(yè)DOC格式手機(jī)打開(kāi)展開(kāi)

petri網(wǎng)在業(yè)務(wù)過(guò)程建模中的應(yīng)用,petri網(wǎng)在業(yè)務(wù)過(guò)程建模中的應(yīng)用頁(yè)數(shù)7 字?jǐn)?shù)6023摘要：業(yè)務(wù)過(guò)程建模是工作流管理系統(tǒng)的基礎(chǔ)，當(dāng)前人們對(duì)業(yè)務(wù)過(guò)程建模技術(shù)還缺乏系統(tǒng)研究。本篇文章主要是結(jié)合我們實(shí)現(xiàn)的業(yè)務(wù)過(guò)程建模工具綜述了petri網(wǎng)在業(yè)務(wù)過(guò)程的形式化表示、正確性證明、性能評(píng)價(jià)和模型優(yōu)化等方面的應(yīng)用。關(guān)鍵詞：工作流管理系統(tǒng),工作流模型,...
編號(hào):10-29139大小:236.00K
分類: 論文>計(jì)算機(jī)論文

內(nèi)容介紹

此文檔由會(huì)員 趙亮 發(fā)布

Petri網(wǎng)在業(yè)務(wù)過(guò)程建模中的應(yīng)用
頁(yè)數(shù) 7 字?jǐn)?shù) 6023
摘 要：
業(yè)務(wù)過(guò)程建模是工作流管理系統(tǒng)的基礎(chǔ)，當(dāng)前人們對(duì)業(yè)務(wù)過(guò)程建模技術(shù)還缺乏系統(tǒng)研究。本篇文章主要是結(jié)合我們實(shí)現(xiàn)的業(yè)務(wù)過(guò)程建模工具綜述了Petri網(wǎng)在業(yè)務(wù)過(guò)程的形式化表示、正確性證明、性能評(píng)價(jià)和模型優(yōu)化等方面的應(yīng)用。

關(guān)鍵詞：工作流管理系統(tǒng),工作流模型,Petri網(wǎng)

參考文獻(xiàn)
1. C. A. Ellis & G. J. Nutt. Modeling and Enactment of Workflow System. Application and Theory of Petri Nets, Springer-Verlag.Chicago,Ⅲ,1994,1-16
2. David Hollingsworth. The Workflow Reference Model. Workflow Management Coalition. 29-Nov-1994
3. To-yat Cheung. Petri nets for protocol engineering. Computer Communications 19(1996), 1250-1257
4. W. M. P. Van der Aalst. Verification of Workflow Nets. In P. Azema and G. Balbo, editors, Application and Theory of Petri Nets 1997, Volume 1248 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1997, 407-426

TA們正在看...