-
题名一种价格时间Petri网的状态空间计算
被引量：3
- 1
-
-
作者
刘显明
李师贤
李文军
潘理
-
机构
中山大学计算机科学系
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2006年第10期1778-1782,共5页
-
基金
高校博士点基金(No.20030558004)
广东省自然科学基金(No.04009863)
广东省科技攻关计划基金(No.2003A1030403)
-
文摘
价格时间Petri网是对web服务过程和工作流模型等进行时间和成本分析的一种新工具.而价格时间自动机则是一种相对成熟的工具.提出一种状态空间计算方法,可以将价格时间Petri网的状态空间构造为一个价格时间自动机.该方法的核心思想是在扩展状态类中增加价格参数.进一步证明了构造出的价格时间自动机和初始的价格时间Petri网是双相似的.
-
关键词
价格时间Petri网
价格时间自动机
状态空间计算
-
Keywords
price time Petri net
priced timed automata
state space computing
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名以扩展分区为核心的流程网分析方法
- 2
-
-
作者
刘显明
李师贤
李卫华
梁文
马勇
-
机构
江西省电力信息通讯有限公司技术部
中山大学计算机科学系
广东工业大学计算机学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2010年第10期48-50,共3页
-
基金
江西省电力公司科技项目No.200850802~~
-
文摘
业务流程网是一种用于业务流程建模的新工具。介绍了业务流程网基本概念后,提出一种用于业务流程网状态空间计算的新方法。该方法以自动机研究领域的分区方法为基础,为分区扩展成本信息,从而得到一种扩展分区,进而给出状态空间计算方法,最后证明了:对于有界的业务流程网来说,扩展分区的计算是可终止的,并且最小成本可达问题是可判定的。
-
关键词
扩展分区
业务流程
PETRI网
状态空间计算
-
Keywords
extended zone
business process
Petri net
state space computation
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
