Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation

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. Differen...

Full description

Saved in:
Bibliographic Details
Published in:International journal of advanced manufacturing technology 2008-04, Vol.36 (11-12), p.1180-1190
Main Authors: Silva, José Reinaldo, Benítez, Israel, Villafruela, Luisa, Gomis, Oriol, Sudrià, Antoni
Format: Article
Language:English
Subjects:
Automation
CAE) and Design
Compatibility
Computer-Aided Engineering (CAD
Engineering
Industrial and Production Engineering
Industrial applications
Mechanical Engineering
Media Management
Original Article
Petri nets
Product design
Programmable logic controllers
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0268-3768
1433-3015
DOI:10.1007/s00170-006-0924-5