Banaszak, Zbigniew ; Krogh, Bruce H.
Korbicz, Józef - red. ; Uciński, Dariusz - red.
Real-time synchronization mechanizm for complex concurrently competing processes coordination
Group publication title:
Subject and Keywords:
sterowanie ; sterowanie-teoria ; sztuczna inteligencja ; matematyka stosowana ; informatyka
This paper presents a new approach to automated development of control software for concurrency control of discrete event systems as well as to the synthesis of computer-aided tools for production real-time management. A new modelling technique for complex concurrently competing processes description is introduced, then, sufficient conditions for deadlocks avoidance are presented. ; The processes considered consist of partially ordered elementary, i.e. sequential and pipeline-like flowing, production processes which share a set of resources in a production system. The results obtained allow one to design the real-time concurrency control programs of guaranteed correctness, i.e. the programs which guarantee absence of deadlocks, overflows and starvation during the competing processes interactions.
Zielona Góra: Uniwersytet Zielonogórski
AMCS, volume 1, number 1 (1991) ; click here to follow the link