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 条

[21] Petri nets for the control of discrete event systems
Alessandro Giua
Carla Seatzu
Software & Systems Modeling, 2015, 14 : 693 - 701
[22] Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions
M. Uzam
The International Journal of Advanced Manufacturing Technology, 2004, 24 : 48 - 69
[23] A Petri Net-Based Discrete-Event Control of Automated Manufacturing Systems with Assembly Operations
Hu, Hesuan
Zhou, MengChu
IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2015, 23 (02) : 513 - 524
[24] Condition/Event Net Synthesis for Discrete Event Control Using Partial Language Specifications
Hashizume, Satoru
Hashizume, Susumu
Yajima, Tomoyuki
Onogi, Katsuaki
2013 PROCEEDINGS OF SICE ANNUAL CONFERENCE (SICE), 2013, : 587 - 594
[25] Intelligent control of discrete event dynamic systems
Capkovic, F
PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL, 2000, : 109 - 114
[26] Modeling, specification and controller synthesis for discrete event systems
Lennartson, B
Tittus, M
Fabian, M
1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 698 - 703
[27] Sensor-based Petri net modeling for PLC stage programming of discrete-event control design
Peng, SS
Zhou, MC
2002 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, 2002, : 1907 - 1912
[28] Sensor-based Petri net modeling for PLC stage programming of discrete-event control design
Peng, SS
Zhou, MC
6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XVII, PROCEEDINGS: INDUSTRIAL SYSTEMS AND ENGINEERING III, 2002, : 140 - 145
[29] Critical Observability of Discrete-Event Systems in a Petri Net Framework
Cong, Xuya
Fanti, Maria Pia
Mangini, Agostino Marcello
Li, Zhiwu
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2022, 52 (05): : 2789 - 2799
[30] Diagnosis of asynchronous discrete-event systems: A net unfolding approach
Benveniste, A
Fabre, E
Haar, S
Jard, C
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2003, 48 (05) : 714 - 727

← 1 2 3 4 5 →