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

State Space Computation of a Price Time Petri Net

作　　者：刘显明[1] 李师贤[1] 李文军[1] 潘理[1] 

机构地区：[1]中山大学计算机科学系

出　　处：《电子学报》2006年第10期1778-1782,共5页Acta Electronica Sinica

基　　金：高校博士点基金(No.20030558004);广东省自然科学基金(No.04009863);广东省科技攻关计划基金(No.2003A1030403)

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

关 键 词：价格时间Petri网 价格时间自动机 状态空间计算 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]