| 一种价格时间Petri网的状态空间计算 |
| |
| 引用本文： | 刘显明,李师贤,李文军,潘理.一种价格时间Petri网的状态空间计算[J].电子学报,2006,34(10):1778-1782. |
| |
| 作者姓名： | 刘显明 李师贤 李文军 潘理 |
| |
| 作者单位： | 中山大学计算机科学系,广东,广州,510275;江西省电力信息通讯公司,江西,南昌,330077;中山大学计算机科学系,广东,广州,510275 |
| |
| 基金项目： | 高校博士点基金（No.20030558004）;广东省自然科学基金（No.04009863）;广东省科技攻关计划（No.2003A1030403）;致谢 感谢电子学报审稿专家的宝贵意见和中山大学计算机科学系宋华梅硕士的大力帮助. |
| |
| 摘 要： | 价格时间Petri网是对web服务过程和工作流模型等进行时间和成本分析的一种新工具.而价格时间自动机则是一种相对成熟的工具.提出一种状态空间计算方法,可以将价格时间Petri网的状态空间构造为一个价格时间自动机.该方法的核心思想是在扩展状态类中增加价格参数.进一步证明了构造出的价格时间自动机和初始的价格时间Petri网是双相似的.
|
| 关 键 词： | 价格时间Petri网 价格时间自动机 状态空间计算 |
| 文章编号： | 0372-2112（2006）10-1778-05 |
| 收稿时间： | 2005-12-05 |
| 修稿时间： | 2005-12-052006-08-13 |
State Space Computation of a Price Time Petri Net |
| |
| LIU Xian-ming,LI Shi-xian,LI Wen-jun,PAN Li.State Space Computation of a Price Time Petri Net[J].Acta Electronica Sinica,2006,34(10):1778-1782. |
| |
| Authors: | LIU Xian-ming LI Shi-xian LI Wen-jun PAN Li |
| |
| Affiliation: | 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 |
| |
| 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 dass.Furtlhermore,we prove that the generated priced timed automata is bisimilar to the initial price time Petri net. |
| |
| Keywords: | price time Petri net priced timed automata state space computing |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《电子学报》浏览原始摘要信息 |
|
点击此处可从《电子学报》下载全文 |
