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

精炼工作流网的行为保持性质 被引量：1

Behavior Preservation of Refined Workflow Nets
下载PDF
导出
摘要 本文定义了工作流网的精炼操作,研究了精炼工作流网的行为保持性质。结果表明精炼工作流网满足行为保持性质,即精炼工作流网的行为与原网和子网行为保持一致。在精炼工作流网行为保持性质的基础上,给出了基于原网语言和子网语言的精炼工作流网的语言刻画。本文结果有助于复杂工作流的设计、建模和验证。 Refinement operation of workflow nets is provided in this paper for modeling and analyzing complex workflow, and then net language properties of refined workflow nets are discussed in this paper. Our results indicates that a refined workflow net is behavior equivalent with the original WF-net, that is, the mapping language from refined net to original net （subnet） is same as original net （subnet） language Moreover based on the behavior preservation, the net language of refined net can be resolved by the language of the original net and subnet. These results are useful for studying the dynamic behavior of Petri nets and analyzing language properties of large complex workflow system.
作者 丁志军 潘美芹 蒋昌俊
机构地区 同济大学计算机科学与技术系 山东科技大学信息科学与工程学院
出处 《计算机科学》 CSCD 北大核心 2007年第5期125-128,共4页 Computer Science
基金 国家973资助项目(2003CB316902) 国家自然科学基金资助项目(60534060 90412013 60473094) 上海市优秀学科带头人计划资助项目(04XD14016)
关键词 工作流 PETRI网 精炼 网语言 Workflow, Petri nets, Refinement, Net language
分类号 TP31 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献12

  • 1Van der Aalst W M P.The Application of Petri Nets to Workflow Management.The Journal of Circuits,Systems,and computers,1998,8(1):21～66
  • 2Suzuki I,Murata T.A Method for Stepwise Refinement and Abstraction of Petri Nets.Journal of Computer and System Science.1983,27:51～76
  • 3He X D,Lee J A N.A Methodology for Constructing Predicate Transition Net Specifications.Software-Practice and Experience,1991,21(8):845～875
  • 4Jensen K.Colored Petri Nets.Basic Concepts,Analysis Methods and Practical Use.Volume 1,Basic Concepts.In:EATCS Monographs on Theoretical Computer Science,Berlin:Springer-Verlag,1992.1～234
  • 5Betous-Almeida C,Kanoun K.Construction and stepwise refinement of dependability models.Performance Evaluation,2004,56:277～306
  • 6Huang Hejiao,Cheung T-y,Mak W M.Structure and behavior preservation by Petri-net-based refinements in system design.Theoretical Computer Science,2004,28:245～269
  • 7夏传良,焦莉,陆维明.Petri网精细化操作及其在系统设计中的应用[J].软件学报,2006,17(1):11-19. 被引量：16
  • 8Van der Aalst W M P著.工作流管理--模型、方法和系统.王建民,等译.北京:清华大学出版社,2004
  • 9Chrzastowski-Wachtel P,Benatallah B,Hamsdi R,Dell M O',Susanto A A.top-down Petri net-hased approach for dynamic workflow modeling.In:Van der Aalst WMP,et al,eds.BPM 2003.LNCS 2678,Berlin,Heidelberg:Springer-Verlag,2003.336～353
  • 10Van Hee K,Sidorova N,Voorhoeve M.Soundness and separability of workflow nets in the stepwise refinement.In:Van der Alast WMP,Best E,eds.Proc,the 24th Int'l Conf.on Application and Theory of Petri Nets.LNCS 2679,Berlin,Heidelberg:Springer-Verlag.2003.337～356

二级参考文献23

  • 1Huang H, Cheung TY, Mak WM, Structure and behavior preservation by Petri-net-based refinements in system design, Theoretical Computer Science, 2004,328:245-269.
  • 2Volzer H. Refinement-Robust fairness. In: Brim L, et al., eds. CONCUR 2002. LNCS 2421, Berlin, Heidelberg: Springer-Verlag,2002. 547-562.
  • 3Murata T. Petri nets: Properties, analysis, and applications. Proc. of the IEEE, 1889,77(4):541-580.
  • 4Reisig W. Petri Nets: An Introduction. Berlin, Heidelberg: Spring-Verlag, 1985.
  • 5van der Aalst W, van Hee K, Workflow Management Models, Methods, and Systems. Beijing: Tsinghua University Press, 2004 (in Chinese).
  • 6Lakos C. Composing abstractions of coloured Petri nets. In: Nielsen M, Simpson D, eds. ICATPN 2000. LNCS 1825, Berlin Heidelberg: Springer-Verlag, 2000. 323-342.
  • 7Chrzastowski-Wachtel P, Benatallah B, Hamadi R, O'Dell M, Susanto A. A top-down Petri net-based approach for dynamic workflow modeling. In: van der Aalst WMP, et al., eds. BPM 2003. LNCS 2678, Berlin, Heidelberg: Springer-Verlag, 2003.336-353.
  • 8Felder M, Gargantini A, Morzcnti A. A theorey of implementation and refinement in timed Petri nets. Theoretical Computer Science, 1998,202.127-161.
  • 9Stork DG, van Glabbeek R. Token-Controlled place refinement in hierachical Pctri nets with application to active document workflow. In: Esparza J, Lakos C, eds. ICATPN 2002. LICS 2360, Berlin, Heidelberg: Springer-Verlag, 2002. 394-413.
  • 10Betous-Almeida C, Kanoun K. Construction and stepwise refinement of dependability models. Performance Evaluation, 2004,56:277-306.

共引文献15

同被引文献7

  • 1Anindya D. Automating the discovery of as-is business process models: Probabilistic and algorithmic approaches[J]. Information Systems Research, 1998, 9(3): 275-301.
  • 2WilM P van der A, Ton W, Laura M. Work-?ow mining: Discovering process models from event logs [J]. IEEE Trans. Knowl. Data Eng., 2004, 16(9): 1125-1142.
  • 3Wil M P van der A. Process Mining: Discovery, Conformance and Enhancement of Business Processes [M]. 1st Edition, Berlin: Springer, 2011.
  • 4WEN Lijie, Wil M P van der A, WANG Jianmin, et al. Mining process models with non-free-choice constructs[J]. Data Mining and Knowledge Discovery, 2007, 15(2): 145-180.
  • 5Ana K A d M, Boudewijn F van D, Wil M P v d A, et al. Process mining for ubiquitous mobile systems: an overview and a concrete algorithm [J]. Ubiquitous Mobile Information and Collaboration Systems, 2004, 3272(1): 151-165.
  • 6Anne R, Wil M P van der A. Conformance checking of processes based on monitoring real behavior [J]. Information Systems, 2008, 33(1): 64-95.
  • 7Twan Basten, Wil M.P. van der Aalst. Inheritance of behavior [J]. The Journal of Logic and Algebraic Programming,2001, 47(2001): 47-145.

引证文献1

计算机科学
2007年 第5期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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