%0 Journal Article
%T 一种扩展了价格信息的时间Petri网
%A 刘显明
%A 李师贤
%A 李文军
%A 潘理
%J -
%D 2007
%X 性能和成本分析是业务流程建模的主要目的,扩展了时间信息的Petri网能够有效地进行性能分析,但是对成本分析却无能为力.提出一种扩展了价格信息的时间Petri网--价格时间Petri网.首先为时间变迁扩展价格参数,并使用价格时间变迁系统给出价格时间Petri网的语义;然后提出计价状态类的概念,并证明为状态类扩展累积成本的合理性和完备性;进而给出一种算法来证明有界价格时间Petri网的最小成本可达问题是可判定的;最后给出一个应用例子并得出结论:为时间Petri网扩展价格信息并将其应用于业务流程管理领域是可行的
%K 时间Petri网 价格 价格时间变迁系统 状态类 业务流程管理
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=20070101&flag=1