A SURVEY OF PETRI-NET APPLICATIONS IN MODELING CONTROLS FOR AUTOMATED MANUFACTURING SYSTEMS

Recent literature on Petri net applications to model controls of automated manufacturing systems is discussed. Modeling controls is essential to prevent the incidence of system deadlock which could possibly occur due to the concurrent and asynchronous nature of activities. It is difficult to implement an efficient programmable logic controller program for a manufacturing plan without solving this problem. Research findings on control model generation and analysis are discussed in the light of the deadlock problem and performance evaluation. Past and present research in these areas is critically examined in an attempt to focus on the guidelines for on-going research in control modeling.