Control logic design with Petri nets for integrated manufacturing systems

Meng Chu Zhou, Yuhuan Zhuang

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.

Original languageEnglish (US)
Title of host publication1992 IEEE International Conference on Systems, Man, and Cybernetics
Subtitle of host publicationEmergent Innovations in Information Transfer Processing and Decision Making, SMC 1992
PublisherInstitute of Electrical and Electronics Engineers Inc.
Number of pages6
ISBN (Electronic)0780307208, 9780780307209
StatePublished - 1992
EventIEEE International Conference on Systems, Man, and Cybernetics, SMC 1992 - Chicago, United States
Duration: Oct 18 1992Oct 21 1992

Publication series

NameConference Proceedings - IEEE International Conference on Systems, Man and Cybernetics
ISSN (Print)1062-922X


OtherIEEE International Conference on Systems, Man, and Cybernetics, SMC 1992
Country/TerritoryUnited States

All Science Journal Classification (ASJC) codes

  • Electrical and Electronic Engineering
  • Control and Systems Engineering
  • Human-Computer Interaction


Dive into the research topics of 'Control logic design with Petri nets for integrated manufacturing systems'. Together they form a unique fingerprint.

Cite this