petri网在业务过程建模中的应用.doc
约7页DOC格式手机打开展开
petri网在业务过程建模中的应用,petri网在业务过程建模中的应用页数7 字数6023摘要：业务过程建模是工作流管理系统的基础，当前人们对业务过程建模技术还缺乏系统研究。本篇文章主要是结合我们实现的业务过程建模工具综述了petri网在业务过程的形式化表示、正确性证明、性能评价和模型优化等方面的应用。关键词：工作流管理系统,工作流模型,...
内容介绍
此文档由会员 赵亮 发布
Petri网在业务过程建模中的应用
页数 7 字数 6023
摘 要：
业务过程建模是工作流管理系统的基础，当前人们对业务过程建模技术还缺乏系统研究。本篇文章主要是结合我们实现的业务过程建模工具综述了Petri网在业务过程的形式化表示、正确性证明、性能评价和模型优化等方面的应用。
关键词：工作流管理系统,工作流模型,Petri网
参考文献
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
页数 7 字数 6023
摘 要：
业务过程建模是工作流管理系统的基础，当前人们对业务过程建模技术还缺乏系统研究。本篇文章主要是结合我们实现的业务过程建模工具综述了Petri网在业务过程的形式化表示、正确性证明、性能评价和模型优化等方面的应用。
关键词：工作流管理系统,工作流模型,Petri网
参考文献
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
