Ver registro no DEDALUS
Exportar registro bibliográfico

Metrics


Metrics:

Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation (2008)

  • Authors:
  • USP affiliated authors: SILVA, JOSE REINALDO - EP
  • USP Schools: EP
  • DOI: 10.1007/s00170-006-0924-5
  • Subjects: REDES DE PETRI; CONTROLADORES PROGRAMÁVEIS
  • Language: Inglês
  • Imprenta:
  • Source:
  • Acesso online ao documento

    DOI or search this record in
    Informações sobre o DOI: 10.1007/s00170-006-0924-5 (Fonte: oaDOI API)
    • Este periódico é de assinatura
    • Este artigo NÃO é de acesso aberto
    • Cor do Acesso Aberto: closed
    Informações sobre o Citescore
  • Título: International Journal of Advanced Manufacturing Technology

    ISSN: 0268-3768

    Citescore - 2017: 2.8

    SJR - 2017: 0.994

    SNIP - 2017: 1.697


  • How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SILVA, José Reinaldo; BENITEZ, Israel; VILLAFRUELA, Luisa; GOMIS, Oriel; SUDRIA, Antoni. Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation. International Journal of Advanced Manufacturing Technology, London, v. 36, n. 11-12, p. 1180-1190, 2008. DOI: 10.1007/s00170-006-0924-5.
    • APA

      Silva, J. R., Benitez, I., Villafruela, L., Gomis, O., & Sudria, A. (2008). Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation. International Journal of Advanced Manufacturing Technology, 36( 11-12), 1180-1190. doi:10.1007/s00170-006-0924-5
    • NLM

      Silva JR, Benitez I, Villafruela L, Gomis O, Sudria A. Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation. International Journal of Advanced Manufacturing Technology. 2008 ; 36( 11-12): 1180-1190.
    • Vancouver

      Silva JR, Benitez I, Villafruela L, Gomis O, Sudria A. Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation. International Journal of Advanced Manufacturing Technology. 2008 ; 36( 11-12): 1180-1190.

    Referências citadas na obra
    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