期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

Petri网在工作流系统建模和分析中的应用 被引量：6

Petri net and its application in workflow system modeling and analysis
下载PDF
导出
摘要 工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.介绍工作流系统的Petri网、时间Petri网、逻辑Petri网、着色Petri网、随机Petri网等建模方法,对基于工作流网(WF-net)的完整性验证、性能分析、资源调度、时间分配以及协同分析等方法进行综述,指出Petri网在工作流建模和分析中的不足,提出了Petri网解决工作流系统建模和分析进一步的研究的内容.
作者 庞善臣 蒋昌俊
机构地区 山东科技大学信息科学与工程学院 同济大学计算机科学与工程系
出处 《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期100-104,共5页 Journal of System Simulation
关键词 PETRI网 工作流管理系统 工作流网 完整性验证
分类号 TP302 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献38

  • 1罗海滨,范玉顺,cims.tsinghua.edu.cn,吴澄.工作流技术综述[J].软件学报,2000,11(7):899-907. 被引量：489
  • 2李建强,范玉顺.一种工作流模型的性能分析方法[J].计算机学报,2003,26(5):513-523. 被引量：42
  • 3[3]W.M.P. van der Aalst. Three Good reasons for Using a Petri-net-based Workflow management System [C]. In: Navathe S, Wakayama T, eds. Proceedings of the International Working Conference on Information and Process Integration in Enterprises (IPIC'96), Camebridge, Massachusetts: Kluwer Academic Publishers, Nov 1996:179-201.
  • 4[4]Ellis C A, Nutt G J. Modeling and Enactment of Workflow Systems, In M. Ajmone Marsan, editor, Application and Theory of Petri Nets [C]. Volume 691 of Lecture Notes in Computer Science, Springer- Verlag, Berlin, 1993, 1-16.
  • 5[5]W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management [J]. The Journal of Circuit, System and Computers 1998, 8(1): 21-66.
  • 6[6]Kamel Barkaoui, Laure Petrucci. Structral analysis of workflow nets with shared resources [J]. Computing Science Reports, 1998, 12: 82-95.
  • 7[7]Hai Zhuge, To-yat Cheung, Hung-keng Pung. A timed workflow process mode [J]. The Journal of Systems and Software, 2001, 55: 231-243.
  • 8[8]JianQiang Li, YuShun Fan, MengChu Zhou. Timing constrain workflow nets for workflow analysis [J]. IEEE Transaction on System, Man, and Cybernetics-Part A: System and Humans, 2003, 33(2): 179-193.
  • 9[9]Ling S, Schmidt, H. Time Petri nets for workflow modeling and analysis [C]. In: Proceedings of the IEEE international Conference on Advanced Information System, Man and Cybernetics, 2000, 4: 3039-3044.
  • 10李慧芳,范玉顺.基于时间Petri网的工作流模型分析(英文)[J].软件学报,2004,15(1):17-26. 被引量：44

二级参考文献80

  • 1贲可荣,陈火旺.命题时态逻辑定理证明新方法[J].软件学报,1994,5(7):21-28. 被引量：1
  • 2袁崇义.Petri网原理[M].北京:电子工业出版社,1999..
  • 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

共引文献739

同被引文献36

引证文献6

二级引证文献13

系统仿真学报
2005年 第z1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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