| 摘要: |
| 性能和成本分析是业务流程建模的主要目的,扩展了时间信息的Petri网能够有效地进行性能分析,但是对成本分析却无能为力.提出一种扩展了价格信息的时间Petri网--价格时间Petri网.首先为时间变迁扩展价格参数,并使用价格时间变迁系统给出价格时间Petri网的语义;然后提出计价状态类的概念,并证明为状态类扩展累积成本的合理性和完备性;进而给出一种算法来证明有界价格时间Petri网的最小成本可达问题是可判定的;最后给出一个应用例子并得出结论:为时间Petri网扩展价格信息并将其应用于业务流程管理领域是可行的. |
| 关键词: 时间Petri网 价格 价格时间变迁系统 状态类 业务流程管理 |
| DOI： |
| 分类号: |
| 基金项目: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 (广东省科技攻关计划) |
|
| A Time Petri Net Extended with Price Information |
|
LIU Xian-Ming,LI Shi-Xian,LI Wen-Jun,PAN Li
|
| 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. |
| Key words: time Petri net price priced timed transition system state class business process management |
