基于面向对象Petri-net的LWF建模方法  

Modeling method of LWF based on object-oriented Petri-net

作　　者：郑学恩 许承东[1] 范国超 赵靖 ZHENG Xueen;XU Chengdong;FAN Guochao;ZHAO Jing(School of Aerospace Engineering,Beijing Institute of Technology,Beijing 100081,China)

机构地区：[1]北京理工大学宇航学院,北京100081

出　　处：《系统工程与电子技术》2018年第7期1626-1632,共7页Systems Engineering and Electronics

基　　金：国家自然科学基金(61502257)资助课题

摘　　要：设计工作流是一种非公平性的环形工作流(loop workflow,LWF),这种工作流模型增加了陷入活锁状态的风险,导致设计流程无法向下进行。针对设计工作流活锁问题,提出了基于面向对象Petri网的扩展工作流网。该方法设计了跃迁状态转移机制和虚拟托肯的网标识,使LWF从无限循环的活锁状态转变为可计数的有限循环迭代状态,同时给出了能够描述虚拟托肯标识的可达性分析方法。分析结果表明应用所提方法建立的弹箭设计工作流模型避免了活锁,且具有可达性。The design-workflow is a non-fair loop,which increases the risk that the workflow will fall into an infinite loop state because the workflow net is in a live lock state.In view of the above problems,an extended workflow network（EWF-net）based on an object-oriented Petri net is presented.This method uses a state transition mechanism known as＂jump-turning＂and identifies the state of a workflow net using a＂virtual token.＂The role of jumping and virtual tokens are to move the workflow from an infinite loop to a finite number of iterations.To correctly describe the workflow net status when adding virtual tokens,an extended linear algebra approach used reachability analysis is presented.Finally,to verify the effectiveness of the proposed method,the EWF-net is used to model the missile design workflow,and the analysis method is used to investigate the reachability of the model.The results show that EWF-net can effectively solve the live lock problem of the design-workflow net.

关 键 词：PETRI网 环状工作流 可达性 活锁 集成设计 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]