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

doi:10.3778/j.issn.1002-8331.2010.10.016

计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (10): 48-50.DOI: 10.3778/j.issn.1002-8331.2010.10.016

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

刘显明¹，李师贤²，李卫华³，梁文¹，马勇¹

1.江西省电力信息通讯有限公司技术部，南昌 330077
2.中山大学计算机科学系，广州 510275
3.广东工业大学计算机学院，广州 510096

收稿日期:2008-10-10 修回日期:2008-12-17 出版日期:2010-04-01 发布日期:2010-04-01
通讯作者: 刘显明

Analysis approach of business process net using extended zone

LIU Xian-ming¹，LI Shi-xian²，LI Wei-hua³，LIANG Wen¹，MA Yong¹

1.Department of Technology，Jiangxi Electric Information and Communication Company，Nanchang 330077，China
2.Department of Computer Science，Sun Yat-Sen University，Guangzhou 510275，China
3.Faculty of Computer，Guangdong University of Technology，Guangzhou 510096，China

Received:2008-10-10 Revised:2008-12-17 Online:2010-04-01 Published:2010-04-01
Contact: LIU Xian-ming

摘要/Abstract

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

关键词: 扩展分区, 业务流程, Petri网, 状态空间计算

Abstract: Business process net is a new tool used for business process modelling.This paper introduces basic notions of business process net，then proposes a new analysis approach used for state space computation of business process net.The idea of this approach is extending zone based method with cost information，then the paper gives the algorithm of state space computation based on the extended zone.Finally the paper proves that for the bounded business process net，the computation process can be terminated and the reachability of minimum cost is decidable.

Key words: extended zone, business process, Petri net, state space computation

中图分类号:

TP393

刘显明¹，李师贤²，李卫华³，梁文¹，马勇¹. 以扩展分区为核心的流程网分析方法[J]. 计算机工程与应用, 2010, 46(10): 48-50.

LIU Xian-ming¹，LI Shi-xian²，LI Wei-hua³，LIANG Wen¹，MA Yong¹. Analysis approach of business process net using extended zone[J]. Computer Engineering and Applications, 2010, 46(10): 48-50.

[1]	倪明，钱思源，杨善林. 废旧智能手机回收再利用业务流程仿真与优化[J]. 计算机工程与应用, 2021, 57(5): 258-263.
[2]	陆文星，王琥珀，王彬有. 基于赋时Petri网的景区游客分流研究[J]. 计算机工程与应用, 2020, 56(8): 241-248.
[3]	冯复剑. 延迟时间Petri网的验证分析[J]. 计算机工程与应用, 2019, 55(4): 72-78.
[4]	邓丽平1，段利国2，杨丽凤2. 面向行为的可信Web服务选择方法[J]. 计算机工程与应用, 2019, 55(4): 112-118.
[5]	宋健，方贤文，王丽丽，刘祥伟. 业务流程隐变迁的拟间接依赖挖掘方法[J]. 计算机工程与应用, 2019, 55(22): 265-270.
[6]	罗玲. 采用随机Petri网的嵌入式机载软件可靠性检测[J]. 计算机工程与应用, 2019, 55(1): 233-240.
[7]	曹蕊，方贤文，王丽丽. 基于拟间接依赖的流程挖掘优化分析[J]. 计算机工程与应用, 2018, 54(9): 37-41.
[8]	李海燕1，王艳萍1，周建勇2，刘久富2. 部分可控Petri网分布式死锁监控器设计[J]. 计算机工程与应用, 2018, 54(8): 48-54.
[9]	董健，戴胜华. 基于CPN的列控系统等级转换建模与分析[J]. 计算机工程与应用, 2018, 54(2): 208-213.
[10]	张晶，王亮，范洪博. CPS系统物理实体时空一致性建模与分析[J]. 计算机工程与应用, 2018, 54(14): 41-44.
[11]	蒋洁琦，杨庚，李鹏. 云环境下面向隐私保护的用户行为分析[J]. 计算机工程与应用, 2018, 54(14): 127-132.
[12]	王列伟，吴朔，胡俊华. 基于Petri网的道路交叉口建模方法及比较研究[J]. 计算机工程与应用, 2018, 54(14): 211-216.
[13]	任大勇. 用直觉模糊Petri网构建的供应链可靠性诊断模型[J]. 计算机工程与应用, 2017, 53(5): 260-265.
[14]	刘红，方贤文，刘祥伟. 流程树切挖掘业务流程隐变迁的方法[J]. 计算机工程与应用, 2017, 53(22): 222-226.
[15]	张正坤，朱昌锋. 基于TPr/T_系统的编组站配流研究[J]. 计算机工程与应用, 2017, 53(21): 219-224.

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

Analysis approach of business process net using extended zone

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics