Four floors elevator system controlled by Petri nets for didactic purposes

被引:0
|
作者
Aguirre-Gil, Inaki [1 ]
Gomez, Claudia [1 ]
Dugarte, Carlos [1 ]
机构
[1] Univ Los Andes, Fac Ingn, Dept Control & Automat Escuela Ingn Sist, Merida 5101, Venezuela
来源
CIENCIA E INGENIERIA | 2013年 / 34卷 / 02期
关键词
Small-scale elevator; monitoring; PIC microcontroller; Petri Nets;
D O I
暂无
中图分类号
T [工业技术];
学科分类号
08 ;
摘要
The aim of this paper is to describe the construction, modeling and monitoring of a four-floors small-scale elevator for didactic purpose. The prototype created has a door at each floor that opens and closes individually as real elevators and also offers an operation console with buttons to generate all the orders from/to every floor to be served by the elevator cabin. Moreover, the monitoring software has been developed in Visual C# to watch the online elevator operation and includes remote elevator commissioning. A serial connection is needed to link up the prototype to a computer. The elevators operation logic is based on the functional and technological specifications made by the designer. Petri Nets are use to model the logical specifications and they are implemented using a microcontroller PIC 16F877.
引用
收藏
页码:81 / 90
页数:10
相关论文
共 50 条
  • [1] Elevator dynamic simulation using Petri nets
    Chang, K.-M.
    Fan, C.-K.
    Systems Analysis Modelling Simulation, 2001, 40 (02): : 207 - 238
  • [2] Controlled stochastic Petri nets
    deMeer, H
    Dusterhoft, OR
    SIXTEENTH SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 1997, : 18 - 25
  • [3] ON CONTROLLABILITY OF CONTROLLED PETRI NETS
    USHIO, T
    CONTROL-THEORY AND ADVANCED TECHNOLOGY, 1989, 5 (03): : 265 - 275
  • [4] Requirements engineering for reactive systems: Coloured petri nets for an elevator controller
    Fernandes, Joao M.
    Jorgensen, Jens Baek
    Tjell, Simon
    14TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2007, : 294 - +
  • [5] Robustness of a class of controlled Petri nets
    Hsieh, FS
    PROCEEDINGS OF THE THIRTY-SIXTH SOUTHEASTERN SYMPOSIUM ON SYSTEM THEORY, 2004, : 92 - 96
  • [6] Grammars Controlled by Special Petri Nets
    Dassow, Juergen
    Turaev, Sherzod
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, 2009, 5457 : 326 - +
  • [7] CONTROLLED EXECUTIONS OF TIMED PETRI NETS
    CHRETIENNE, P
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1984, 3 (01): : 23 - 31
  • [8] Petri Net Controlled Grammars: the Case of Special Petri Nets
    Dassow, Juergen
    Turaev, Sherzod
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2009, 15 (14) : 2808 - 2835
  • [9] Transforming Time Petri Nets into Heterogeneous Petri Nets for Hybrid System Monitoring
    Hatte, Leonie
    Ribot, Pauline
    Chanthery, Elodie
    IFAC PAPERSONLINE, 2024, 58 (04): : 646 - 651
  • [10] Dynamically coloured petri nets for air traffic management safety purposes
    Everdij, MHC
    Blom, HAP
    Klompstra, MB
    TRANSPORTATION SYSTEMS 1997, VOLS 1-3, 1997, : 169 - 174