电子学报 ›› 2006, Vol. 34 ›› Issue (10): 1778-1782.

• 论文 • 上一篇    下一篇

一种价格时间Petri网的状态空间计算

刘显明1,2, 李师贤1, 李文军1, 潘 理1   

  1. 1. 中山大学计算机科学系,广东广州 510275;2. 江西省电力信息通讯公司,江西南昌 330077
  • 收稿日期:2005-12-05 修回日期:2006-08-13 出版日期:2006-10-25 发布日期:2006-10-25

State Space Computation of a Price Time Petri Net

LIU Xian-ming1,2, LI Shi-xian1, LI Wen-jun1, PAN Li1   

  1. 1. Department of Computer Science,Sun Yat-Sen University,Guangzhou,Guangdong 510275,China;2. Jiangxi Electric Power Information and Communication Company,Nanchang,Jiangxi 330077,China
  • Received:2005-12-05 Revised:2006-08-13 Online:2006-10-25 Published:2006-10-25

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

Key words: price time Petri net, priced timed automata, state space computing

中图分类号: