Extending Input-Output Place-Transition Petri nets for Distributed Controller Systems development

被引：0

作者：

Gomes, Luis ^{[1
,2
]}

Moutinho, Filipe ^{[1
,2
]}

Pereira, Fernando ^{[1
,2
,3
]}

Ribeiro, Jose ^{[1
,2
,3
]}

Costa, Aniko ^{[1
,2
]}

Barros, Joao-Paulo ^{[2
,4
]}

机构：

[1] Univ Nova Lisboa, Fac Ciencias & Tecnol, P-1200 Lisbon, Portugal

[2] UNINOVA CTS, Caparica, Portugal

[3] Inst Politecn Lisboa, ISEL, Lisbon, Portugal

[4] Inst Politecn Beja, ESTIG, Beja, Portugal

来源：

2014 INTERNATIONAL CONFERENCE ON MECHATRONICS AND CONTROL (ICMC) | 2014年

关键词：

D O I：

暂无

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

Petri nets have been widely used in the design of embedded controllers, namely in electronic hardware and computing platforms design, as well as within automation application areas. This paper presents updated characteristics of one class of Petri nets, named Input-Output Place-Transition Petri nets (IOPT nets), extended to support networked embedded controllers design and globally-asynchronous locally-synchronous (GALS) systems modeling, together with its associated meta-model and execution semantics. The proposed meta-model is compliant with the Petri Net Markup Language (PNML) meta-model, augmented with the descriptions for inputs and outputs, as well as for time domains and communication channels. The meta-model is described using UML class diagrams and has an equivalent Ecore meta-model that positioning IOPT nets within the Eclipse Modeling Framework (EMF).

引用

页码：1099 / 1104

页数：6

共 50 条

[21] Input-Output Transition Models for Discrete-Time Switched Nonlinear Systems
Lai, Chow Yin
Xiang, Cheng
Lee, Tong Heng
2009 IEEE/ASME INTERNATIONAL CONFERENCE ON ADVANCED INTELLIGENT MECHATRONICS, VOLS 1-3, 2009, : 112 - +
[22] SPECIFICATION AND ANALYSIS OF PARALLEL DISTRIBUTED SOFTWARE AND SYSTEMS BY PETRI NETS WITH TRANSITION ENABLING FUNCTIONS
PAPELIS, YE
CASAVANT, TL
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1992, 18 (03) : 252 - 261
[23] Strategies for search and rescue multirobot system based on place/transition Petri nets and RFID distributed database
Fonseca, Joao P. S.
Silva, Carlos E. A.
Sousa, Alexandre R.
Tavares, Jose J. P. Z. S.
2017 LATIN AMERICAN ROBOTICS SYMPOSIUM (LARS) AND 2017 BRAZILIAN SYMPOSIUM ON ROBOTICS (SBR), 2017,
[24] A Distributed Fault Detection Filtering Approach for a Class of Interconnected Input-Output Nonlinear Systems
Keliris, Christodoulos
Polycarpou, Marios M.
Parisini, Thomas
2013 EUROPEAN CONTROL CONFERENCE (ECC), 2013, : 422 - 427
[25] 72 THEOREMS OF GLOBAL INPUT-OUTPUT STABILITY FOR NONLINEAR-SYSTEMS WITH DISTRIBUTED PARAMETER
JUMARIE, G
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1972, 275 (14): : 655 - &
[26] An Algebraic Approach for Robust Fault Detection of Input-Output Elastodynamic Distributed Parameter Systems
Ferrari, Riccardo M. G.
Parisini, Thomas
Polycarpou, Marios M.
2013 EUROPEAN CONTROL CONFERENCE (ECC), 2013, : 2445 - 2452
[27] 2 CRITERIA FOR INPUT-OUTPUT STABILITY FOR GAUSSIAN STOCHASTIC AND DISTRIBUTED SYSTEMS WITH DIAGONAL NONLINEARITY
JUMARIE, G
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1973, 276 (07): : 575 - 578
[28] Distributed fault diagnosis for continuous-time nonlinear systems: The input-output case
Boem, Francesca
Ferrari, Riccardo M. G.
Parisini, Thomas
Polycarpou, Marios M.
ANNUAL REVIEWS IN CONTROL, 2013, 37 (01) : 163 - 169
[29] Input-Output Finite-Time Stability and Stabilization for a Class of Distributed Parameter Systems
Li, Xueyang
Mao, Weijie
CONFERENCE PROCEEDINGS OF 2017 3RD IEEE INTERNATIONAL CONFERENCE ON CONTROL SCIENCE AND SYSTEMS ENGINEERING (ICCSSE), 2017, : 387 - 390
[30] Identification of timed input/output relationships for industrial automation systems using Timed Interpreted Petri Nets
Basile, Francesco
Ferrara, Luigi
2019 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC), 2019, : 1831 - 1837

← 1 2 3 4 5 →