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

• 作者: 范国超 许承东 赵靖 郑学恩
• 来源期刊: 系统工程与电子技术
• 学科: 工学
• 关键词: Petri网 环状工作流 可达性 活锁 集成设计
• 年，卷（期）: 2018,（7）
• 所属期刊栏目: 软件、算法与仿真
• 页码范围: 1626-1632
• 页数: 7页
• 分类号: TP311
• 字数: 6061字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-506X.2018.07.30

摘要

设计工作流是一种非公平性的环形工作流(loop workflow ,LWF) ,这种工作流模型增加了陷入活锁状态的风险,导致设计流程无法向下进行.针对设计工作流活锁问题,提出了基于面向对象Petri网的扩展工作流网.该方法设计了跃迁状态转移机制和虚拟托肯的网标识,使LWF从无限循环的活锁状态转变为可计数的有限循环迭代状态,同时给出了能够描述虚拟托肯标识的可达性分析方法.分析结果表明应用所提方法建立的弹箭设计工作流模型避免了活锁,且具有可达性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	许承东	北京理工大学宇航学院	36	172	7.0	12.0
2	赵靖	北京理工大学宇航学院	4	8	2.0	2.0
3	范国超	北京理工大学宇航学院	6	11	2.0	3.0
4	郑学恩	北京理工大学宇航学院	5	11	3.0	3.0