摘要:
设计工作流是一种非公平性的环形工作流(loop workflow, LWF),这种工作流模型增加了陷入活锁状态的风险,导致设计流程无法向下进行。针对设计工作流活锁问题,提出了基于面向对象Petri网的扩展工作流网。该方法设计了跃迁状态转移机制和虚拟托肯的网标识,使LWF从无限循环的活锁状态转变为可计数的有限循环迭代状态,同时给出了能够描述虚拟托肯标识的可达性分析方法。分析结果表明应用所提方法建立的弹箭设计工作流模型避免了活锁,且具有可达性。
郑学恩, 许承东, 范国超, 赵靖. 基于面向对象Petri-net的LWF建模方法[J]. 系统工程与电子技术, 2018, 40(7): 1626-1632.
ZHENG Xueen, XU Chengdong, FAN Guochao, ZHAO Jing. Modeling method of LWF based on object-oriented Petri-net[J]. Systems Engineering and Electronics, 2018, 40(7): 1626-1632.