一种价格时间petri网的状态空间计算.pdfVIP

第10期 电 子 学 报 V01．34No．10 SINICA Oct．2006 2006年lO月 ACIAEIECntC旺讯CA 一种价格时间Petri网的状态空间计算 理1 刘显明1,2，李师贤1，李文军1，潘 (1．中山大学计算机科学系，广东广州510275；2．江西省电力信息通讯公司，江西南昌330077) 摘要：价格时间Petri网是对web服务过程和工作流模型等进行时间和成本分析的一种新工具．而价格时间 自动机则是一种相对成熟的工具．提出一种状态空间计算方法，可以将价格时间Petri网的状态空间构造为一个价格 时间自动机．该方法的核心思想是在扩展状态类中增加价格参数．进一步证明了构造出的价格时间自动机和初始的价 格时间Petri网是双相似的． 关键词：