主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
刘显明,李师贤,李文军,潘理.一种扩展了价格信息的时间Petri网.软件学报,2007,18(1):1-10
一种扩展了价格信息的时间Petri网
A Time Petri Net Extended with Price Information
投稿时间:2005-11-03  修订日期:2006-04-03
DOI:
中文关键词:  时间Petri网  价格  价格时间变迁系统  状态类  业务流程管理
英文关键词:time Petri net  price  priced timed transition system  state class  business process management
基金项目: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 (广东省科技攻关计划)
作者单位
刘显明 中山大学,计算机科学系,广东,广州,510275 
李师贤 中山大学,计算机科学系,广东,广州,510275 
李文军 中山大学,计算机科学系,广东,广州,510275 
潘理 中山大学,计算机科学系,广东,广州,510275 
摘要点击次数: 4092
全文下载次数: 3521
中文摘要:
      性能和成本分析是业务流程建模的主要目的,扩展了时间信息的Petri网能够有效地进行性能分析,但是对成本分析却无能为力.提出一种扩展了价格信息的时间Petri网--价格时间Petri网.首先为时间变迁扩展价格参数,并使用价格时间变迁系统给出价格时间Petri网的语义;然后提出计价状态类的概念,并证明为状态类扩展累积成本的合理性和完备性;进而给出一种算法来证明有界价格时间Petri网的最小成本可达问题是可判定的;最后给出一个应用例子并得出结论:为时间Petri网扩展价格信息并将其应用于业务流程管理领域是可行的.
英文摘要:
      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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利