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 条
  • [21] Fast Petri-net-based sequence controller implemented on a DSP
    Di Stefano, A., 1600, Springer-Verlag London Ltd., London, United Kingdom (09):
  • [22] A Petri-net-Based model of equipment virtual maintenance process
    Liu, YL
    Xu, ZC
    FOURTH INTERNATIONAL CONFERENCE ON VIRTUAL REALITY AND ITS APPLICATIONS IN INDUSTRY, 2004, 5444 : 527 - 530
  • [23] PETRI-NET-BASED DEADLOCK ANALYSIS OF PROCESS ALGEBRA PROGRAMS
    RONDOGIANNIS, P
    CHENG, MHM
    SCIENCE OF COMPUTER PROGRAMMING, 1994, 23 (01) : 55 - 89
  • [24] A Petri-net-based Method For Detecting Bugs in Multiple Threads
    Sun, Jiaquan
    Liu, Guanjun
    Xiang, Dongming
    Jiang, Changjun
    PROCEEDINGS OF THE 2019 IEEE 16TH INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC 2019), 2019, : 150 - 156
  • [25] PETRI-NET-BASED HYPERTEXT - DOCUMENT STRUCTURE WITH BROWSING SEMANTICS
    STOTTS, PD
    FURUTA, R
    ACM TRANSACTIONS ON INFORMATION SYSTEMS, 1989, 7 (01) : 3 - 29
  • [26] DSP-ARCHITECTURE DESIGN WITH A PETRI-NET-BASED SIMULATOR
    RAUTIOLA, K
    JOKITALO, P
    MICROPROCESSING AND MICROPROGRAMMING, 1991, 32 (1-5): : 565 - 572
  • [27] A FAST PETRI-NET-BASED SEQUENCE CONTROLLER IMPLEMENTED ON A DSP
    DISTEFANO, A
    MIRABELLA, O
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 1994, 9 (06): : 375 - 381
  • [28] Improved net rewriting systems-based rapid reconfiguration of Petri net logic controllers
    Li, J
    Dai, XZ
    Meng, ZD
    IECON 2005: THIRTY-FIRST ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-3, 2005, : 2284 - 2289
  • [29] Petri-net-based coordination motion control for legged robot
    Zhao, GT
    Zheng, HJ
    Wang, JS
    Li, TM
    2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 581 - 586
  • [30] Verification of workflow task structures: A Petri-net-based approach
    van der Aalst, WMP
    ter Hofstede, AHM
    INFORMATION SYSTEMS, 2000, 25 (01) : 43 - 69