TY - GEN
T1 - Control logic design with Petri nets for integrated manufacturing systems
AU - Zhou, Meng Chu
AU - Zhuang, Yuhuan
N1 - Publisher Copyright:
© 1992 IEEE.
PY - 1992
Y1 - 1992
N2 - This paper presents a Petri net approach to designing supervisory control logic for integrated manufacturing systems and its application to design of the Laserlite Workstation Control System. The work has complemented a methodology which is beign currently developed using the Manufacturing Information Systems Toolkit for Building Integrated Control Systems (MISTIC) at AT&T Engineering Research Center [1] in the several aspects. First, explicit representation of supervisory control logic is obtained by using Petri nets. Thus concurrency, choices, and precedence relations can be graphically visualized. Second, mathematical analysis can be conducted for both qualitative and quantitative properties of the control systems. Inconsistency errors and deadlock situations can be detected. The temporal properties can be derived by incorporating timing information into the net representation if needed. Third, based on the net representation of the system, control code in C or C++ can be systematically derived. Fourth, related control system components and their description using MISTIC are certainly useful in specifying a practical implementation. Finally, new schemes can be exploited by modifying the net structure or changing the initial condition. Future research is finally discussed for control software development in the context of computer integrated manufacturing.
AB - This paper presents a Petri net approach to designing supervisory control logic for integrated manufacturing systems and its application to design of the Laserlite Workstation Control System. The work has complemented a methodology which is beign currently developed using the Manufacturing Information Systems Toolkit for Building Integrated Control Systems (MISTIC) at AT&T Engineering Research Center [1] in the several aspects. First, explicit representation of supervisory control logic is obtained by using Petri nets. Thus concurrency, choices, and precedence relations can be graphically visualized. Second, mathematical analysis can be conducted for both qualitative and quantitative properties of the control systems. Inconsistency errors and deadlock situations can be detected. The temporal properties can be derived by incorporating timing information into the net representation if needed. Third, based on the net representation of the system, control code in C or C++ can be systematically derived. Fourth, related control system components and their description using MISTIC are certainly useful in specifying a practical implementation. Finally, new schemes can be exploited by modifying the net structure or changing the initial condition. Future research is finally discussed for control software development in the context of computer integrated manufacturing.
UR - http://www.scopus.com/inward/record.url?scp=84960334892&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84960334892&partnerID=8YFLogxK
U2 - 10.1109/ICSMC.1992.271664
DO - 10.1109/ICSMC.1992.271664
M3 - Conference contribution
AN - SCOPUS:84960334892
T3 - Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics
SP - 986
EP - 991
BT - 1992 IEEE International Conference on Systems, Man, and Cybernetics
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - IEEE International Conference on Systems, Man, and Cybernetics, SMC 1992
Y2 - 18 October 1992 through 21 October 1992
ER -