INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, cilt.16, sa.7, ss.498-515, 2000 (SCI-Expanded)
A new Petri-net-based design technique, called the inhibitor arc method, for the synthesis of compiled supervisors for discrete event systems is used to solve a forbidden state problem in an experimental manufacturing system. The technique used offers the following advantages: