@misc{Banaszak_Zbigniew_Real-time, author={Banaszak, Zbigniew and Krogh, Bruce H.}, howpublished={online}, publisher={Zielona Góra: Uniwersytet Zielonogórski}, language={eng}, 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.}, abstract={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.}, type={artykuł}, title={Real-time synchronization mechanizm for complex concurrently competing processes coordination}, keywords={sterowanie, sterowanie-teoria, sztuczna inteligencja, matematyka stosowana, informatyka}, }