一种扩展了价格信息的时间Petri网

摘要：

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

关键词：时间Petri网、价格、价格时间变迁系统、状态类、业务流程管理

所属期刊栏目：18

分类号：TP301(计算技术、计算机技术)

资助基金：高等学校博士学科点专项科研项目20030558004;广东省自然科学基金04009863;广东省科技攻关计划003A1030403

在线出版日期：2007-03-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：1-10