Rapid Prototyping of Graphical User Interfaces for Petri-Net-Based Controllers

被引:13
|
作者
Gomes, Luis [1 ,2 ]
Lourenco, Joao [3 ]
机构
[1] Univ Nova Lisboa, Fac Ciencias & Tecnol, Dept Engn Electrotecn, P-2829516 Caparica, Portugal
[2] Univ Nova Lisboa, Inst Desenvolvimento Novas Tecnol, Ctr Tecnol & Sistemas, P-2829516 Caparica, Portugal
[3] Univ Nova Lisboa, Fac Sci & Technol, P-2829516 Caparica, Portugal
关键词
Design automation; graphical user interfaces (GUIs); modeling; Petri nets; FRAMEWORK; LANGUAGE; DESIGN; MODELS;
D O I
10.1109/TIE.2009.2031188
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper describes a tool framework allowing the rapid prototyping of an animated synoptic application associated with an embedded system controller. The motto for developing this tool framework is to be able to automatically generate controllers with associated graphical user interface (GUI) without writing a line of execution code; instead, the tool framework will provide specific aids allowing the designer to define the controller behavior and associated GUI ( including static parts and intended dynamics). The behavior of the controller is described through a low-level Petri-net model, and the tool framework supports the definition of characteristics for the intended GUI and the association of the characteristics of the Petri-net behavioral model with specific characteristics of the GUI through a set of dedicated rules. Two main tools are described. The first one, named as "Animator," allows an interactive definition of the graphical characteristics of the synoptic and automatic code generation. The second one, named as " Synoptic," is responsible for the embedded control-execution part, integrating real-time updating of the GUI. The application of the tool framework to a simple automation system, namely, to the controller of a manufacturing system composed of a four-cell first-in-first-out system, is presented.
引用
收藏
页码:1806 / 1813
页数:8
相关论文
共 50 条
  • [41] Petri-Net-Based Analysis Method for Grid Services Composition Model
    Yu Xue-li
    Jiang Jing
    Xia Bai-qiang
    Pan Zhen-kuan
    2010 INTERNATIONAL CONFERENCE ON INNOVATIVE COMPUTING AND COMMUNICATION AND 2010 ASIA-PACIFIC CONFERENCE ON INFORMATION TECHNOLOGY AND OCEAN ENGINEERING: CICC-ITOE 2010, PROCEEDINGS, 2010, : 180 - 184
  • [42] Using a Fuzzy Petri-Net-Based Approach for the Offshore Weather Prediction
    Yan Chenghua
    Chen Qixiang
    ECBI: 2009 INTERNATIONAL CONFERENCE ON ELECTRONIC COMMERCE AND BUSINESS INTELLIGENCE, PROCEEDINGS, 2009, : 135 - +
  • [43] Petri-net-based description and verification of web services composition model
    Zhang, Pei-Yun
    Huang, Bo
    Sun, Ya-Min
    Xitong Fangzhen Xuebao / Journal of System Simulation, 2007, 19 (12): : 2872 - 2876
  • [44] A Petri-Net-based modelling approach to railway bridge asset management
    Yianni, Panayioti C.
    Rama, Dovile
    Neves, Luis C.
    Andrews, John D.
    Castlo, David
    STRUCTURE AND INFRASTRUCTURE ENGINEERING, 2017, 13 (02) : 287 - 297
  • [45] A Petri-net-based correctness analysis of Internet stock trading systems
    Du, YuYue
    Jiang, ChangJun
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008, 38 (01): : 93 - 99
  • [46] Petri-Net-Based Charging Scheduling Optimization in Rechargeable Sensor Networks
    Qin, Huaiyu
    Ding, Wei
    Xu, Lei
    Ruan, Chenzhi
    SENSORS, 2024, 24 (19)
  • [47] A Petri-Net-Based Approach for Enhancing Clinical Reasoning in Medical Education
    Ricci, Fabrizio L.
    Consorti, Fabrizio
    Pecoraro, Fabrizio
    Luzi, Daniela
    Tamburis, Oscar
    IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES, 2022, 15 (02): : 167 - 178
  • [48] A Petri-Net-Based Anytime A∗ Search for Scheduling Resource Allocation Systems
    Lv, Jianyong
    Huang, Bo
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2024, 20 (02) : 2865 - 2872
  • [49] A Petri-Net-Based Approach to QoS Estimation of Web Service Choreographies
    Xia, Yunni
    Chen, Jun
    Zhou, Mingqiang
    Huang, Yu
    ADVANCES IN WEB AND NETWORK TECHNOLOGIES, AND INFORMATION MANAGEMENT, 2009, 5731 : 113 - +
  • [50] Matlab tools for Petri-Net-Based approaches to flexible manufacturing systems
    Mahulea, C
    Barsan, L
    Pastravanu, O
    LARGE SCALE SYSTEMS: THEORY AND APPLICATIONS 2001 (LSS'01), 2001, : 199 - 204