基于Petri网的动态可重构离散事件系统重构方案设计

TP271; 动态可重构离散事件系统(DRDES)是一种能够在运行过程中改变结构或参数的特殊离散事件系统(DES).已知重构起始与目标状态,DRDES的一次完整系统级重构过程可以由一串包含一系列普通事件与重构事件的事件序列描述.不恰当的重构方案可能导致系统死锁甚至造成严重后果.因此,聚焦DRDES中的增加型重构事件类型,基于Petri网描述DRDES的动态行为,以有向弧为重构最小执行单元,形式化定义了 DRDES最小执行成本重构方案设计问题,并提出了相应的重构方案自动求解算法.最后,将该方法应用于一个可重构制造系统的重构方案设计中,实验结果证明了本工作的有效性....

Full description

Saved in:
Bibliographic Details
Published in计算机集成制造系统 Vol. 30; no. 12; pp. 4168 - 4178
Main Authors 张佳峰, 李志翔, 张铎译, 李志武
Format Journal Article
LanguageChinese
Published 西安电子科技大学机电工程学院,陕西 西安 710071%西安电子科技大学机电工程学院,陕西 西安 710071 31.12.2024
澳门科技大学系统工程研究所,澳门 999078
Subjects
Petri网
动态可重构系统
离散事件系统
dynamic reconfigurable system
Petri nets
reconfiguration plan
重构方案设计
discrete event system
Online AccessGet full text
ISSN1006-5911
DOI10.13196/j.cims.2024.0572

Cover

More Information
Summary:TP271; 动态可重构离散事件系统(DRDES)是一种能够在运行过程中改变结构或参数的特殊离散事件系统(DES).已知重构起始与目标状态,DRDES的一次完整系统级重构过程可以由一串包含一系列普通事件与重构事件的事件序列描述.不恰当的重构方案可能导致系统死锁甚至造成严重后果.因此,聚焦DRDES中的增加型重构事件类型,基于Petri网描述DRDES的动态行为,以有向弧为重构最小执行单元,形式化定义了 DRDES最小执行成本重构方案设计问题,并提出了相应的重构方案自动求解算法.最后,将该方法应用于一个可重构制造系统的重构方案设计中,实验结果证明了本工作的有效性.
ISSN:1006-5911
DOI:10.13196/j.cims.2024.0572