Artículos de revistas
Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation
Fecha
2008Registro en:
INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, v.36, n.11/Dez, p.1180-1190, 2008
0268-3768
10.1007/s00170-006-0924-5
Autor
SILVA, Jose Reinaldo
BENITEZ, Israel
VILLAFRUELA, Luisa
GOMIS, Oriol
SUDRIA, Antoni
Institución
Resumen
Petri net (PN) modeling is one of the most used formal methods in the automation applications field, together with programmable logic controllers (PLCs). Therefore, the creation of a modeling methodology for PNs compatible with the IEC61131 standard is a necessity of automation specialists. Different works dealing with this subject have been carried out; they are presented in the first part of this paper [Frey (2000a, 2000b); Peng and Zhou (IEEE Trans Syst Man Cybern, Part C Appl Rev 34(4):523-531, 2004); Uzam and Jones (Int J Adv Manuf Technol 14(10):716-728, 1998)], but they do not present a completely compatible methodology with this standard. At the same time, they do not maintain the simplicity required for such applications, nor the use of all-graphical and all-mathematical ordinary Petri net (OPN) tools to facilitate model verification and validation. The proposal presented here completes these requirements. Educational applications at the USP and UEA (Brazil) and the UO (Cuba), as well as industrial applications in Brazil and Cuba, have already been carried out with good results.