一种扩展了价格信息的时间Petri网
作者:
基金项目:

Supported by the National Research Foundation for the Doctoral Program of Higher Education of China under Grant No.20030558004 (国家教育部博士点基金); the Natural Science Foundation of Guangdong Province of China under Grant No.04009863 (广东省自然科学基金); the Industrial Research Projects of the Science and Technology Plan of Guangdong Province of China under Grant No.2003A1030403 (广东省科技攻关计划)

  • 摘要
  • | |
  • 访问统计
  • |
  • 参考文献 [20]
  • |
  • 相似文献
  • |
  • 引证文献
  • | |
  • 文章评论
    摘要:

    性能和成本分析是业务流程建模的主要目的,扩展了时间信息的Petri网能够有效地进行性能分析,但是对成本分析却无能为力.提出一种扩展了价格信息的时间Petri网--价格时间Petri网.首先为时间变迁扩展价格参数,并使用价格时间变迁系统给出价格时间Petri网的语义;然后提出计价状态类的概念,并证明为状态类扩展累积成本的合理性和完备性;进而给出一种算法来证明有界价格时间Petri网的最小成本可达问题是可判定的;最后给出一个应用例子并得出结论:为时间Petri网扩展价格信息并将其应用于业务流程管理领域是可行的.

    Abstract:

    Performance and cost analysis are the two main purposes of business process modeling, where the Petri net extended with time information is an effective tool for performance analysis, but not for cost analysis. This paper proposes a time Petri net extended with price information—Price Time Petri Net. Firstly, this paper associates a price with a time transition, and gives the semantics for price time Petri net in terms of priced timed transition systems. Then it defines a priced state class as an extension of state class, and discusses the soundness and completeness for this extension. An algorithm is given to prove that the minimum-cost reachability problem for bounded price time Petri net is decidable. Finally, this paper gives an example and draws a conclusion that incorporating price information in time Petri net and applying price time Petri net to business process management are feasible.

    参考文献
    [1]Girault C,Valk R.Petri Nets for Systems Engineering:A Guide to Modeling,Verification,and Applications.Berlin:Springer-Verlag,2003.473-566.
    [2]Ramchandani C.Analysis of asynchronous concurrent systems by timed Petri nets[Ph.D.Thesis].Cambridge:MIT,1974.
    [3]Merlin PM,Farber DJ.Recoverability of communication protocols:Implications of a theoretical study.IEEE Trans.on Communications,1976,24(9):1036-1043.
    [4]van der Aalst WMP.The application of Petri nets to workflow management.The Journal of Circuits,Systems and Computers,1998,8(1):21-66.
    [5]Reijers HA.Design and Control of Workflow Processes.Berlin:Springer-Verlag,2003.32-59.
    [6]Liu XM,Li SX,Jiang Y.A Petri net extended with stochastic priced transition.In:Proc.of the IEEE Int'l Conf.on Electronic Business Engineering 2005.Los Alamitos:IEEE Computer Society,2005.545-548.
    [7]Liu WD,Song JX,Lin C.Modeling and analysis of grid computing application based price timed Petri net.Acta Electronica Sinica,2005,33(8):1416-1420 (in Chinese with English abstract).
    [8]Alur R,Torre SL,Pappas GJ.Optimal paths in weighted timed automata.Theoretical Computer Science,2004,318(3):297-322.
    [9]Behrmann G,Fehnker A,Hune T,Larsen K,Pettersson P,Romijn J,Vaandrager F.Minimum-Cost reachability for priced timed automata.In:Benedetto MDD,Sangiovanni-Vincentelli A,eds.Proc.of the 4th Int'l Workshop on Hybrid Systems:Computation and Control.LNCS 2034,Berlin:Springer-Verlag,2001.147-161.
    [10]Behrmann G,Larsen K,Rasmussen J.Optimal scheduling using priced timed automata.ACM SIGMETRICS Performance Evaluation Review,2005,32(4):34-40.
    [11]Berthomieu B,Diaz M.Modeling and verification of time dependent systems using time Petri nets.IEEE Trans.on Software Engineering,1991,17(3):259-273.
    [12]Roux OH,Lime D.Time Petri nets with inhibitor hyperarcs:Formal semantics and state space computation.In:Cortadella J,Reisig W,eds.Proc.of the Int'l Conf.of Application and Theory of Petri Nets 2004.Berlin:Springer-Verlag,2004.371-390.
    [13]Berthomieu B,Vernadat F.State class constructions for branching analysis of time Petri nets.In:Garavel H,Hatcliff J,eds.Proc.of the 9th Int'l Conf.on Tools and Algorithms for the Construction and Analysis of Systems.LNCS 2619,Berlin:Springer-Verlag,2003.442-457.
    [14]Lime D,Roux OH.State class timed automaton of a time Petri net.In:Sanders WH,Ciardo G,eds.Proc.of the 10th Int'l Workshop on Petri Nets and Performance Models.Washington:IEEE Computer Society,2003.1-10.
    [15]Yuan CY.Petri Nets Theory and Application.Beijing:Publishing House of Electronic Industry,2005.60-66 (in Chinese).
    [16]Gardey G,Roux OH,Roux OF.Using zone graph method for computing the state space of a time Petri net.In:Larsen K,Niebert P,eds.Proc.of the 1st Int'l Workshop on Formal Modeling and Analysis of Timed Systems.LNCS 2791,Berlin:Springer-Verlag,2004.246-259.
    [17]Li HF,Fan YS.Workflow model analysis based on time constraint Petri nets.Journal of Software,2004,15(1):17-26 (in Chinese with English abstract).http://www.jos.org.cn/1000-9825/15/17.htm
    [7]刘卫东,宋佳兴,林闯.基于价格时间Petri网的网格计算应用模型及分析.电子学报,2005,33(8):1416-1420.
    [15]袁崇义.Petri网原理与应用.北京:电子工业出版社,2005.60-66.
    [17]李慧芳,范玉顺.基于时间Petri网的工作流模型分析.软件学报,2004,15(1):17-26.http://www.jos.org.cn/1000-9825/15/17.htm
    相似文献
引用本文

刘显明,李师贤,李文军,潘理.一种扩展了价格信息的时间Petri网.软件学报,2007,18(1):1-10

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2005-11-03
  • 最后修改日期:2006-04-03
文章二维码
您是第19867155位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号