Title:
Real-time synchronization mechanizm for complex concurrently competing processes coordination
Group publication title:
Creator:
Banaszak, Zbigniew ; Krogh, Bruce H.
Subject and Keywords:
sterowanie ; sztuczna inteligencja ; informatyka ; sterowanie-teoria ; matematyka stosowana
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.
Publisher:
Zielona Góra: Uniwersytet Zielonogórski
Contributor:
Korbicz, Józef - red. ; Uciński, Dariusz - red.
Date:
Resource Type:
Pages:
Source:
AMCS, volume 1, number 1 (1991)