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

来源 :电子学报 | 被引量 : 0次 | 上传用户：yht_816

【摘要】

：

价格时间Petri网是对web服务过程和工作流模型等进行时间和成本分析的一种新工具．而价格时间自动机则是一种相对成熟的工具．提出一种状态空间计算方法，可以将价格时间Petri网的

【作者】

：

刘显明李师贤李文军潘理

【机构】

：

中山大学计算机科学系,江西省电力信息通讯公司

【出处】

：

电子学报

【发表日期】

：

2006年10期

【关键词】

：

价格时间Petri网价格时间自动机状态空间计算 price time Petri net priced timed automata state spa

【基金项目】

：

高校博士点基金（No.20030558004）,广东省自然科学基金（No.04009863）,广东省科技攻关计划（No.2003A1030403）,致谢感谢电子学报审稿专家的宝贵意见和中山大学计算机科学系宋华梅硕士的大力帮助.

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

CFD方法在泵站进水管更新改造设计中的运用

采用CFD方法对泵站进水管偏心异径管连接段流态进行模拟，并介绍了标准κ-ε模型和计算方法，通过计算额定工况下3种不同长度的偏心异径管方案，分析了其流态变化规律和水头损失，从

期刊

泵站偏心异径管流态水头损失CFDpumping stationecentric reducerflow patterncomputational

She No Longer Cried！

My little sister,Jiao Jiao,is the youngest in my family.We all love hervery much,but she has been spoiled(被宠坏了).At the age of six,shedeveloped a bad habit

期刊