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

• 作者: 刘显明 李师贤 李文军 潘理
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 价格时间Petri网 价格时间自动机 状态空间计算
• 年，卷（期）: 2006,（10）
• 所属期刊栏目: 学术论文
• 页码范围: 1778-1782
• 页数: 5页
• 分类号: TP301
• 字数: 5182字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2006.10.007

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	潘理	中山大学计算机科学系	4	51	3.0	4.0
2	李师贤	中山大学计算机科学系	66	914	13.0	29.0
3	李文军	中山大学计算机科学系	23	113	5.0	10.0
4	刘显明	中山大学计算机科学系	8	54	4.0	7.0