Modeling and automation implementation of an industrial production process with PN

  1. Murillo, C. 1
  2. Jiménez, Ramiro Aliendre.. 1
  3. Jiménez, E. 2
  4. Pérez, M. 2
  1. 1 Universidad Técnica de Oruro
    info

    Universidad Técnica de Oruro

    Oruro, Bolivia

    ROR https://ror.org/019c89h28

  2. 2 Universidad de La Rioja
    info

    Universidad de La Rioja

    Logroño, España

    ROR https://ror.org/0553yr311

Libro:
International Mediterranean Modelling Multiconference, I3M

ISBN: 84-690-0726-2

Año de publicación: 2006

Páginas: 181-188

Tipo: Capítulo de Libro

Resumen

The application of Petri nets for the automation of the sub-systems of the electric oven process in the Vinto Metallurgist Complex is presented in this paper. From the functional specifications of the process the control algorithm has been obtained, and the functional properties have been validated and verified by means of specific software, in order to guarantee its correct operation. With this objective the ARP software has been used for the analysis of the model, as well as HP-Sim and Visual Object Net++ for the graphic simulation. Once the properties of the model have been verified, it has been enabled for the implementation phase, in which the Token Passing Ladder Logic TPL has been used as a methodology for transforming the Petri net into an equivalent diagram of contacts to be programmed in the Programmable Logic Controller (PLC). The paper is focused on the methodology and the software tools used to deal with PN in this industrial application.