【摘要】 价格时间Petri网是对web服务过程和工作流模型等进行时间和成本分析的一种新工具.而价格时间自动机则是一种相对成熟的工具.提出一种状态空间计算方法,可以将价格时间Petri网的状态空间构造为一个价格时间自动机.该方法的核心思想是在扩展状态类中增加价格参数.进一步证明了构造出的价格时间自动机和初始的价格时间Petri网是双相似的.更多还原

【Abstract】 Price time Petri net is an emerging tool to analyze time and cost attributes of web service process and workflow model.Correspondingly the priced timed automata is a mature tool.We propose a method of state space computing which can compute the state space of a price time Petri net as a priced timed automata.The idea of this method is to add a price attribute in extended state class.Furthermore,we prove that the generated priced timed automata is bisimilar to the initial price time Petri net.更多还原