###
DOI:
Journal of Software:2007.18(1):1-10

一种扩展了价格信息的时间Petri网
刘显明,李师贤,李文军,潘理
(中山大学,计算机科学系,广东,广州,510275)
A Time Petri Net Extended with Price Information
LIU Xian-Ming,LI Shi-Xian,LI Wen-Jun,PAN Li
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 4124   Download 3535
Received:November 03, 2005    Revised:April 03, 2006
> 中文摘要: 性能和成本分析是业务流程建模的主要目的,扩展了时间信息的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.
文章编号:     中图分类号:    文献标志码:
基金项目: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 (广东省科技攻关计划) 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 (广东省科技攻关计划)
Foundation items:
Reference text:

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

LIU Xian-Ming,LI Shi-Xian,LI Wen-Jun,PAN Li.A Time Petri Net Extended with Price Information.Journal of Software,2007,18(1):1-10