In: Syst. Sci., Vol. 14, No. 2, pages 31-59. 1988.
Abstract: In order to find out the strategies of concurrent processes interactions, the Petri net representation is used. The nets provide a suitable framework for searching dynamic properties of admissible controls. Attention is paid to the synchronization mechanism involved in the control procedures aimed at the cooperation of deadlock-free processes. The results obtained can be directly applied to designing real-time controllers (in the flexible manufacturing systems) as well as in designing planning systems.
Keywords: interprocess cooperation; admissible control; deadlock-free; flexible manufacturing system.