期刊文献+

采用时间约束Petri网分析优化广电过程模型

The Application of Time Petri Nets Modeling in GZCATV BPR Project
下载PDF
导出
摘要 企业过程模型评价效果很难通过简单途径取得定量的对比分析结果,本文提出时间约束Petri网理论,在企业过程模型的主要指标采用Little转化为以时间为主的评价体系的基础上,研究采用时间约束Petri网建模对企业过程模型分析的方法和分析优化步骤,并针对广电网络过程模型的具体流程给出的实际案例加以形式化分析,得出优化的方案。 This paper is a study on the application of Time Petri nets modeling in BPR. Business Process Reengineering (BPR) is a very important method of improving modern enterprise management, however, the precise Simulation and evaluation is hard to give. A possible method to evaluate the process reengineering efficiency is given through the analysis of Little's Law and model checking based on time Petri nets. The application offers powerful simulating and monitoring tool in BPR project, and assists to optimize most cases. It is worth further developing in radio and TV industrial area.
出处 《计算技术与自动化》 2007年第1期94-97,共4页 Computing Technology and Automation
关键词 时间约束PETRI网 企业过程模型优化 模型检验 Time Petri Nets Business Process Reengineering Model Checking
  • 相关文献

参考文献6

二级参考文献15

  • 1袁崇义.Petri网[M].东南大学出版社,1989..
  • 2何国伟 王纬.软件质量可靠性[M].长沙:国防科技大学出版社,1998..
  • 3李慧芳 范玉顺.工作流系统时间管理.软件学报,2002.13(8):1552~1558.http://www.jos.org.cn/1000-9825/13/1552.pdf.,.
  • 4[1]W M P van der Aslst. 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
  • 5[2]W M P van der Aslst. The Application of Petri Nets to Workflow Management.The Journal of Circuits,Systems and Computers, 1998,8(1):21~66
  • 6[3]W M P van der Aslst, Arthur H M. Ter Hofstede. Verification of Workflow Task Structures: A Petri-Net-Based Approach. Information Systems, 2000,25(1):43~69
  • 7[4]Javier Esparaza. Reduction and Synthesis of Live and Bounded Free Choice Petri Nets Information and Computation 1994,114:50~87
  • 8[5]Tadao Murata. Petri Nets:Properties,Analysis and Applications Proceeding of the IEEE, 1989,77(4)
  • 9[6]Wasim Sadiq and Maria E.Orlawska.Analyzing Process Models Using Graph Reduction Techniques. Information Systems,2000,25(2):117~134
  • 10[7]Workflow Management Coalition.Interface 1:Process Defition Interchange,Process Model. Document Number WfMC TC-1016-P,1998

共引文献86

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部