A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems

被引：2

作者：

Kheldoun, Ahmed ^{[1
,4
]}

Barkaoui, Kamel ^{[2
]}

Zhang, JiaFeng ^{[3
]}

Ioualalen, Malika ^{[1
]}

机构：

[1] USTHB, Dept Comp Sci, MOVEP, Algiers, Algeria

[2] CEDRIC CNAM, F-75141 Paris 03, France

[3] Xidian Univ, Sch Electromech Engn, Xian 710071, Peoples R China

[4] Yahia Fares Univ, Fac Sci & Technol, Medea, Algeria

来源：

COMPUTER SCIENCE AND ITS APPLICATIONS, CIIA 2015 | 2015年 / 456卷

关键词：

Reconfigurable control systems; Feature; Recursive Petri nets; Rewriting logic; Maude; REWRITING LOGIC; PETRI NETS;

D O I：

10.1007/978-3-319-19578-0_45

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper deals with automatic reconfiguration of discrete event control systems. We propose to enrich the formalism of recursive Petri nets by the concept of feature from which runtime reconfigurations are facilitated. This new formalism is applied in the context of automated production system. Furthermore, the enhanced recursive Petri net is translated into rewriting logic, and by using Maude LTL model-checker one can verify several behavioural properties related to reconfiguration.

引用

页码：551 / 562

页数：12

共 50 条

[41] A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata
Cabral, Felipe Gomes
Moreira, Marcos Vicente
Diene, Oumar
Basilio, Joao Carlos
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2015, 60 (01) : 59 - 71
[42] Fault Modeling in Discrete Event Systems Using Petri Nets
Nazemzadeh, Payam
Dideban, Abbas
Zareiee, Meisam
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2013, 12 (01)
[43] An alternative approach for modeling of interference in discrete-event systems
Damrianant, J
Wakefield, RR
CIVIL ENGINEERING AND ENVIRONMENTAL SYSTEMS, 2000, 17 (03) : 213 - 235
[44] Modeling and Control of Discrete-Event Systems with Partial Non-Determinism using Petri Nets
Capkovic, Frantisek
ACTA POLYTECHNICA HUNGARICA, 2020, 17 (04) : 47 - 66
[45] Decentralized control design for interconnected discrete-event systems
Aybar, A
Iftar, A
LARGE SCALE SYSTEMS: THEORY AND APPLICATIONS 2001 (LSS'01), 2001, : 379 - 382
[46] Coordination control of discrete event systems using Petri nets
Pellicer, JE
Carelli, R
BALANCED AUTOMATION SYSTEMS II: IMPLEMENTATION CHALLENGES FOR ANTHROPOCENTRIC MANUFACTURING, 1996, : 519 - 529
[47] Java']Java Software for Petri-Net-Based Approaches to Discrete Event Systems
Wang, Xiaojun
Han, Chun
Hu, Hesuan
2018 IEEE 14TH INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION (ICCA), 2018, : 330 - 335
[48] Petri-Net Controller Synthesis for Partially Controllable and Observable Discrete Event Systems
Luo, JiLiang
Zhou, MengChu
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (03) : 1301 - 1313
[49] Current-state opacity verification in discrete event systems using an observer net
Labed, Abdeldjalil
Saadaoui, Ikram
Wu, Naiqi
Yu, Jiaxin
Li, Zhiwu
SCIENTIFIC REPORTS, 2022, 12 (01):
[50] Simulation and analysis of discrete-event control systems based on Petri nets using PNetLab
Basile, Francesco
Carbone, Ciro
Chiacchio, Pasquale
CONTROL ENGINEERING PRACTICE, 2007, 15 (02) : 241 - 259

← 1 2 3 4 5 →