petri網(wǎng)在業(yè)務(wù)過程建模中的應(yīng)用.doc
約7頁DOC格式手機打開展開
petri網(wǎng)在業(yè)務(wù)過程建模中的應(yīng)用,petri網(wǎng)在業(yè)務(wù)過程建模中的應(yīng)用頁數(shù)7 字數(shù)6023摘要：業(yè)務(wù)過程建模是工作流管理系統(tǒng)的基礎(chǔ)，當前人們對業(yè)務(wù)過程建模技術(shù)還缺乏系統(tǒng)研究。本篇文章主要是結(jié)合我們實現(xiàn)的業(yè)務(wù)過程建模工具綜述了petri網(wǎng)在業(yè)務(wù)過程的形式化表示、正確性證明、性能評價和模型優(yōu)化等方面的應(yīng)用。關(guān)鍵詞：工作流管理系統(tǒng),工作流模型,...
內(nèi)容介紹
此文檔由會員 趙亮 發(fā)布
Petri網(wǎng)在業(yè)務(wù)過程建模中的應(yīng)用
頁數(shù) 7 字數(shù) 6023
摘 要：
業(yè)務(wù)過程建模是工作流管理系統(tǒng)的基礎(chǔ)，當前人們對業(yè)務(wù)過程建模技術(shù)還缺乏系統(tǒng)研究。本篇文章主要是結(jié)合我們實現(xiàn)的業(yè)務(wù)過程建模工具綜述了Petri網(wǎng)在業(yè)務(wù)過程的形式化表示、正確性證明、性能評價和模型優(yōu)化等方面的應(yīng)用。
關(guān)鍵詞：工作流管理系統(tǒng),工作流模型,Petri網(wǎng)
參考文獻
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
頁數(shù) 7 字數(shù) 6023
摘 要：
業(yè)務(wù)過程建模是工作流管理系統(tǒng)的基礎(chǔ)，當前人們對業(yè)務(wù)過程建模技術(shù)還缺乏系統(tǒng)研究。本篇文章主要是結(jié)合我們實現(xiàn)的業(yè)務(wù)過程建模工具綜述了Petri網(wǎng)在業(yè)務(wù)過程的形式化表示、正確性證明、性能評價和模型優(yōu)化等方面的應(yīng)用。
關(guān)鍵詞：工作流管理系統(tǒng),工作流模型,Petri網(wǎng)
參考文獻
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
