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 条

[31] A formal technique for the synthesis of Petri net supervisors for Discrete Event Systems
Jones, AH
Uzam, M
UKACC INTERNATIONAL CONFERENCE ON CONTROL '98, VOLS I&II, 1998, : 845 - 852
[32] Control reconfiguration of discrete event systems with dynamic control specifications
Sampath, Rupa
Darabi, Houshang
Buy, Ugo
Liu, Jing
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2008, 5 (01) : 84 - 100
[33] Modeling and Control of Discrete Event and Hybrid Systems Using Petri Nets and OPC Unified Architecture
Kucera, Erik
Haffner, Oto
Drahos, Peter
Kozakova, Alena
IEEE ACCESS, 2022, 10 : 120735 - 120751
[34] Analysis of Discrete Event Systems with Petri Nets
Mata, Guelvis
Mendez, Arnado
Cardillo, Juan
Chacon, Edgar
CIENCIA E INGENIERIA, 2016, 37 (02): : 53 - 58
[35] Supervisory Control of Discrete Event Systems using observers
Campos-Rodriguez, R.
Alcaraz-Mejia, M.
Mireles-Garcia, J.
2007 MEDITERRANEAN CONFERENCE ON CONTROL & AUTOMATION, VOLS 1-4, 2007, : 351 - +
[36] New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs
Hafidi, Yousra
Kahloul, Laid
Khalgui, Mohamed
ICSOFT: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES, 2019, : 129 - 140
[37] A control synthesis tool for time Discrete Event Systems
Leahu, Loana
Sava, Alexandre
Achour, Zied
Rezg, Nidhal
2006 IMACS: MULTICONFERENCE ON COMPUTATIONAL ENGINEERING IN SYSTEMS APPLICATIONS, VOLS 1 AND 2, 2006, : 919 - +
[38] A Petri net based approach to design well behaved discrete event systems
Pouyan, AA
2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 292 - 299
[39] Partial order diagnosability of discrete event systems using Petri net unfoldings
Haar, S
Benveniste, A
Fabre, E
Jard, C
42ND IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-6, PROCEEDINGS, 2003, : 3748 - 3753
[40] A Matlab-based Petri net supervisory controller for discrete event systems
Flochová, J
Lipták, R
Boel, RK
PROGRAMMABLE DEVICES AND SYSTEMS 2001, 2002, : 113 - 120

← 1 2 3 4 5 →