Abstract
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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Lee J-S, Hsu P-L (2004) Design and implementation of the SNMP agents for remote monitoring and control via UML and Petri nets. IEEE Trans Control Syst Technol 12(2):293–302
Uzam M, Jones AH (1998) Discrete event control system design using automation Petri nets and their ladder diagram implementation. Int J Adv Manuf Technol 14(10):716–728
Frey G (2000a) Analysis of Petri net based control algorithms—basic properties. In: Proceedings of the American Control Conference (ACC 2000), Chicago, Illinois, June 2000. pp 3172–3176
Frey G (2000b) Automatic implementation of Petri Net based control algorithms on PLC. In: Proceedings of the American Control Conference (ACC 2000), Chicago, Illinois, June 2000, pp 2819–2823
Peng SS, Zhou MC (2004) Ladder diagram and Petri-net-based discrete-event control design methods. IEEE Trans Syst Man Cybern, Part C Appl Rev 34(4):523–531
Koussoulas NT (1994) Discrete event dynamic systems: which model to choose? In: Bryds MA, Malinowski K (eds) Computer aided control system design: methods, tools and related topics. World Scientific, Singapore
Reisig W (1982) Petri nets: an introduction. Springer, Berlin Heidelberg New York
Thiagarajan PS (1986) Elementary net systems. Lect Notes Comput Sci 224:27–59
Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4)541–580
McBride A (2001) PLC. Get more than what you see. Control Eng J 48(2):95–102
David R, Alla H (1992) Petri nets and Grafcet: tools for modelling discrete event systems. Prentice Hall, New York
DiCesare F (1993) Practice of Petri nets in manufacturing. Chapman & Hall, London, UK
Zhou M (1995) Petri nets in flexible and agile automation. Kluwer, Boston, Massachusetts
Desrochers AA, Al-Jaar RY (1995) Application of PN in manufacturing systems. IEEE Press, Piscataway, New Jersey
Holloway LE, Krogh BH, Giua A (1997) A survey of Petri net methods for controlled discrete event systems. Discrete Event Dyn Sys 7(2):151–190
Lucas MR, Tilbury DM (2002) Quantitative and qualitative comparisons of PLC programs for a small testbed with a focus on human issues. In: Proceedings of the American Control Conference, Anchorage, Alaska, May 2002
Lee J-S, Hsu P-L (2005) A systematic approach for the sequence controller design in manufacturing systems. Int J Adv Manuf Technol 25(7–8):754–760
Zhou MC, DiCesare F (1993) Petri net synthesis for discrete event control of manufacturing systems. Kluwer, Boston, Massachusetts
Ramadge PJG, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25(1):206–230
Giua A (1996) Petri net techniques for supervisory control in discrete event systems. In: Proceedings of the 1st International Workshop on Manufacturing and Petri Nets, Osaka, Japan, June 1996, pp 1–12
Ramadge PJG, Wonham WM (1989) The control of discrete event systems. Proc IEEE 77(1):81–97
Zurawaski R, Zhou MC (1994) Petri nets and industrial applications: a tutorial. IEEE Trans Ind Electron 41(6):567–583
Giua A, DiCesare F, Silva M (1993) Petri net supervisors for generalised mutual exclusions constraints. In: Proceedings of the 12th IFAC World Congress, Sydney, Australia, July 1993, vol I, pp 267–270
González P, Silva JR (2001) GHENeSys: uma rede estendida para a modelagem, analise e projeto de sistemas complexos. In: Proceedings of the Brazilian Symposium on Intelligent Automation (SBAI 2001), Sao Paulo, Brazil, November 2001
Lee G-B, Zandong H, Lee J-S (2004) Automatic generation of ladder diagram with control Petri net. J Intell Manuf 15(2):245–252
Hasegawa K, Takahashi K, Masuda R, Tange K, Suzuki T (1987) Simulation of discrete production systems based on mark flow graph. Syst Sci 13:105–121
Lewis RW (1998) Programming industrial control systems using IEC 61131-3. IEE Control Engineering Series 50. IEE, London, UK
Best E, DeCindio F, Hopkins R (1990) DEMON design methods based on nets. ESPRIT BRA (basic research action) #3148. EATCs Bull 41:487–505
Bernardinello L, de Cindio F (1992) A survey of basic net models and modular net classes. Lect Notes Comput Sci 609:304–351
Uzam M (2002) An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions. Int J Adv Manuf Technol 19(3):192–208
Park E, Tilbury DM, Khargonekar PP (2001) A modeling and analysis methodology for modular logic controllers of machining systems using Petri net formalism. IEEE Trans Syst Man Cybern, Part C Appl Rev 31(2):168–188
Hasegawa K (1996) Modeling, control and deadlock avoidance of flexible manufacturing systems. In: Proceedings of the 11th Brazilian Congress of Automation (XI Congresso Brasileiro de Automática,CBA 2002), Sao Paulo, Brazil, September 2006
Uzam M, Jones AH, Yucel I (2000) Using a Petri-net-based approach for the real-time supervisory control of an experimental manufacturing system. Int J Adv Manuf Technol 16(7):498–515
González PM (2001) GHENeSys: uma rede estendida orientada a objetos para o projeto de sistemas discretos. PhD dissertation, University of Sao Paulo, Brazil
Desel J, Esparza J (1995) Free choice Petri nets. Cambridge University Press, Cambridge, UK
Frey G, Schettler H-G (1998) Algebraic analysis of Petri Net based control algorithms. In: Proceedings of the 4th International Workshop on Discrete Event Systems (IEE WODES’98), Cagliari, Italy, August 1998, pp 94–96
Silva M (2000) Place transition II. Tutorial Petri nets 2000. In: Proceedings of the 21st International Conference on Application and Theory of Petri Nets, Aarhus, Denmark, June 2000
Benítez I (2002) Modelado modular para automatización de instalaciones docentes. In: Proceedings of the 2nd International Conference on Automatic Control (Automática, AUT 2002), Santiago de Cuba, Cuba, July 2002
Benítez I (2006) Modelagem de automação de sistemas de manufatura flexível com PN GHENeSys IEC61131. In: Proceedings of the 16th Latin-American Congress on Automatic Control (XVI Congresso Brasileiro de Automática,CBA 2006), Salvador, Bahia, Brazil, October 2006
Drath R (1997) A mathematical approach to describing a class of hybrid systems. In: Proceedings of the IEEE Workshop on Parallel and Distributed Real Time Systems, Geneva, Switzerland, April 1997
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Silva, J.R., Benítez, I., Villafruela, L. et al. Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation. Int J Adv Manuf Technol 36, 1180–1190 (2008). https://doi.org/10.1007/s00170-006-0924-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00170-006-0924-5