Design of the automatic system for an electroplating pilot plant. Part I: Hierarchical Petri nets model

被引：0
|
作者：
Zapata, German [1 ]
Hoyos, Bibian [1 ]
Quintero, Luis [1 ]
机构：
[1] Univ Nacl Colombia, Fac Minas, Medellin, Colombia
来源：
REVISTA FACULTAD DE INGENIERIA-UNIVERSIDAD DE ANTIOQUIA | 2008年 / 45期
关键词：
Hierarchical Petri nets; formal methods; automation; hierarchic and modular design; electroplating;
D O I：
暂无
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
The description of the design and automation of a hard nickel electroplating pilot plant using rectangular pulse current is presented. For the automation of this process the Petri nets (PN) are described and used, starting from their more basic form and justifying why to use higher levels of abstraction or extensions of the same ones. These levels include the IPN (Interpreted PN), HPN (Hierarchical PN) and, finally, is a complement to this article the use of the HCPN (Hierarchical Colored PN). The results are reflected in the reduction of the pattern complexity due to the properties of modularization of the nets of higher level.
引用
收藏
页码：67 / 76
页数：10
相关论文
共 34 条
  • [1] Hierarchical Petri-nets model for the design of e-learning system
    He, Feng
    Le, J.
    TECHNOLOGIES FOR E-LEARNING AND DIGITAL ENTERTAINMENT, PROCEEDINGS, 2007, 4469 : 283 - 292
  • [2] Design and implementation of an automatic material handling system using Petri nets
    Ko, MS
    Kim, J
    ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, 1997, : 177 - 182
  • [3] The simulation of transients in thermal plant. Part I: Mathematical model
    Morini, G. L.
    Piva, S.
    APPLIED THERMAL ENGINEERING, 2007, 27 (11-12) : 2138 - 2144
  • [4] Using hierarchical structuring mechanisms with Petri nets for PLD based system design
    Gomes, L
    Barros, JP
    DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN, 2001, : 47 - 52
  • [5] Parameterised robotic system meta-model expressed by Hierarchical Petri nets
    Figat, Maksym
    Zielinski, Cezary
    ROBOTICS AND AUTONOMOUS SYSTEMS, 2022, 150
  • [6] A Load-Balance System Design of Microgrid Cluster Based on Hierarchical Petri Nets
    Sicchar, Jose R.
    Da Costa, Carlos T., Jr.
    Silva, Jose R.
    Oliveira, Raimundo C.
    Oliveira, Werbeston D.
    ENERGIES, 2018, 11 (12)
  • [7] A Case Study in Design and Verification of Manufacturing System Control Software with Hierarchical Petri Nets
    M. Heiner
    P. Deussen
    J. Spranger
    The International Journal of Advanced Manufacturing Technology, 1999, 15 : 139 - 152
  • [8] A case study in design and verification of manufacturing system control software with hierarchical Petri nets
    Heiner, M
    Deussen, P
    Spranger, J
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 1999, 15 (02): : 139 - 152
  • [9] Decision Support System, Based on the Paradigm of the Petri Nets, for the Design and Operation of a Dairy Plant
    Latorre-Biel, J. I.
    Jimenez-Macias, E.
    Blanco-Fernandez, J.
    Martinez-Camara, E.
    Saenz-Diez, J. C.
    Perez-Parte, M.
    INTERNATIONAL JOURNAL OF FOOD ENGINEERING, 2015, 11 (06) : 767 - 776
  • [10] Implementation of fuzzy system using hierarchical Colored Petri Nets to model flexible manufacturing cell
    Saren, S. K.
    Blaga, F.
    Vesselenyi, T.
    MODTECH INTERNATIONAL CONFERENCE - MODERN TECHNOLOGIES IN INDUSTRIAL ENGINEERING VI (MODTECH 2018), 2018, 400
1234