For the most recent entries see the Petri Nets Newsletter.

Control Oriented Models of Interprocess Cooperations.

Banaszak, Zbigniew

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography