Ecore Representation for Extending PNML for Input-Output Place-Transition Nets

被引:0
|
作者
Moutinho, Filipe [1 ]
Gomes, Luis [1 ]
Ramalho, Franklin [2 ]
Figueiredo, Jorge [2 ]
Barros, Joao Paulo
Barbosa, Paulo [2 ,3 ]
Pais, Rui [3 ]
Costa, Aniko [1 ]
机构
[1] Univ Nova Lisboa, Fac Ciencias & Tecnol, P-1200 Lisbon, Portugal
[2] Univ Federal Campina, Campinas, Brazil
[3] UNINOVA CTS, Inst Politecn Beja, ESTIG, Beja, Portugal
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper presents a metamodel for the Input-Output Place-Transition nets (IOPT nets), a Petri net class targeted at controllers modeling. The proposed metamodel reuses many of the elements of the Petri Net Markup Language (PNML) metamodel, such as places, transitions, and arcs; it extends the PNML metamodel for Place/Transition nets to comprise concepts inherent to IOPT nets. The IOPT nets metamodel is described in Ecore format, putting IOPT nets in the puzzle of MDA artifacts taking benefit from the MDA infrastructure.
引用
收藏
页数:6
相关论文
共 50 条
  • [41] Is Energy Transition Beneficial to Sectors with High Employment Content? An Input-Output Analysis for France
    Perrier, Quentin
    Quirion, Philippe
    REVUE D ECONOMIE POLITIQUE, 2017, 127 (05): : 851 - 887
  • [42] INPUT-OUTPUT TRANSITION MODELS FOR DISCRETE-TIME SWITCHED LINEAR AND NONLINEAR SYSTEMS
    Lai, Chow Y.
    Xiang, Cheng
    Lee, Tong H.
    CONTROL AND INTELLIGENT SYSTEMS, 2011, 39 (01) : 47 - 59
  • [43] Novel Input-output Representation of General Non-uniformly Sampled-data Systems
    Xie, Li
    Yang, Huizhong
    Ding, Feng
    Tao, Hongfeng
    2016 AMERICAN CONTROL CONFERENCE (ACC), 2016, : 60 - 65
  • [44] STATE-SPACE REPRESENTATION AND REALIZATION OF TIME-VARYING LINEAR INPUT-OUTPUT FUNCTIONS
    ISIDORI, A
    RUBERTI, A
    JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 1976, 301 (06): : 573 - 592
  • [45] A family of test selection criteria for Timed Input-Output Symbolic Transition System models
    Moraes, Alan
    Andrade, Wilkerson L.
    Machado, Patricia D. L.
    SCIENCE OF COMPUTER PROGRAMMING, 2016, 126 : 52 - 72
  • [46] Input-Output Representation and Identifiability of Delay Parameters for Nonlinear Systems with Multiple Time-Delays
    Anguelova, Milena
    Wennberg, Bernt
    TOPICS IN TIME DELAY SYSTEMS: ANALYSIS, ALGORITHMS AND CONTROL, 2009, 388 : 243 - 253
  • [47] Input-Output Relation and Time-Optimal Control of a Class of Hybrid Petri Nets Using min,+) Semiring
    Jan Komenda
    Abdellah El Moudni
    Noureddine Zerhouni
    Discrete Event Dynamic Systems, 2001, 11 : 59 - 75
  • [48] Input-output relation and time-optimal control of a class of hybrid Petri nets using (min, +) semiring
    Komenda, J
    El Moudni, A
    Zerhouni, N
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2001, 11 (1-2): : 59 - 75
  • [49] A TRANSFER-FUNCTION REPRESENTATION FOR THE INPUT-OUTPUT RELATION IN CONSECUTIVE MICHAELIS-MENTEN-TYPE REACTIONS
    SAKAMOTO, N
    BIOSYSTEMS, 1994, 33 (02) : 99 - 110
  • [50] Economic and employment effects of China's power transition based on input-output and scenario simulation
    Sun, Dong
    Liu, Yan-Yan
    Yang, Xiao-Wen
    Lyu, Liang-Qiu
    Yuan, Jia-Hai
    ADVANCES IN CLIMATE CHANGE RESEARCH, 2022, 13 (05) : 721 - 728