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 条

[21] FAMUS I: Risk-based design of offshore oil and gas production system - management of uncertainties by integrating flow assurance and reliability aspects into a stochastic Petri nets model
Dejean, J. -P.
Averbuch, D.
Maurel, P.
Gainville, M.
Guet, S.
Johnsen, O.
RISK, RELIABILITY AND SOCIETAL SAFETY, VOLS 1-3: VOL 1: SPECIALISATION TOPICS; VOL 2: THEMATIC TOPICS; VOL 3: APPLICATIONS TOPICS, 2007, : 2443 - 2450
[22] Closure of "the coordinated automatic voltage control of the Italian transmission grid - Part I: Reasons of the choice and overview of the consolidated hierarchical system"
Corsi, S
IEEE TRANSACTIONS ON POWER SYSTEMS, 2006, 21 (01) : 445 - 446
[23] Discussion of "the coordinated automatic voltage control of the Italian transmission grid - Part I: Reasons of the choice and overview of the consolidated hierarchical system"
Taylor, CW
IEEE TRANSACTIONS ON POWER SYSTEMS, 2006, 21 (01) : 444 - 444
[24] Design of an automatic impedance matching system for industrial continuous microwave ovens. Part I: Modeling and off line tuning
Parro, VC
Pait, FM
PROCEEDINGS OF THE INTERNATIONAL 2003 SBMO/IEEE MTT-S INTERNATIONAL MICROWAVE AND OPTOELECTRONICS CONFERENCE - IMOC 2003, VOLS I AND II, 2003, : 791 - 795
[25] A hybrid hierarchical decision support system for cardiac surgical intensive care patients. Part I: Physiological modelling and decision support system design
Dendi, Mouloud A.
Mahfouf, Mahdi
Ross, Jonathan J.
ARTIFICIAL INTELLIGENCE IN MEDICINE, 2009, 45 (01) : 35 - 52
[26] Seven-effect 2 x 4500 m3/d low-temperature multi-effect desalination plant. Part I: Design, installation and commissioning
Qi, Chunhua
Feng, Houjun
Lv, Hongqing
Xu, Ke
Xing, Yulei
DESALINATION AND WATER TREATMENT, 2017, 58 : 46 - 54
[27] Theoretical control and experimental verification of a calender roller system part I: dynamic system modeling and model predictive controller design
Kuo, Chung-Feng Jeffrey
Chen, Jia-Siang
Van Hiep, Phung
Tu, Hung-Min
TEXTILE RESEARCH JOURNAL, 2011, 81 (01) : 10 - 21
[28] Analysis of a horizontal flow closed loop thermal energy storage system in pilot scale for high temperature applications - Part I: Experimental investigation of the plant
Odenthal, Christian
Steinmann, Wolf-Dieter
Zunft, Stefan
APPLIED ENERGY, 2020, 263 (263)
[29] Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing
Ausberger, Tomas
Kubicek, Karel
Medvecova, Pavla
Wolf, Jindrich
2022 IEEE 27TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2022,
[30] Model-Based Plant Design and Hierarchical Control of a Prototype Lighter-Than-Air Wind Energy System, With Experimental Flight Test Results
Vermillion, Chris
Grunnagle, Trey
Lim, Ronny
Kolmanovsky, Ilya
IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2014, 22 (02) : 531 - 542

← 1 2 3 4 →