Creator:

Banaszak, Zbigniew ; Krogh, Bruce H.

Contributor:

Korbicz, Józef (1951- ) - red. ; Uciński, Dariusz - red.

Title:

Real-time synchronization mechanizm for complex concurrently competing processes coordination

Group publication title:

AMCS, volume 1 (1991)

Subject and Keywords:

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.

Publisher:

Zielona Góra: Uniwersytet Zielonogórski

Date:

1991

Resource Type:

artykuł

Pages:

43-66

Source:

AMCS, volume 1, number 1 (1991) ; click here to follow the link

Language:

eng

License CC BY 4.0:

click here to follow the link

Rights:

Biblioteka Uniwersytetu Zielonogórskiego