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 条

[11] Design and Implementation of Discrete Event Control Systems: A Petri Net Based Hardware Approach
S. Bulach
A. Brauchle
H.-J. Pfleiderer
Z. Kucerovsky
Discrete Event Dynamic Systems, 2002, 12 : 287 - 309
[12] Input Event Modeling for Discrete-Event Controllers: A Petri Net Approach
Gomes, Luis
Campos-Rebelo, Rogerio
Costa, Aniko
Barros, Joao-Paulo
CONTROLO 2022, 2022, 930 : 498 - 508
[13] A survey of Petri net methods for controlled discrete event systems
Holloway, LE
Krogh, BH
Giua, A
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1997, 7 (02): : 151 - 190
[14] A Survey of Petri Net Methods for Controlled Discrete Event Systems
L. E. Holloway
B. H. Krogh
A. Giua
Discrete Event Dynamic Systems, 1997, 7 : 151 - 190
[15] Diagnosis of asynchronous discrete event systems, a net unfolding approach
Benveniste, A
Fabre, E
Jard, C
Haar, S
WODES'02: SIXTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2002, : 182 - 187
[16] Application of discrete event systems theory for modeling and analysis of a power transmission network
Biswas, T
Davari, A
Feliachi, A
2004 IEEE PES POWER SYSTEMS CONFERENCE & EXPOSITION, VOLS 1 - 3, 2004, : 1024 - 1029
[17] Modeling and control of drug assignment for pharmaceutical cabinets using discrete event systems approaches
Soumatia, Maroua
Amari, Said
Hachemi, Khalid
ASIAN JOURNAL OF CONTROL, 2024, 26 (03) : 1151 - 1164
[18] On the implementation of supervised control of discrete event systems
Basile, Francesco
Chiacchio, Pasquale
IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2007, 15 (04) : 725 - 739
[19] Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions
Uzam, M
INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2004, 24 (1-2) : 48 - 69
[20] Petri nets for the control of discrete event systems
Giua, Alessandro
Seatzu, Carla
SOFTWARE AND SYSTEMS MODELING, 2015, 14 (02) : 693 - 701

← 1 2 3 4 5 →