MODELING. ANALYSIS, AND IMPLEMENTATION OF LOGIC CONTROLLERS FOR MACHINING SYSTEMS USING PETRI NETS AND SFC
暂无分享,去创建一个
[1] D. C. Cooper,et al. Sequential Machines and Automata Theory , 1968, Comput. J..
[2] René David,et al. Petri nets for modeling of dynamic systems: A survey , 1994, Autom..
[3] Simon Peck,et al. Practice of Petri Nets in Manufacturing , 1993 .
[4] Pramod P. Khargonekar,et al. A modeling and analysis methodology for modular logic controllers of machining systems with auto, hand, and manual control modes , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).
[5] R. W. Lewis,et al. Programming Industrial Control Systems Using IEC 1131-3 , 1995 .
[6] RenC David. Grafcet: a powerful tool for specification of logic controllers , 1995, IEEE Trans. Control. Syst. Technol..
[7] Pramod P. Khargonekar,et al. Modular logic controllers for machining systems: formal representation and performance analysis using Petri nets , 1999, IEEE Trans. Robotics Autom..
[8] James L. Peterson,et al. Petri Nets , 1977, CSUR.
[9] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.