In: Scientific Journal, Tikrit University, Vol. 5, No. 1, pages 47-69. January 1998. In Arabic.
Abstract: This paper deals with a Petri net approach to the automatic design of control programs which are aimed at the control of the assembly robots cooperation. Its objective lies in the formal investigations of conditions enabling the design of a deadlock-free, live Petri net model. The nets considered, while modelling an admissible controls of assembly robots cooperation, serve as control-programs representations. The results obtained allow for automatic conversion of process specification, via a net model of a control flow, into relevant control programs.