Skip to main content

A Petri Net-Based Ladder Logic Diagram Design Method for the Logic and Sequence Control of Photo Mask Transport

  • Conference paper
Emerging Intelligent Computing Technology and Applications (ICIC 2009)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5754))

Included in the following conference series:

Abstract

In this paper, a Petri net-based logic and sequence control model of photo mask transport was constructed. A characteristic analysis was made on the established Petri net model in behavior and structure. This checked the safeness and reliability of the constructed control model off line. In order to implement the Petri net-based control model of photo mask transport via a Programmable Logic controller (PLC), an approach was proposed to generate Ladder Logic Diagram (LLD) programs from the Petri net-based control model. Execution of the generated LLD programs validated the effectiveness of the proposed method.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Venkatesh, K., Zhou, M., Reggie, J.: Comparing Ladder Logic Diagrams and Petri Nets for Sequence Controller Design through a Discrete Manufacturing System. IEEE Transactions on Indutrial Electronics 41, 611–619 (1994)

    Article  Google Scholar 

  2. Richardsson, J., Fabin, M.: Automatic Generation of PLC Programs for Control of Flexible Manufacturing Cells. In: IEEE Conference on emerging technologies and automation, ETFA 2003, vol. 2, pp. 337–344 (2003)

    Google Scholar 

  3. Han, Z., Xiong, D.: Hybrid Petri nets for modeling of manufacturing systems. Tsinghua Science and Technology 42, 1429–1432 (2002)

    Google Scholar 

  4. Tang, Y., Zhou, M., Qiu, R.G.: Virtual Production Lines Design for Back-end Semiconductor Manufacturing Systems. IEEE Transactions on Semiconductor manufacturing 16, 543–550 (2000)

    Article  Google Scholar 

  5. OMRON SYSMAC CS1-serial Programming Manual, OMRON(China) (1999)

    Google Scholar 

  6. Simon, C.: Developing Software Controllers with Petri Nets and Logic of Actions. In: Proceeedings of the 2001 IEEE International Conference on Robotics and Automation, Seoul Kerea, May 2001, pp. 58–63 (2002)

    Google Scholar 

  7. Liao, D., Jeng, M., Zhou, M.: Petri Net Modeling and Lagranian Relxation Approach to Vehicle Scheduling in 300 mm Semiconductor Manufacturing. In: Proceeedings of the 2004 IEEE International Conference on Robotics and Automation, Neworleans, LA, April 2004, pp. 5301–5306 (2004)

    Google Scholar 

  8. Charr, J.K., Charr, A.V., Edward, S.D.: An Integrated Approach to Developing Manufacturing Control Software. In: Proceeedings of the 1991 IEEE International Conference on Robotics and Automation, Sacramento Califoria, April 1991, pp. 1979–1984 (1991)

    Google Scholar 

  9. Ramachandran, P.: An Acyclic Transformation Technique for the Reachability Analysis of Petri nets: [Disseration of PHD], Graduate college of Oklahoma State University (2002)

    Google Scholar 

  10. Iordache, M.V.: Method for the Supervisory Control of Concurred Systems Based on Petri Net Abstractions: [Dissertation of PHD], Graduate school of University of Notre Dame (2003)

    Google Scholar 

  11. Park, J.: Structural Analysis Control of Resource Allocation Systems Using Petri Nets: [Dissertation of PHD]. Grduate school of Geogia Institute of Technology (2000)

    Google Scholar 

  12. Bouyekhf, R., Moudni, A.E.: On the Analysis of Some Strutcutre Properties of Petri Nets. IEEE Transactions on Systems, Man and Cebernetics-Part A: Systems and Humans 35, 784–794 (2005)

    Article  Google Scholar 

  13. Zhou, M., DiCesare, F.: Petri Net Synthesis for Discrete Event Control of Manufacture Systems. Kluwer Academic Publishers, Norwell (1993)

    Google Scholar 

  14. Han, Z., Lee, G.B.: Reduction Method for Reachability Analysis of Petri Nets. Tsinghua Science and Technology 43, 231–235 (2003)

    Google Scholar 

  15. Fabian, M., Hellgren: PLC-based implementation of supervisory control of discrete event systems. In: Proc. of the 37th IEEE Conference on Decision and Control, Tampa, Florida, USA, December 3, pp. 3305–3310 (1998)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Liu, Y. (2009). A Petri Net-Based Ladder Logic Diagram Design Method for the Logic and Sequence Control of Photo Mask Transport. In: Huang, DS., Jo, KH., Lee, HH., Kang, HJ., Bevilacqua, V. (eds) Emerging Intelligent Computing Technology and Applications. ICIC 2009. Lecture Notes in Computer Science, vol 5754. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04070-2_83

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-04070-2_83

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-04069-6

  • Online ISBN: 978-3-642-04070-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics