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 条

[1] Modeling and Analysis of Discrete Event Systems Using a Petri Net Component
Soares, Michel dos Santos
2011 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2011, : 814 - 819
[2] Reconfigurable Coordination of Distributed Discrete Event Control Systems
Zhang, Jiafeng
Khalgui, Mohamed
Li, Zhiwu
Frey, Georg
Mosbahi, Olfa
Ben Salah, Hela
IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2015, 23 (01) : 323 - 330
[3] Discrete Event Systems: Modeling, Observation, and Control
Lafortune, Stephane
ANNUAL REVIEW OF CONTROL, ROBOTICS, AND AUTONOMOUS SYSTEMS, VOL 2, 2019, 2 : 141 - 159
[4] Reconfiguration Control of Dynamic Reconfigurable Discrete Event Systems Based on NCESs
Zhang, Jiafeng
Li, Hongyi
Frey, Georg
Li, Zhiwu
IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2020, 28 (03) : 857 - 868
[5] Analysis and Control for Resilience of Discrete Event Systems
Basilio, Joao Carlos
Hadjicostis, Christoforos N.
Su, Rong
FOUNDATIONS AND TRENDS IN SYSTEMS AND CONTROL, 2021, 8 (04): : 285 - 443
[6] R-TNCES: A Novel Formalism for Reconfigurable Discrete Event Control Systems
Zhang, Jiafeng
Khalgui, Mohamed
Li, Zhiwu
Mosbahi, Olfa
Al-Ahmari, Abdulrahman M.
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (04): : 757 - 772
[7] Modeling, simulation, estimation and boundedness analysis of discrete event systems
Atef Khedher
Kamal BenOthman
Soft Computing, 2020, 24 : 4775 - 4789
[8] Modeling, simulation, estimation and boundedness analysis of discrete event systems
Khedher, Atef
BenOthman, Kamal
SOFT COMPUTING, 2020, 24 (07) : 4775 - 4789
[9] On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems
Hafidi, Yousra
Kahloul, Laid
Khalgui, Mohamed
Li, Zhiwu
Alnowibet, Khalid
Qu, Ting
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2020, 50 (10): : 3577 - 3591
[10] Design and implementation of discrete event control systems: A Petri net based hardware approach
Bulach, S
Brauchle, A
Pfleiderer, HJ
Kucerovsky, Z
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2002, 12 (03): : 287 - 309

← 1 2 3 4 5 →