Autor:
Banaszak, Zbigniew ; Krogh, Bruce H.
Współtwórca:
Korbicz, Józef (1951- ) - red. ; Uciński, Dariusz - red.
Tytuł:
Real-time synchronization mechanizm for complex concurrently competing processes coordination
Tytuł publikacji grupowej:
Temat i słowa kluczowe:
sterowanie ; sterowanie-teoria ; sztuczna inteligencja ; matematyka stosowana ; informatyka
Abstract:
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.
Wydawca:
Zielona Góra: Uniwersytet Zielonogórski
Data wydania:
Typ zasobu:
Strony:
Źródło:
AMCS, volume 1, number 1 (1991) ; kliknij tutaj, żeby przejść