%0 Journal Article
%T 一种价格时间Petri网的状态空间计算
%A 刘显明
%A 李师贤
%A 李文军
%A 潘理
%J 电子学报
%P 1778-1782
%D 2006
%X 价格时间Petri网是对web服务过程和工作流模型等进行时间和成本分析的一种新工具.而价格时间自动机则是一种相对成熟的工具.提出一种状态空间计算方法,可以将价格时间Petri网的状态空间构造为一个价格时间自动机.该方法的核心思想是在扩展状态类中增加价格参数.进一步证明了构造出的价格时间自动机和初始的价格时间Petri网是双相似的.
%K 价格时间Petri网
%K 价格时间自动机
%K 状态空间计算
%U http://www.ejournal.org.cn/CN/abstract/abstract5990.shtml