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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
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)
Han, Z., Xiong, D.: Hybrid Petri nets for modeling of manufacturing systems. Tsinghua Science and Technology 42, 1429–1432 (2002)
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)
OMRON SYSMAC CS1-serial Programming Manual, OMRON(China) (1999)
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)
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)
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)
Ramachandran, P.: An Acyclic Transformation Technique for the Reachability Analysis of Petri nets: [Disseration of PHD], Graduate college of Oklahoma State University (2002)
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)
Park, J.: Structural Analysis Control of Resource Allocation Systems Using Petri Nets: [Dissertation of PHD]. Grduate school of Geogia Institute of Technology (2000)
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)
Zhou, M., DiCesare, F.: Petri Net Synthesis for Discrete Event Control of Manufacture Systems. Kluwer Academic Publishers, Norwell (1993)
Han, Z., Lee, G.B.: Reduction Method for Reachability Analysis of Petri Nets. Tsinghua Science and Technology 43, 231–235 (2003)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)