Szukana fraza: [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."]