CONVERSION OF LADDER DIAGRAM TO PETRI NET USING MODULE SYNTHESIS TECHNIQUE

J. Lee∗ and J.S. Lee∗

References

  1. [1] G. Michael, Programmable logic controllers: Architectures andapplications (New York, NY: Wiley, 1991).
  2. [2] IEC, Programmable controllers: Part 3. Programming lan-guages (Publication 1131.3, 1992).
  3. [3] A. Falcione & B. Krogh, Design recovery for relay ladder logic,IEEE Control Systems Magazine, 13(2), 1993, 90–98.
  4. [4] O. Martin, J. Stefan, & A. Karl, Implementation aspects ofthe PLC standard IEC 1131-3, Control Engineering Practice,6(4), 1998, 547–555.
  5. [5] R. Lewis, Programming industrial control systems using IEC1131-3 Revised edition (London, United Kingdom: The Insti-tution of Electrical Engineers, 1998).87
  6. [6] I.G. Warnock, Programmable controllers: Operation and ap-plication (New York, NY: Prentice-Hall, 1988).
  7. [7] J.L. Peterson, Petri net theory and the modeling of systems(Englewood Cliffs, NJ: Prentice-Hall, 1981).
  8. [8] R. David & H. Alla, Petri Nets and Grafcet-Tools for modelingdiscrete event systems (Englewood Cliffs, NJ: Prentice-Hall,1992).
  9. [9] R. David & H. Alla, Petri nets for modeling of dynamic systems– a survey, Control Engineering Practice, 30(2), 1994, 175–202.
  10. [10] T. Murata, Petri nets: Properties, analysis and applications,Proc. IEEE, 77(4), 1989, 541–580.
  11. [11] M.C. Zhou & R. Zurawski, Introduction to Petri nets in flexibleand agile automation (Norwell, MA: Kluwer, 1995), Chapter 1,1–42.
  12. [12] M. Silva & R. Valette, Petri nets and flexible manufacturing,in Advances in Petri nets, lecture notes in Computer Sciences(New York, NY: Springer-Verlag, 1989), 374–417.
  13. [13] D.Y. Lee & F. DiCesare, Scheduling flexible manufacturingsystem using Petri nets and heuristic search, IEEE Transactionson Robotics and Automation, 10(2), 1994, 123–132.
  14. [14] M.D. Jeng, A Petri net synthesis theory for modeling flexiblemanufacturing systems, IEEE Transactions on Systems, Manand Cybernetics, Part B, 27(2), 1997, 169–183.
  15. [15] M.C. Zhou & E. Twiss, Design of industrial automated systemsvia relay ladder logic programming and Petri nets, IEEETransactions on Systems, Man and Cybernetics, Part C, 28(1),1998, 137–150.
  16. [16] I. Elhajj, N. Xi, W.K. Fung, Y.H. Liu, Y. Hasegawa, &T. Fukuda, Modeling and control of internet based cooper-ative teleoperation, Proc. IEEE Int. Conf. on Robotics andAutomation, Seoul, Korea, 2001, 662–667.
  17. [17] G.B. Lee & J.S. Lee, The state equation of Petri net for theLD program, Proc. IEEE Int. Conf. on Systems, Man andCybernetics, Nashville, TN, 2000, 3051–3056.
  18. [18] G.B. Lee & J.S. Lee, Constructing Petri net state equation forladder diagram, Journal of Intelligent Systems, 12(2), 2003,69–91.
  19. [19] K. Venkatesh, M.C. Zhou, & R.J. Caudill, Comparing ladderlogic diagrams and Petri nets for sequence controller designthrough a discrete manufacturing system, IEEE Transactionson Industrial Electronics, 41(6), 1994, 611–619.
  20. [20] K. Venkatesh, M.C. Zhou, & R.K. Caudill, Discrete-eventcontrol design for manufacturing systems via ladder logicdiagrams and Petri nets: A comparative study (Norwell, MA:Kluwer, 1995), Chapter 10, 265–304.
  21. [21] G.B. Lee & J.S. Lee, Conversion of ladder diagram into Petrinets, Proc. IASTED Int. Conf. of Robotics and Applications,1999, 12–17.
  22. [22] G.B. Lee & J.S. Lee, Conversion of LD program into augmentedPN, International Journal of Modelling and Simulation, 22(4),2002, 201–212.
  23. [23] M. Uzam & A.H. Jones, Discrete event control system designusing automation Petri nets and their ladder diagram imple-mentation, International Journal of Advanced ManufacturingTechnology, 14(10), 1998, 716–728.
  24. [24] G.B. Lee, H. Zandong, & J.S. Lee, Generalized state equationof Petri nets with priority, International Journal of IntelligentSystems, 18(11), 2003, 1145–1153.

Important Links:

Go Back