规范流网中OR-join任务的语义及使能判定算法

doi:10.3778/j.issn.1673-9418.2010.06.006

计算机科学与探索 ›› 2010, Vol. 4 ›› Issue (6): 542-551.DOI: 10.3778/j.issn.1673-9418.2010.06.006

规范流网中OR-join任务的语义及使能判定算法

曹国荣⁺, 谭庆平, 吴浩, 解金刚

国防科学技术大学计算机学院, 长沙 410073

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2010-06-18 发布日期:2010-06-18
通讯作者: 曹国荣

Semantics and Implementation of the OR-join in Regular Flow Nets

CAO Guorong⁺, TAN Qingping, WU Hao, XIE Jingang

School of Computer Science, National University of Defense Technology, Changsha 410073, China

Received:1900-01-01 Revised:1900-01-01 Online:2010-06-18 Published:2010-06-18
Contact: CAO Guorong

摘要/Abstract

摘要： 对规范流网中OR-join任务语义及使能判定算法进行了深入研究。首先介绍YAWL语言中与OR-join任务有关的概念, 规范流网的有关定义, 然后在此基础上定义规范流网关于OR-join任务新的语义; 最后提出一种判定规范流网OR-join任务使能的算法, 并举例说明算法的正确性和有效性。

关键词: OR-join任务, 规范流网, YAWL语言, Petri网

Abstract: The semantics and implementation of the OR-join is examined in detail in the context of regular flow nets (RFNs). Firstly the concepts related to OR-join in yet another workflow language (YAWL), the concepts of RFNs are introduced. Then based on the previous contents, the semantics of RFNs with OR-join are proposed. Finally an implementation towards determining OR-join enablement in RFNs accompanied by an example is illustrated.

Key words: OR-join, regular flow nets (RFNs), yet another workflow language (YAWL), Petri nets

中图分类号:

TP393

曹国荣+ , 谭庆平, 吴浩, 解金刚. 规范流网中OR-join任务的语义及使能判定算法[J]. 计算机科学与探索, 2010, 4(6): 542-551.

CAO Guorong⁺, TAN Qingping, WU Hao, XIE Jingang.

Semantics and Implementation of the OR-join in Regular Flow Nets

[J]. Journal of Frontiers of Computer Science and Technology, 2010, 4(6): 542-551.

[1]	周广瑞, 徐淑琳, 郭乙运, 鲁法明, 岳昊. 标注Petri网的最小代价计划序列估计[J]. 计算机科学与探索, 2021, 15(7): 1350-1358.
[2]	姜家鑫，黄志球，马薇薇. 满足隐私需求的服务组合信息流控制方法研究[J]. 计算机科学与探索, 2018, 12(3): 370-379.
[3]	孙晓玲. 直觉模糊Petri网的双向模糊故障推理算法[J]. 计算机科学与探索, 2017, 11(6): 1006-1013.
[4]	李登辉，焦健，陈昕，宋亚鹏，肖庆. 有色Petri网的Android恶意代码建模方法研究[J]. 计算机科学与探索, 2017, 11(1): 99-105.
[5]	赵芳，方贤文，方欢. Petri网动态切片的最小变化域分析方法[J]. 计算机科学与探索, 2016, 10(4): 516-523.
[6]	代飞，莫启，林雷蕾，朱锐，李彤，谢仲文. 结合Petri网和Pi演算的协同业务过程建模[J]. 计算机科学与探索, 2015, 9(6): 692-706.
[7]	贾垒，刘靖，马燕林，叶新铭. BitTorrent协议中激励机制的设计与分析[J]. 计算机科学与探索, 2014, 8(3): 275-287.
[8]	王晶，胡昊，余萍，吕建，葛季栋. 结合公共视图和对象Petri网的跨组织流程建模[J]. 计算机科学与探索, 2014, 8(1): 18-27.
[9]	王纯子，郭伟，张斌. 求解非线性混合整数规划的算法设计与仿真[J]. 计算机科学与探索, 2013, 7(9): 854-864.
[10]	张茗泰，张广泉，张侃，陈名才，封飞. 描述CPS物理实体的时空Petri网模型[J]. 计算机科学与探索, 2013, 7(4): 377-384.
[11]	何炎祥，沈华. 随机Petri网模型到马尔可夫链的转换规则与实现[J]. 计算机科学与探索, 2013, 7(1): 55-62.
[12]	司冠南，杨巨峰，许静. 网构软件可信性演化评估分层Petri网模型[J]. 计算机科学与探索, 2012, 6(7): 621-630.
[13]	周晓炜, 张文博, 王联华. ROSA：资源敏感的高性能Web容器体系结构[J]. 计算机科学与探索, 2012, 6(1): 32-45.
[14]	高金梁, 张刚, 经小川, 陈星, 张辉 . 采用AADL的软件系统可靠性建模与评估方法[J]. 计算机科学与探索, 2011, 5(10): 942-952.
[15]	祝军1,2 , 曾庆田1+ . 基于变迁指标分解的Petri网性质分析*[J]. 计算机科学与探索, 2010, 4(8): 761-768.

规范流网中OR-join任务的语义及使能判定算法

Semantics and Implementation of the OR-join in Regular Flow Nets

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics