Korbicz, Józef (1951- ) - red. ; Uciński, Dariusz - red.
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
Biblioteka Uniwersytetu Zielonogórskiego
Jul 14, 2025
Jul 3, 2020
164
https://www.zbc.uz.zgora.pl/publication/63764
Edition name | Date |
---|---|
Real-time synchronization mechanizm for complex concurrently competing processes coordination | Jul 14, 2025 |
Kuś, Janusz Banaszak, Zbigniew Korbicz, Józef (1951- ) - red. Cempel, Czesław - red.
Banaszak, Zbigniew Jędrzejek, Krzysztof Caban, Dariusz - red.
Obuchowicz, Andrzej D'Souza, Kelwyn A. Banaszak, Zbigniew Logemann, Hartmut - red. Townley, Stuart - red.
Banaszak, Zbigniew Wójcik, Robert D'Souza, Kelwyn A. Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Kaczorek, Tadeusz (1932- ) Triggiani, Roberto- ed. Maksimov, Vyacheslav I. - ed.
Ling, Wei-Ming Rivera, Daniel E. Skliar, Mikhail - red. Ramirez, W. Fred - red.
Duever, Thomas A. Penlidis, Alexander Skliar, Mikhail - red. Ramirez, W. Fred - red.
Yin, K. Karen Li, Xing Bonde, John Richards, Carl Cholwek, Gary Skliar, Mikhail - red. Ramirez, W. Fred - red.