期刊文献+

一种基于库所含时间因素的时延Petri网的工作流建模方法 被引量:1

A Method of Modeling Workflow Based on Timed Petri Net in Which Places Contains a Time Factor
下载PDF
导出
摘要 时间是反映工作流性能的一个重要方面,立足于实际业务过程对工作流系统时间管理功能的需求,尤其是针对一些对时间性能要求比较高的工作流系统,提出一种新的基于库所含时间因素的时延Petri网的工作流建模和分析方法,提出一种新的工作流建模工具TPWF-NET(Timed Places WorkFlow-Net),并给出结构完整性的验证方法。 Time is an important aspect to reflect the performance of Workflow, based on the actual business process workflow management system which needs time factors, especially on some of workflow systems which need high performance requirements of the time aspect, proposed a new method of modeling workflow based on Timed Petri net in which Places contains a time factor and a new workflow modeling tool TPWF- NET (Timed Places WorkFlow- Net), and given the method of verifying the structural integrity of system.
作者 于汪洋
出处 《计算技术与自动化》 2009年第3期106-110,共5页 Computing Technology and Automation
关键词 工作流 时间建模 验证 工作流管理系统 时延PETRI网 workflow time modeling verify workflow management system timed petri net
  • 相关文献

参考文献13

  • 1吴哲辉译.J.Peterson.Petrinet theory and the modeling of systems[M].徐州:中国矿业大学出版社.1989.
  • 2王建民,闻立杰,等译.Wil van der Aalst &Kees van Hee.Workflow management.- Models, Methods, and Systems [ M ].北京:清华大学出版社,2004.
  • 3W· M· P· van der Aalst, B·F·van Dongen· Discovering work - flow performance models from timed logs. In: LNCS 2480[M]. NewYork: Springer- Verlag, 2002.45 - 63.
  • 4Lin Chuang, Qu Yang, Ren Fengyuan,et al.Performance equivalent analysis of workflow systems based on stochastic Petri netmodels. In: LNCS 2480[M]. New York: Springer- Verlag, 2002.64 - 79.
  • 5任国珍,巩垒,王海洋,黄富洁.工作流中时序约束正确性验证[J].计算机工程,2004,30(11):60-62. 被引量:2
  • 6van der Aalst, W. M. P. The application of Petfi nets to work - flow management. [J]. Journal of Circuits, Systems, and Com-puters, 1998, 8 (1): 21-66.
  • 7WM P van der Aalst . Verification of worknow tast structures [J]. Information Systems , 2000, 25 (I) : 43 - 69.
  • 8李慧芳,范玉顺.工作流系统时间管理[J].软件学报,2002,13(8):1552-1558. 被引量:48
  • 9肖志娇,常会友,衣杨.工作流时间性能分析方法[J].计算机集成制造系统,2006,12(8):1284-1287. 被引量:10
  • 10C A Ellis , K Keddara , G Rozenberg. Dynamic change within workflowsystems [J ] . In N. Comstock and C. Ellis ,editors , Conf . on Organizational Computing Systems , ACM, SIGOIS , Milpitas ,CA (1995) : 10 - 21.

二级参考文献15

  • 1赵文.排队论(随机服务系统理论)概述[J].天津商学院学报,1995,15(2):21-29. 被引量:3
  • 2范玉顺.工作流管理技术基础--实现企业业务过程重组.过程管理与业务过程自动化的核心技术[M].北京:清华大学出版社/施普林格出版社,2001.110-169.
  • 3[2]Eder J, Panagos E, Pozewaunig H, et al. Time Management in Work- flow Systems. Proceedings of the 3rd International Conference on Business Information Systems, Springer-verlag, 1999: 265-280
  • 4[3]Eder J, Panagos E, Rabinovich M. Time Constraints in Workflow Systems. Proceedings of the 11th Conference on Advanced Information Systems Engineering (CaiSE99), Heidelberg, 1999: 1-14
  • 5[4]Marjanovic O, Orlowska M E. On Modeling and Verification of Tem- poral Constraints in Production Workflows. Knowledge and Informa- tion Systems, 1999,(1):157-192
  • 6[5]Marjanovic O. Dynamic Verification of Temporal Constraints in Production Workflows. Proceedings of the 11th Australian Database Conference, 2000: 74-81
  • 7REIJERS H A.Design and control of workflow processes[M].Berlin,Germany:Springer-Verlag,2003.
  • 8JIN H S,MYOUNG' H K.Improving the performance of time -constrained workflow processing[J].The Journal of Systems and Software,2001,58(3):211-219.
  • 9史美林,杨光信,向勇,伍尚广.WfMS:工作流管理系统[J].计算机学报,1999,22(3):325-334. 被引量:291
  • 10王海洋,林宗楷,林守勋.基于扩展模型的工作流描述方法和最大时间控制问题[J].计算机辅助设计与图形学学报,1999,11(3):253-255. 被引量:10

共引文献71

同被引文献8

  • 1Oracle Inc. Oracle Industry Solutions [ EB/OL]. http:// www. oracle, com/us/industries/index, html,2012.
  • 2Microsoft Corporation. Microsoft Project Server 2010 Administrator's Guide[ Z]. 2011.
  • 3Eder J, Panagos E, Pozewaunig H, et al. Time management in workflow systems [ C ]//Proceedings of the 3^nd International Conference on Business Information Systems. 1999.
  • 4Ling S, Schmidt H. Time Petri nets for workflow modeling and analysis [ C ]//Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics. 2000.
  • 5Qin G X, Wang J, Yuan T W, et al. Design of workflow work- ing time server supporting highly concurrent request[ C ]// 2009 WRI World Congress on Software Engineering. 2009.
  • 6胡嘉,邓焱.LabVIEW程序流程控制中存在的问题及对策[J].测控技术,2007,26(11):49-51. 被引量:4
  • 7余阳,汤庸,潘茂林,郑婷婷,麦健彬.时态工作流过程模型及其合理性验证[J].软件学报,2010,21(6):1233-1253. 被引量:16
  • 8钱骏,尹建伟.工作流管理系统时间模型wTM研究[J].计算机应用研究,2004,21(4):26-28. 被引量:1

引证文献1

二级引证文献8

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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