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

被引：6

作者：

郑学恩

许承东

范国超

赵靖

机构：

[1] 北京理工大学宇航学院

来源：

系统工程与电子技术 | 2018年 / 40卷 / 07期

关键词：

Petri网; 环状工作流; 可达性; 活锁; 集成设计;

D O I：

暂无

中图分类号：

TP301.1 [自动机理论];

学科分类号：

摘要：

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

引用

页码：1626 / 1632

页数：7

共 8 条

[1] Petri网不可达标识的判定方法研究及其在死锁检测中的应用
鲁法明
曾庆田
段华
彭延军
包云霞
[J]. 计算机集成制造系统, 2016, 22 (02) : 465 - 475
[2] 基于扩展Petri网的飞机装配线建模及平衡方法
徐剑
叶文华
杨斌
刘霞
[J]. 计算机集成制造系统, 2015, 21 (10) : 2596 - 2603
[3] 基于时间扩展Petri网的实时嵌入式软件体系结构建模及可靠性评估
许玉堂
殷永峰
孙静
张弛
刘斌
[J]. 兵工学报, 2015, 36 (02) : 363 - 373
[4] 基于P/T系统化简方法的工作流过程模型验证
赵文
袁崇义
刘刚
张世琨
王立福
[J]. 软件学报, 2004, (10) : 1423 - 1430
[5] 支持动态修改的可适应工作流模型
朱锦泉
苑森淼
[J]. 兵工学报, 2004, (05) : 649 - 652
[6] A Petri net-based decision-making framework for assessing cloud services adoption: The use of spot instances for cost reduction[J] . Maristella Ribas,C.G. Furtado,José Neuman de Souza,Giovanni Cordeiro Barroso,Ant?o Moura,Alberto S. Lima,Flávio R.C. Sousa. Journal of Network and Computer Applications . 2015
[7] Stepwise structural verification of cyclic workflow models with acyclic decomposition and reduction of loops[J] . Yongsun Choi,Pauline Kongsuwan,Cheol Min Joo,J. Leon Zhao. Data & Knowledge Engineering . 2014
[8] A formal diagrammatic approach to compensable workflow modelling .2 RUTLE A,WANG H,MACCAULL W. Proc.of the2nd International Symposium foundations of Health Information Engineering and Systems . 2013

← 1 →