以扩展分区为核心的流程网分析方法

• 作者: 刘显明 李卫华 李师贤 梁文 马勇
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 扩展分区 业务流程 Petri网 状态空间计算
• 年，卷（期）: 2010,（10）
• 所属期刊栏目: 研究、探讨
• 页码范围: 48-50
• 分类号: TP393
• 字数: 3651字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.10.016

摘要

业务流程网是一种用于业务流程建模的新工具.介绍了业务流程网基本概念后,提出一种用于业务流程网状态空间计算的新方法.该方法以自动机研究领域的分区方法为基础,为分区扩展成本信息,从而得到一种扩展分区,进而给出状态空间计算方法,最后证明了:对于有界的业务流程网来说,扩展分区的计算是可终止的,并且最小成本可达问题是可判定的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李卫华	广东工业大学计算机学院	88	567	13.0	18.0
2	李师贤	中山大学计算机科学系	66	914	13.0	29.0
3	刘显明	江西省电力信息通讯有限公司技术部	8	54	4.0	7.0
4	马勇	江西省电力信息通讯有限公司技术部	6	32	2.0	5.0
5	梁文	江西省电力信息通讯有限公司技术部	7	39	3.0	6.0